If "G" contains element "g" of order "n" , then "G" contains cyclic subgroup "<g>" of order "n" .
Then "\u2223G\u2216<g>\u2223=\u2223G\u2223\u2212\u2223<g>\u2223=n\u2212n=0 (G\u2216<g>" is complement "<g>" in "G" ), that is "G=<g>" is a cyclic group. So if "G" is a non-cyclic group of order "n" , then "G" has no element of order "n" .
"Z_2\u200b\u2295Z_2" is a non-cyclic group with cyclic proper subgroups
{"(0,0),(0,0),(0,1),(0,0),(1,0),(0,0),(1,1)" }
"Z_2\u200b\u2295Z_2\u200b" does not have other proper subgroups, because
"\u27e8(1,0),(0,1)\u27e9=\u27e8(1,0),(1,1)\u27e9=\u27e8(1,1),(0,1)\u27e9=Z_2\u2295Z_2\u200b"
So every proper subgroup of "Z_2\u2295Z_2\u200b" is a cyclic group.
Comments
Leave a comment