Use with the (group-theory) tag. A group is cyclic if it can be generated by a single element, $a$. Every element has the form $a^i$ for some $i\in\mathbb{Z}$, and so these groups are abelian.

learn more… | top users | synonyms

12
votes
4answers
2k views

Groups of order $pq$ without using Sylow theorems

If $|G| = pq$, $p,q$ primes, $p \gt q, q \nmid p-1 $, then how do I prove $G$ is cyclic without using Sylow's theorems?
2
votes
2answers
751 views

If a cyclic group has an element of infinite order, how many elements of finite order does it have?

If a cyclic group has an element of infinite order, how many elements of finite order does it have? I know that the order of the entire group must be infinite, for an element of the group must have ...
10
votes
2answers
262 views

Can we conclude that this group is cyclic? [duplicate]

Let $G$ be a finite group. If, for each positive integer $m$, the number of solutions of the equation $x^m = e$ in $G$, where $e$ is the identity element, is at most $m$, then can we conclude that $G$ ...
14
votes
7answers
2k views

Prove that $\mathbb{R^*}$, the set of all real numbers except $0$, is not a cyclic group

Prove that $\mathbb{R^*}$ is not a cyclic group. (Here $\mathbb{R^*}$ means all the elements of $\mathbb{R}$ except $0$.) I know from the definition of a cyclic group that a group is cyclic if ...
6
votes
3answers
167 views

For what $n$ is $U_n$ is cyclic?

When can we say a multiplicative group of integers modulo $n$, i.e., $U_n$ to be cyclic? $$U_n=\{a \in\mathbb Z_n \mid \gcd(a,n)=1 \}$$ I searched in internet but did not get clear idea.
4
votes
5answers
1k views

Subgroups of a cyclic group and their order.

Lemma $1.92$ in Rotman's textbook (Advanced Modern Algebra, second edition) states, Let $G = \langle a \rangle$ be a cyclic group. (i) Every subgroup $S$ of $G$ is cyclic. (ii) If ...
3
votes
4answers
3k views

Product of two cyclic groups is cyclic iff their orders are co-prime

Say you have two groups $G = \langle g \rangle$ with order $n$ and $H = \langle h \rangle$ with order $m$. Then the product $G \times H$ is a cyclic group if and only if $gcd(n,m)=1$. I can't seem to ...
1
vote
1answer
135 views

What are the generators for $\mathbb{Z}_p^*$ with p a safe prime?

lets consider $\mathbb{Z}_p^*$ with $p = 2 \cdot q + 1$ a safe prime ($p$ and $q$ have to be prime). Then $\varphi\left(p\right) = 2 \cdot q$ is the order of $\mathbb{Z}_p^*$, and ...
13
votes
3answers
486 views

Show $\langle a^m \rangle \cap \langle a^n \rangle = \langle a^{\operatorname{lcm}(m, n)}\rangle$

So I want to show that $\langle a^m \rangle \cap \langle a^n \rangle = \langle a^{\operatorname{lcm}(m, n)}\rangle$. My approach to this problem was to show a double containment, i.e. to show that ...
3
votes
3answers
622 views

Showing that a group of order $21$ (with certain conditions) is cyclic

How can i show that if $o(G)=21$ and if $G$ has only one subgroup of order $3$ and only one subgroup of order $7$, then show that $G$ is cyclic.
8
votes
1answer
338 views

How to find all groups that have exactly 3 subgroups?

How to find all groups that have exactly 3 subgroups? Any group must have identity and itself as subgroups, so we just need to find all the groups that only have one proper subgroup. I think ...
1
vote
0answers
45 views

Divisors of the totient function and congruences

Based on the question Question about the totient function and congruence classes, I would like to ask two new questions: Question 1 Does it hold that if $k\mid\varphi(n)$ then the elements of the ...
3
votes
4answers
201 views

$(\mathbb{Z}/2^n \mathbb{Z})^*$ is not cyclic Group for $n\geq 3$

Question is to Prove that $(\mathbb{Z}/2^n \mathbb{Z})^*$ is not cyclic Group for $n\geq 3$. Hint : Find two subgroups of order $2$. I somehow feel that a cyclic group can not have two distinct ...
2
votes
1answer
132 views

G is group of order pq, pq are primes

Problem. Let $G$ be a group of order $pq$ such that $p$ and $ q$ are prime integers. I am to show that every proper subgroup of $G$ is cyclic. My attempt. What I know: Any element $a$ divides $pq$ ...
0
votes
3answers
61 views

Prove that if $k\mid m,$ then $Z_m$ has a subgroup of order $k.$

Prove that if $k\mid m$, then $Z_m$ has a subgroup of order $k.$ Ok, so this doesn't look like too hard of a problem. So do I just show that it is closed under multiplication and inverse? I just ...
0
votes
0answers
43 views

