Infinite conjugacy class property
Encyclopedia
In mathematics
, a group
is said to have the infinite conjugacy class property, or to be an icc group, if the conjugacy class
of every group element but the identity is infinite. In abelian group
s, every conjugacy class consists of only one element, so icc groups are, in a way, as far from being abelian as possible.
The von Neumann group algebra of a group is a factor if and only if the group has the infinite conjugacy class property. It will then be of type II1, i.e. it will possess a unique, faithful, tracial state.
Examples for icc groups are free group
s on at least two generators, or, more generally, nontrivial free product
s.
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, a group
Group (mathematics)
In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines any two of its elements to form a third element. To qualify as a group, the set and the operation must satisfy a few conditions called group axioms, namely closure, associativity, identity...
is said to have the infinite conjugacy class property, or to be an icc group, if the conjugacy class
Conjugacy class
In mathematics, especially group theory, the elements of any group may be partitioned into conjugacy classes; members of the same conjugacy class share many properties, and study of conjugacy classes of non-abelian groups reveals many important features of their structure...
of every group element but the identity is infinite. In abelian group
Abelian group
In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on their order . Abelian groups generalize the arithmetic of addition of integers...
s, every conjugacy class consists of only one element, so icc groups are, in a way, as far from being abelian as possible.
The von Neumann group algebra of a group is a factor if and only if the group has the infinite conjugacy class property. It will then be of type II1, i.e. it will possess a unique, faithful, tracial state.
Examples for icc groups are free group
Free group
In mathematics, a group G is called free if there is a subset S of G such that any element of G can be written in one and only one way as a product of finitely many elements of S and their inverses...
s on at least two generators, or, more generally, nontrivial free product
Free product
In mathematics, specifically group theory, the free product is an operation that takes two groups G and H and constructs a new group G ∗ H. The result contains both G and H as subgroups, is generated by the elements of these subgroups, and is the “most general” group having these properties...
s.