ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F6336 on R822: Group of prime order is cyclic

F6336

Formulation 0

Let $G$ be a D22: Group such that

(i)	$p$ is a D571: Prime integer
(ii)	\begin{equation} \|G\| = p \end{equation}