I saw an exercice that asked me the following:

“Show that if GG does not have any non-trivial subgroups than there exists a prime pp such that: G≅CpG \cong C_p”

Now my problem is: I don’t know what the group CpC_p is. Our professor did not define it and I didn’t find a definition on the internet

=================

=================

1 Answer

1

=================

It’s the cyclic group of order pp, a.k.a. Zp\mathbb{Z}_p or Z/pZ\mathbb{Z}/p\mathbb{Z} or “the integers modulo pp”.