Difference between revisions of "FC-group"
(Importing text file) |
(TeX) |
||
Line 1: | Line 1: | ||
+ | {{TEX|done}} | ||
''finite conjugate group'' | ''finite conjugate group'' | ||
− | A [[Group|group]] | + | A [[Group|group]] $G$ such that each $x\in G$ has only finitely many conjugates. This is one of several important possible finiteness conditions on an (infinite) group (cf. also [[Group with a finiteness condition|Group with a finiteness condition]]). FC-groups are similar to finite groups in several respects. |
− | Let | + | Let $G$ be an arbitrary group. An element $x\in G$ is an FC-element if it has only finitely many conjugates. The FC-elements form a characteristic subgroup $F$, and $G/C_G(F)$ is residually finite (here, $C_G(F)$ is the centralizer of $F$ in $G$). |
An FC-group is thus a group in which all elements are FC-elements. | An FC-group is thus a group in which all elements are FC-elements. | ||
Line 9: | Line 10: | ||
The commutator subgroup of an FC-group is periodic (torsion). | The commutator subgroup of an FC-group is periodic (torsion). | ||
− | A group | + | A group $G$ is a finitely-generated FC-group if and only if it has a free Abelian subgroup $A$ of finite rank in its centre such that $A$ is of finite index in $G$. |
For further results, see [[#References|[a1]]], Part 1, Sect. 4.3; Part 2, pp. 102–104, and [[#References|[a2]]], Sect. 15.1. See also [[CC-group|CC-group]]. | For further results, see [[#References|[a1]]], Part 1, Sect. 4.3; Part 2, pp. 102–104, and [[#References|[a2]]], Sect. 15.1. See also [[CC-group|CC-group]]. |
Latest revision as of 21:41, 30 April 2014
finite conjugate group
A group $G$ such that each $x\in G$ has only finitely many conjugates. This is one of several important possible finiteness conditions on an (infinite) group (cf. also Group with a finiteness condition). FC-groups are similar to finite groups in several respects.
Let $G$ be an arbitrary group. An element $x\in G$ is an FC-element if it has only finitely many conjugates. The FC-elements form a characteristic subgroup $F$, and $G/C_G(F)$ is residually finite (here, $C_G(F)$ is the centralizer of $F$ in $G$).
An FC-group is thus a group in which all elements are FC-elements.
The commutator subgroup of an FC-group is periodic (torsion).
A group $G$ is a finitely-generated FC-group if and only if it has a free Abelian subgroup $A$ of finite rank in its centre such that $A$ is of finite index in $G$.
For further results, see [a1], Part 1, Sect. 4.3; Part 2, pp. 102–104, and [a2], Sect. 15.1. See also CC-group.
References
[a1] | D.J.S. Robinson, "Finiteness conditions and generalized soluble groups, Parts 1–2" , Springer (1972) |
[a2] | W.R. Scott, "Group theory" , Dover, reprint (1987) |
FC-group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=FC-group&oldid=15280