# Prove the following. (1) Z ∗ 5 is a cyclic group. (2) Z ∗ 8 is not a cyclic group.

Question
Abstract algebra
Prove the following.
(1) Z ∗ 5 is a cyclic group.
(2) Z ∗ 8 is not a cyclic group.

2021-02-28
1) We know that $$\displaystyle{\mathbb{Z}_{{n}}^{\ast}}={\left\lbrace\overline{{a}}:{w}{h}{e}{r}{e}{\gcd{{\left({a},{n}\right)}}}={1},{1}\le{a}\le{n}\right\rbrace}$$ form a froup under multiplication with inverse bar1. Now,
$$\displaystyle{\mathbb{Z}_{{5}}^{\ast}}={\left\lbrace\overline{{a}}:{w}{h}{a}{e}{r}{e}{\gcd{{\left({a},{5}\right)}}}={1},{1}\le{a}\le{5}\right\rbrace}={\left\lbrace\overline{{1}},\overline{{2}},\overline{{3}},\overline{{4}}\right\rbrace}.$$
Check that
$$\displaystyle{\left(\overline{{2}}\right)}^{{4}}={\left(\overline{{4}}\right)}^{{2}}={1},$$
$$\displaystyle{\left({4}^{{2}}={16}\equiv\in\text{mod}{5}\right)}$$
As here 4 is the element positive integer such that $$\displaystyle\overline{{2}}^{{4}}=\overline{{1}}$$, therefore, order of $$\displaystyle\overline{{2}}\ne{\mathbb{Z}_{{5}}^{\ast}}={4}$$. Hence, $$\displaystyle{\mathbb{Z}_{{5}}^{\ast}}$$ is cyclic
2) Again $$\displaystyle{\mathbb{Z}_{{8}}^{\ast}}={\left\lbrace\overline{{a}}:{w}{h}{a}{e}{r}{e}{\gcd{{\left({a},{8}\right)}}}={1},{1}\le{a}\le{8}\right\rbrace}={\left\lbrace\overline{{1}},\overline{{3}},\overline{{5}},\overline{{7}}\right\rbrace}.,$$
but $$\displaystyle\overline{{3}}^{{2}}=\overline{^}{2}=\overline{{7}}^{{2}}=\overline{{1}}$$
($$\displaystyle{3}^{{2}}={9}\equiv{1}\in\text{mod}{8}$$, similar approach for 5,7). So, there does not exists any element of order $$\displaystyle{4}\in{\mathbb{Z}_{{8}}^{\ast}}$$, hence $$\displaystyle{\mathbb{Z}_{{8}}^{\ast}}$$ is not cyclic.

### Relevant Questions

Suppose G is a group and H is a normal subgroup of G. Prove or disprove ass appropirate. If G is cyclic, then $$\displaystyle\frac{{G}}{{H}}$$ is cyclic.
Definition: A subgroup H of a group is said to be a normal subgroup of G it for all $$\displaystyle{a}\in{G}$$, aH = Ha
Definition: Suppose G is group, and H a normal subgruop og G. THe froup consisting of the set $$\displaystyle\frac{{G}}{{H}}$$ with operation defined by (aH)(bH)-(ab)H is called the quotient of G by H.
Let (Z,+) be a group of integers and (E,+) be a group of even integers. Find and prove if there exist an isomorphism between them.
Prove that if "a" is the only elemnt of order 2 in a group, then "a" lies in the center of the group.
Prove that a group of even order must have an element of order 2.
In group theory (abstract algebra), is there a special name given either to the group, or the elements themselves, if $$\displaystyle{x}^{{2}}={e}$$ for all x?
Prove that in any group, an element and its inverse have the same order.
(i) If $$\displaystyle{n}\in\mathbb{Z}$$ is a positive ineger then $$\displaystyle{2}^{{n}}{3}^{{{x}{n}}}-{1}$$ divisible by 17.
(ii) For all positive integers $$\displaystyle{n}\ge{5}$$,
$$\displaystyle{2}^{{k}}{>}{k}^{{2}}$$
If U is a set, let $$\displaystyle{G}={\left\lbrace{X}{\mid}{X}\subseteq{U}\right\rbrace}$$. Show that G is an abelian group under the operation \oplus defined by $$\displaystyle{X}\oplus{Y}={\left({\frac{{{x}}}{{{y}}}}\right)}\cup{\left({\frac{{{y}}}{{{x}}}}\right)}$$