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

he298c 2021-02-27 Answered

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

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

Plainmath recommends

  • Ask your own question for free.
  • Get a detailed answer even on the hardest topics.
  • Ask an expert for a step-by-step guidance to learn to do it yourself.
Ask Question

Expert Answer

Isma Jimenez
Answered 2021-02-28 Author has 7605 answers

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}{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}{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 \(\bar{3}^2=\bar{5}^{2}=\bar{7}^2=\bar{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.
image

Have a similar question?
Ask An Expert
38
 

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

Relevant Questions

asked 2021-02-25

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)}\)

asked 2021-02-26

Let H be a normal subgroup of a group G, and let \(m = (G : H)\). Show that
\(a^{m} \in H\)
for every \(a \in G\)

asked 2021-02-05

Let \(\mathbb{R}\) sube K be a field extension of degree 2, and prove that \(K \cong \mathbb{C}\). Prove that there is no field extension \(\mathbb{R}\) sube K of degree 3.

asked 2021-01-05

Let a,b be coprime integers. Prove that every integer \(x>ab-a-b\) can be written as \(na+mb\) where n,m are non negative integers. Prove that \(ab-a-b\) cannot be expressed in this form.

asked 2021-01-04

Let F be a field and consider the ring of polynominals in two variables over F,F[x,y]. Prove that the functions sending a polyomial f(x,y) to its degree in x, its degree in y, and its total degree (i.e, the highest \(i+j\) where \(\displaystyle{x}^{{i}}{y}^{{i}}\) appears with a nonzero coefficient) all fail o be norm making F[x,y] a Euclidean domain.

asked 2020-12-30

In the froup \(\displaystyle{Z}_{{12}}\), find \(|a|, |b|\), and \(|a+b|\)
\(a=3, b=8\)

asked 2021-02-27

In the froup \(\displaystyle{Z}_{{12}}\), find \(|a|, |b|\), and \(|a+b|\)
\(a=5, b=4\)

Plainmath recommends

  • Ask your own question for free.
  • Get a detailed answer even on the hardest topics.
  • Ask an expert for a step-by-step guidance to learn to do it yourself.
Ask Question
...