Let $G = \langle x\rangle$ be cyclic of order $n$. Prove that $\langle x^r\rangle\leq \langle x^s\rangle$ iff $r$ is a multiple of $s$ modulo $n$.

Let $G = \langle x\rangle$ be cyclic of order $n$. Prove that $\langle x^r\rangle \leq \langle x^s\rangle$ iff $r$ is a multiple of s modulo $n$. Give the complete subgroup lattice of $G = \langle ...
-1
votes
3answers
491 views

Intersection of cyclic subgroups: $(x^m) \cap (x^n) = (x^{lcm(m,n)})$ [duplicate]

This group theory problem has stumped me. I want to prove that if $G=(x)$ is a finite cyclic group that $(x^n) \cap (x^m) = (x^{\operatorname{lcm}(m,n)})$ for all integers $m$ and $n$, where $(x)$ is ...
-3
votes
2answers
74 views

Prove that the subgroup of the quotient group is cycling and infinitely generated

$$M = \left\{\,\dfrac{m}{13^n}\biggm| m\in \mathbb{Z}, n\in\mathbb{N} \,\right\}, \quad G = M/\mathbb{Z}$$ Prove that any subgroup $H < G$, $H\neq G$ is cyclic and infinitely generated and that ...
14
votes
1answer
247 views

Fibonacci Sequence in $\mathbb Z_n$.

Consider a Fibonacci sequence, except in $\mathbb Z_n$ instead of $\mathbb Z$: $$F(1) = F(2) = 1$$ $$F(n+2) = F(n+1) + F(n)$$ It is easy to see that each of these sequences must cycle through some ...
9
votes
5answers
3k views

Are cyclic groups always abelian?

If a group $C$ is cyclic, is it also abelian (commutative)? If so, is it possible to give an “easy” explanation of why this is? Thanks in advance!
7
votes
2answers
3k views

Order of automorphism group of cyclic group

Let $G$ be a cyclic group of order $m$. What is the order of $\text{Aut}(G)$? I want to know the proof as well (elementary if possible). I would still accept the proof if one answers with $m = p$, a ...
4
votes
4answers
2k views

Homomorphism between cyclic groups

I have some confusion in relation to the following question. Let $\langle x\rangle = G$, $\langle y\rangle = H$ be finite cyclic groups of order $n$ and $m$ respectively. Let $f:G \mapsto H$ ...
4
votes
2answers
204 views

Cyclic Group Presentation

Show that the the group with presentation $$\langle x, y\ \mid\ x^2=y^2x^2y,\ (xy^2)^2=yx^2, \ yx^{-1}y^2=x^7\rangle $$ is cyclic of order 24. This presentation was obtained using the Todd-Coxeter ...
9
votes
2answers
217 views

Generators of a cyclic group

In a paper there is a lemma: Let $G= \langle a,b \rangle$ be a finite cyclic group. Then $G=\langle ab^n \rangle$ for some integer $n$. The proof is omitted because it's "straightforward" but ...
6
votes
1answer
663 views

Find all proper nontrivial subgroups of Z2 x Z2 x Z2 - Fraleigh p. 110 Exercise 11.10

$\newcommand{\lcm}[0]{\mathrm{lcm}}$I tried to fill in the steps but I'm confounded by this solution. Here $i$ is the identity element, not $e$. Because $\lcm(2, 2, 2) = 2$ hence all non-identity ...
6
votes
3answers
401 views

How to find subgroups of $ \;\;\Bbb Z_2\times \Bbb Z_6$

I am reading a first course in algebra and there is an example saying that "find all the subgroups of $\Bbb{Z}_2\times\Bbb{Z}_6$ and decide which of them are cyclic. I know that ...
5
votes
4answers
225 views

Show that if $ab$ has finite order $n$, then $ba$ also has order $n$. - Fraleigh p. 47 6.46.

This solution is from here and yahoo. Given $a,b$ elements of $G$, and $ab$ has finite order $n$. Hence $\color{magenta}{|ab| = n} \iff (ab)^n = e$. Need to show $n$ is the smallest positive integer ...
5
votes
3answers
181 views

Intuition and Tricks - Hard Overcomplex Proof - Order of Subgroup of Cyclic Subgroup - Fraleigh p. 64 Theorem 6.14

Update Dec. 28 2013. See a stronger result and easier proof here. I didn't find it until after I posted this. This isn't a duplicate. Proof is based on ProofWiki. But I leave out the redundant $a$. ...
4
votes
5answers
332 views

Prove any subgroup of a cyclic group is cyclic.

was just wondering if this is a valid proof for the aforementioned question? I am quite confident that it isn't, but not exactly sure why. Maybe I am missing the point of proofs by induction ...
4
votes
2answers
1k views

A subgroup of a cyclic group is cyclic - Understanding Proof

I'm having some trouble understanding the proof of the following theorem A subgroup of a cyclic group is cyclic I will list each step of the proof in my textbook and indicate the places that I'm ...
1
vote
2answers
739 views

