Finite subgroup
This article describes a property that arises as the conjunction of a subgroup property: subgroup with a group property (itself viewed as a subgroup property): finite group
View a complete list of such conjunctions
Definition
A subgroup of a group is termed a finite subgroup if, as a group by itself, it is a finite group.
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Finite characteristic subgroup | ||||
| Finite normal subgroup | ||||
| Join-transitively finite subgroup | ||||
| Finite elliptic subgroup | ||||
| Subgroup of finite group |
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Finitely generated subgroup |