|
|
|
|
subgoups of locally cyclic groups are locally cyclic
|
(Theorem)
|
|
Proof. Let $G$ be a locally cyclic group and $H$ a subgroup of $G$ Let $S$ be a finite subset of $H$ Then the group $\langle S\rangle$ generated by $S$ is a cyclic subgroup of $G$ by assumption. Since every element $a$ of $\langle S\rangle$ is a product of elements or inverses of elements of $S$ and $S$ is a subset of group $H$ $a\in H$ Hence $\langle S\rangle$ is a cyclic subgroup of $H$ so $H$ is locally cyclic.
Conversely, suppose for every subgroup of $G$ is locally cyclic. Let $H$ be a subgroup generated by a finite subset of $G$ Since $H$ is locally cyclic, and $H$ itself is finitely generated, $H$ is cyclic, and therefore $G$ is locally cyclic. 
|
"subgoups of locally cyclic groups are locally cyclic" is owned by rspuzio. [ full author list (3) ]
|
|
(view preamble | get metadata)
Cross-references: cyclic, finitely generated, subgroup generated by, conversely, inverses, product, cyclic subgroup, generated by, subset, finite, subgroup, iff, locally cyclic, group
This is version 9 of subgoups of locally cyclic groups are locally cyclic, born on 2007-06-13, modified 2009-02-24.
Object id is 9577, canonical name is SubgoupsOfLocallyCyclicGroupsAreLocallyCyclic.
Accessed 557 times total.
Classification:
| AMS MSC: | 20K99 (Group theory and generalizations :: Abelian groups :: Miscellaneous) | | | 20E25 (Group theory and generalizations :: Structure and classification of infinite or finite groups :: Local properties) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|