Locally finite group

This is a variation of finiteness (groups)|Find other variations of finiteness (groups) |

Definition

Symbol-free definition

A group is said to be locally finite if it satisfies the following equivalent conditions:

1. Every subgroup of it that is finitely generated, is in fact finite.
2. It is the direct limit of a directed system of finite groups.

Definition with symbols

A group $G$ is said to be locally finite if for any finite subset $g_1,g_2,\dots ,g_n\in G$ the group generated by the $g_i$s is a finite group.

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

Relation with other properties

Stronger properties

• Finite group

Weaker properties

• Periodic group

Opposite properties

• Finitely generated group: A group that is both finitely generated and locally finite must be finite.

Metaproperties

Subgroups

This group property is subgroup-closed, viz., any subgroup of a group satisfying the property also satisfies the property
View a complete list of subgroup-closed group properties

Any subgroup of a locally finite group is locally finite.

Quotients

This group property is quotient-closed, viz., any quotient of a group satisfying the property also has the property
View a complete list of quotient-closed group properties

Any quotient of a locally finite group is locally finite.

Direct products

This group property is restricted direct product-closed, viz., a restricted direct product of groups, each having the property, also has the property.
View more such properties

A restricted direct product of locally finite groups is locally finite. In particular, a direct product of finitely many locally finite groups is locally finite.

For full proof, refer: Local finiteness is restricted direct product-closed