home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.math
- Path: sparky!uunet!darwin.sura.net!jvnc.net!princeton!phoenix.Princeton.EDU!carabalo
- From: carabalo@phoenix.Princeton.EDU (David G. Caraballo)
- Subject: Re: Group Theory Question
- Message-ID: <1992Jul30.054845.13752@Princeton.EDU>
- Originator: news@ernie.Princeton.EDU
- Keywords: group, coset
- Sender: news@Princeton.EDU (USENET News System)
- Nntp-Posting-Host: phoenix.princeton.edu
- Organization: Princeton University
- References: <36049@sdcc12.ucsd.edu> <Bs6GM7.E8@cs.columbia.edu>
- Distribution: usa
- Date: Thu, 30 Jul 1992 05:48:45 GMT
- Lines: 23
-
- In article <36049@sdcc12.ucsd.edu> dmassey@sdcc3.ucsd.edu (Daniel Massey)
- writes:
- >G is an abelian group and H a subgroup of G. Prove their exists
- >a subgroup of G which is iso. to G/H.
-
- Obvious counterexamples have been given, but consider the following related
- problem:
-
- Let G be a group such that each of its subgroups is normal in G (e.g., G
- could be abelian). Suppose G is additionally characterized by the property:
-
- For each subgroup H of G, there exists a subgroup of G isomorphic to G/H.
-
- Find all such groups G, or at least good necessary and sufficient conditions
- for G to be such a group.
-
- In particular,
-
- 1) Must G be abelian? (If not, find a non-abelian group with these properties)
- 2) Must G be finite? (If not, find an infinite group with these properties)
-
- Have fun.
-
-