PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] subgoups of locally cyclic groups are locally cyclic (Theorem)
Theorem 1   A group $G$ is locally cyclic iff every subgroup $H\le G$ is locally cyclic.
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. $ \qedsymbol$




"subgoups of locally cyclic groups are locally cyclic" is owned by rspuzio. [ full author list (3) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

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 MSC20K99 (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
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)