Show that the set of non zero rationals is not a cyclic group under multiplication.

Show that the set of non zero rationals is not a cyclic group under multiplication.I know the set of rationals is not a cyclic group under addition. In an exercise of my book it is given that the ...
1
vote
2answers
110 views

What is $\mathbb{Z}/m\mathbb{Z}/n (\mathbb{Z}/m\mathbb{Z})$?

Is $\mathbb{Z}/m\mathbb{Z}/n (\mathbb{Z}/m\mathbb{Z})=\mathbb{Z}/(m\mathbb{Z} +n \mathbb{Z})$? Thanks.
0
votes
1answer
51 views

Meaninig of a symbol at the Circle Group

I have $U_{20}$ (at the meainig of the Circle Group), What is the meaning of $W_{20}^{8}$?? What is the 20 and what is the 8? Thank you!
8
votes
5answers
662 views

Is $\mathbb{Z}^2$ cyclic?

Is $\mathbb{Z}^2$ cyclic? What does it mean for a group to be cyclic? Is it just that it has one generator? Thanks
6
votes
1answer
80 views

Necessary and Sufficient Condition for $\phi(i) = g^i$ as a homomorphism - Fraleigh p. 135 13.55

Let $g \in \text{ group } G $ and $n \in N$. Let $\phi : \mathbb{Z_n} \rightarrow G$ be defined by $\phi(i) = g^i$ for $0 \le i \le n$. Give a necessary and sufficient condition (in terms of g and n) ...
6
votes
3answers
160 views

Intuition and Tricks - Crafty Short Proof - Generators, Order of a Cyclic Group - Fraleigh p. 64 Theorem 6.14

This stronger result and easier proof is based on p. 58. Hence it isn't a duplicate of this. Theorem 206 and 207. Let $G$ be a group, $k \in \mathbb{N}$ and $a \in G$ such that $|a| = n$. Then: 206. ...
5
votes
1answer
206 views

A group with two non trivial subgroups is cyclic

Let $G$ be a group. Suppose that $G$ has at most two nontrivial subgroups. Show that $G$ is cyclic. Can anyone help me please to solve the problem?
5
votes
2answers
198 views

Determining whether two groups are isomorphic

I am reading "A First Course in Algebra", and there, I am trying to solve the exercises, but there is something i don't understand. How do we understand whether two groups are isomorphic or not? For ...
3
votes
3answers
153 views

A persisting element in all subgroups.

Let $G$ be a finitely generated abelian group and $a$ be a nontrival element of $G$ contained in all nontrivial subgroups of $G$. Is $G$ necessarily cyclic?
3
votes
2answers
68 views

Proof blueprint - If $G/Z(G)$ cyclic then $G$ Abelian - Fraleigh p. 153 15.37

(1.) Why didn't Fraleigh state the result in the direct form like in my title? Why state it with the negations and then prove the contrapositive? Isn't this extra unnecessary work? (2.) How do you ...
3
votes
3answers
257 views

Is there a simple way to distinguish between group homomorphisms?

More precisely, I am given a function $f:G\to H$ with the promise that it is a homomorphism. Is there an easy way to determine which homomorphism it is without looking through all of its values? For ...
2
votes
3answers
96 views

Number of elements which are cubes/higher powers in a finite field.

This question is a slight generalization of This Question. How many elements are there in a finite field of order $q$ which are : Squares. Cubes. Higher powers. I mean : How many elements are ...
2
votes
1answer
235 views

Any group of order $n$ satisfying $\gcd (n, \varphi(n)) =1$ is cyclic

Sorry for the last mistaken problem I just posted. Now I know that only having the order being odd square free is not enough for a group to be cyclic. Here's the complete problem which the main goal ...
0
votes
1answer
65 views

Factor group of a finite cyclic group

Prove that $$\mathbb Z_m/\langle \overline{n}\rangle \cong\mathbb Z_{\text{gcd}(m,n)}.$$ for any $m,n\in \mathbb{N}$. For this, I know I must show that in $\mathbb Z_m$, $\langle ...
0
votes
1answer
443 views

Elements of order $n$ in a cyclic group of order $N$

The number of elements of order $n$ in a finite cyclic group of order $N$ is $0$ unless $n|N$, in which case it is $N/n$. Is "the number of elements of order $n$" referring to the number of ...
-1
votes
1answer
26 views

Cyclic subgroups dealing with prime numbers Question

Let G be a group with |G| = pq. (p and q are both prime). How can we prove that every proper subgroup of G is cyclic?
-4
votes
1answer
175 views

The group of units of the cyclic ring of order $p^b$ is cyclic

Let $U(C_{p^b})$ be the group of units of the ring $C_{p^b}$ where $C_{p^b}$ is cyclic of order $p^b$. Show that $U(C_{p^b})$ is cyclic.