Locally finite group
From Groupprops
This is a variation of finiteness (groups)|Find other variations of finiteness (groups) |
Contents
Definition
A group is said to be locally finite if it satisfies the following equivalent conditions:
- Every subgroup of it that is finitely generated is in fact finite. In other words, for any positive integer
and elements
, the subgroup
is a finite group.
- It is the direct limit of a directed system of finite groups. In other words, there exists
, a directed system of finite groups, such that
is isomorphic to the direct limit of the
s.
- It is the direct limit of a directed system of finite groups, where all the maps are injective. In other words, there exists
, a directed system of finite groups with all maps injective, such that
is isomorphic to the direct limit of the
s.
- If
is a finite subgroup of
and
, then the subgroup
is also a finite subgroup of
.
Examples
- Every finite group is locally finite.
- For a prime number
, the
-quasicyclic group is a locally finite group. It is obtained as a direct limit of inclusions:
where the inclusion maps are multiplication by maps. Equivalently, it can be thought of as the multiplicative group of the union of all
roots of unity in the complex numbers for all
.
- The group of rational numbers modulo integers
is an example of a locally finite group.
- The finitary symmetric group on a possibly infinite set is locally finite, because any finite subset of the group has finite support and hence lives inside the symmetric group on a finite subset.
Metaproperties
Metaproperty name | Satisfied? | Proof | Statement with symbols |
---|---|---|---|
subgroup-closed group property | Yes | local finiteness is subgroup-closed | If ![]() ![]() ![]() ![]() |
quotient-closed group property | Yes | local finiteness is quotient-closed | If ![]() ![]() ![]() ![]() |
extension-closed group property | Yes | local finiteness is extension-closed | If ![]() ![]() ![]() ![]() ![]() |
restricted direct product-closed group property | Yes | local finiteness is restricted direct product-closed | If ![]() ![]() |
Relation with other properties
Stronger properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
finite group | the group itself is finite, i.e., has finitely many elements | locally finite not implies finite (or, see the example in the #Examples section) | Group embeddable in a finitary symmetric group|FULL LIST, MORE INFO | |
group embeddable in a finitary symmetric group | the group is isomorphic to a subgroup of a finitary symmetric group | locally finite not implies embeddable in finitary symmetric group | |FULL LIST, MORE INFO |
Weaker properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
periodic group | every element has finite order | locally finite implies periodic | periodic not implies locally finite | 2-locally finite group|FULL LIST, MORE INFO |
group generated by periodic elements | the group has a generating set comprising elements all of which have finite order. | 2-locally finite group, Periodic group|FULL LIST, MORE INFO | ||
2-locally finite group | any subgroup generated by two elements is finite | follows from Golod's theorem on locally finite groups | |FULL LIST, MORE INFO |
Conjunction with other properties
Conjunction | Other component of conjunction | Comment |
---|---|---|
periodic abelian group | abelian group | for an abelian group, being periodic is equivalent to being locally finite. See equivalence of definitions of periodic abelian group for more. |
periodic nilpotent group | nilpotent group | for a nilpotent group, being periodic is equivalent to being locally finite. See equivalence of definitions of periodic nilpotent group for more. |
periodic solvable group | solvable group | for a solvable group, being periodic is equivalent to being locally finite. See equivalence of definitions of periodic solvable group for more. |
locally finite simple group | simple group | finitary alternating groups are examples. |
Opposite properties
- Finitely generated group: A group that is both finitely generated and locally finite must be finite.
Dual properties
- Residually finite group
- Profinite group: A topological, completed version of residually finite
Formalisms
BEWARE! This section of the article uses terminology local to the wiki, possibly without giving a full explanation of the terminology used (though efforts have been made to clarify terminology as much as possible within the particular context)
In terms of the locally operator
This property is obtained by applying the locally operator to the property: finite group
View other properties obtained by applying the locally operator