I have a question. If I have a group G of order p where p is prime, I know from the *fundamental theorem of finite abelian groups* that G is isomorphic to Z(adsbygoogle = window.adsbygoogle || []).push({}); _{p}(since p is the unique prime factorization of p, and I know this because G is finite order) also I know G is isomorphic to C_{p}(the pth roots of unity). I also know that G is cyclic and since its isomorphic to Z_{p}I know that all of its elements are generators. Also we know that the only subgroups of G are the trivial subgroup and G itself. We know because G is cyclic, that it is abelian. These are the properties I can determine. [EDIT: Thought of another thing. any nontrivial homomorphism from h: G --> G' should be injective right because ker(h) should be trivial because ker(h) is a subgroup of G and we know G only has subgroups {e} and G itself, and if h is not trivial this means ker(h) must be {e} so its trivial meaning h is injective]

But is it true that for each prime p, there is only one structurally distinct group (up to isomorphism)? Is there a theorem that indicates one way or another this fact?

EDIT: Think I figured it out. FUndamental theorem of finite abelian groups gauranteeds that if G and G' are both groups of order p where p is prime, then G isomorphic to Z_{p}and G' isomorphic to Z_{p}so this means G isomorphic to G'. Since the selection of G and G' are arbitrary, this means for all G, G' of order p, p prime that G is isomorphic to G' so there is only one structurally distinct group of order p

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Groups of prime order structurally distinct?

**Physics Forums | Science Articles, Homework Help, Discussion**