Let H be a team of stimulate 3. By meaning of group, there deserve to be just one identity element in the team H.

You are watching: Prove that a group of order 3 must be cyclic

So, $H=\left \ e,x,y \right \$.

By definition of cyclic group,

we have actually that the aspects x and y

$x=g^n \exists n \in \urbanbreathnyc.combbZ$

$y=g^n \exists n \in \urbanbreathnyc.combbZ$

In particular, n is confident for if it were not, a contradiction would arise from having an ext than one identification element.

Any clues or assistance is appreciated.

abstract-algebra group-theory
re-superstructure
point out
monitor
asked Jun 2 "16 at 10:15 urbanbreathnyc.comematicingurbanbreathnyc.comematicing
$\endgroup$
2
1
$\begingroup$ In third and 4th line of her attempt of systems you it seems to be ~ to assume the thesis ("$H$ is cyclic") as a hypothesis, making your discussion circular. $\endgroup$
–user228113
Jun 2 "16 in ~ 10:19

include a comment |

11
$\begingroup$
You"re trying to PROVE that $G$ is cyclic, for this reason you can not (yet) assert that $x = g^n$. Instead, think about $x \cdot x$. It have to be either $x, y,$ or $e$. If it"s $x$, then you have$$x^2 = x\\x^2 (x^-1) = x x^-1\\x = e$$which is a contradiction, because $x$ and also $e$ are distinct aspects of the group.

If $x^2 = e$, then $x$ has order 2, yet 2 does no divide 3, for this reason this contradicts Lagrange"s theorem.

Finally, we conclude that $x^2 = y$, and thus the team is cyclic, produced by the facet $g = x$.

Alternative if friend don"t choose Lagrange yet:

In the instance where we intend that $x^2 = e$:

The aspects $xe, xx,$ and $xy$ must all be distinctive for if two were the same, climate multiplying by $x^-1$ top top the left would display that 2 of $e, x, y$ to be the same, i m sorry is impossible.

Since $xe = x$ and we"re presume $x^2 = e$, us must have $$xy = y.$$multiplying ~ above the best by $y^-1$ offers $x = e$, a contradiction. For this reason $x^2 = e$ is likewise impossible.

re-superstructure
point out
follow
answered Jun 2 "16 at 10:20 john HughesJohn Hughes
$\endgroup$
8
$\begingroup$
Actually, any kind of group of prime order is cyclic.

Indeed, allow $p=\lvert G\rvert$ and $a\in G$, $a\ne e$. By Lagrange"s theorem, the subgroup $\langle\mkern1.5mu a\mkern1.5mu \rangle$ produced by $a$ has order a divisor that $\lvert G\rvert=p$, and is $>1$ since $a\ne e$, whence $\lvert\langle\mkern1.5mu a\mkern1.5mu \rangle\rvert=p$, i.e. $\;\langle\mkern1.5mu a\mkern1.5mu \rangle=G$.

share
cite
monitor
reply Jun 2 "16 in ~ 10:35 BernardBernard
$\endgroup$
1
include a comment |

Thanks because that contributing an answer to urbanbreathnyc.comematics ridge Exchange!

But avoid

Asking because that help, clarification, or responding to other answers.Making statements based on opinion; ago them increase with references or personal experience.

Use urbanbreathnyc.comJax to style equations. Urbanbreathnyc.comJax reference.

See more: " If I Were Nothing More Lyrics By Nothing More, Nothing More

Draft saved

submit

### Post together a guest

surname
email Required, however never shown

### Post together a guest

surname
email

Required, yet never shown

## Not the prize you're feather for? Browse other questions tagged abstract-algebra group-theory or questioning your own question.

Featured top top Meta
associated
0
stimulate of elements in a cyclic team
12
show that $\urbanbreathnyc.combbZ_2 \times \urbanbreathnyc.combbZ_4$ is no a cyclic group
0
Prove that a cyclic group can have actually no more than one element of order two.
0
Prove the a cyclic group with much more than one element may be a homomorphic picture of a no cyclic group.
1
show that in any type of cyclic additive team of an odd order the sum of all aspects is same to the identity facet 0.
3
present that any cyclic group of also order has exactly one facet of order $2$
2
Subgroup the a Dihedral team is Cyclic proof
5
just how do I present that a finite team $G$ of order $n$ is cyclic if over there is at most one subgroup of bespeak $d$ for each $d\mid n$?
warm Network inquiries an ext hot questions

inquiry feed urbanbreathnyc.comematics
company
stack Exchange Network
site architecture / logo © 2021 stack Exchange Inc; user contributions license is granted under cc by-sa. Rev2021.9.24.40305

urbanbreathnyc.comematics ridge Exchange works best with JavaScript permitted her privacy

By clicking “Accept every cookies”, you agree ridge Exchange can store cookies on your machine and disclose information in accordance through our Cookie Policy.