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

19
votes
1answer
13k views

If $G/Z(G)$ is cyclic, then $G$ is abelian

Continuing my work through Dummit & Foote's "Abstract Algebra", 3.1.36 asks the following (which is exactly the same as exercise 5 in this related MSE answer): Prove that if $G/Z(G)$ is cyclic,...
14
votes
5answers
3k 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?
13
votes
4answers
1k views

Why must a field with a cyclic group of units be finite?

Let $F$ be a field and $F^\times$ be its group of units. If $F^\times$ is cyclic show that $F$ is finite. I'm a bit stuck. I know that I can represent $F^\times = \langle u \rangle$ for some $u \in ...
7
votes
5answers
5k 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 $|G|=...
11
votes
3answers
794 views

For what $n$ is $U_n$ cyclic?

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

Proof that all abelian simple groups are cyclic groups of prime order

Just wanted some feedback to ensure I did not make any mistakes with this proof. Thanks! Since $G$ is abelian, every subgroup is normal. Since $G$ is simple, the only subgroups of $G$ are $1$ and $G$,...
10
votes
4answers
7k 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 ...
4
votes
4answers
423 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 ...
15
votes
2answers
7k 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 ...
11
votes
4answers
3k views

Finite groups with exactly one maximal subgroup

I was recently reading a proof in which the following property is used (and left as an exercise that I could not prove so far). Here is exactly how it is stated. Let $G$ be a finite group. Suppose ...
2
votes
1answer
481 views

Structure of $Gal(\mathbb{Q}(\zeta_{15})/\mathbb{Q})$?

$\zeta_{15}$ is $15$th primitive $n$th root of unity. Question: Find the structure of the group $Gal(\mathbb{Q}(\zeta_{15})/\mathbb{Q})$ I know that if $p$ is prime then $G=Gal(\mathbb{Q}(\zeta_{p})...
4
votes
1answer
1k 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$ ...
1
vote
1answer
133 views

Let G be an abelian group, and let a∈G. For n≥1,let G[n;a] := {x∈G:x^n =a}. Show that G[n; a] is either empty or equal to αG[n] := {αg : g ∈ G[n]}… [closed]

We were given questions to study for our exam coming up. We have not covered much of this topic, so any help would be greatly appreciated! Let $G$ be an abelian group, and let $a\in G$. For $n≥1$, ...
6
votes
2answers
972 views

When is the automorphism group $\text{Aut }G$ cyclic?

Let $G$ be a finite group. Under which conditions on $G$ is the automorphism group $\text{Aut }G$ cyclic? More precisely, does "$G$ is abelian" or "$G$ is cyclic" imply "$\text{Aut }G$ is cyclic"?
13
votes
6answers
3k views

Nonzero rationals under multiplication are not a cyclic group

Are nonzero rationals under multiplication cyclic? Here's my thinking: They are not. The generator must be a rational $q = a/b$, $a$, $b$ integers with no common factors. Assume $a/b$ generates $\...
6
votes
6answers
7k views

Give an example of a noncyclic Abelian group all of whose proper subgroups are cyclic.

I've tried but I could not find a noncyclic Abelian group all of whose proper subgroups are cyclic. please help me.
2
votes
1answer
470 views

At most one subgroup of every order dividing $\lvert G\rvert$ implies $G$ cyclic [closed]

Suppose we have a finite group $G$ of finite order $n$. For every $d\mid n$, $G$ has at most one subgroup of order $d$. Show that $G$ is cyclic.
1
vote
1answer
207 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 $\varphi\left(\...
14
votes
3answers
732 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 $\...
10
votes
5answers
3k 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$ ...
9
votes
8answers
18k views

How to find a generator of a cyclic group?

A cyclic group is a group that is generated by a single element. That means that there exists an element $g$, say, such that every other element of the group can be written as a power of $g$. This ...
4
votes
2answers
2k views

Looking for a simple proof that groups of order $2p$ are up to isomorphism $\mathbb{Z}_{2p}$ and $D_{p}$ .

I'm looking for a simple proof that up to isomorphism every group of order 2p (p prime) is either $\mathbb{Z}_{2p}$ or $D_{p}$ (The Dihedral group of order 2p). I should note that by simple I mean ...
3
votes
3answers
1k 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.
14
votes
7answers
3k 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 it ...
4
votes
1answer
80 views

Why $c(a_1 \ a_2 \dots \ a_k)c^{-1}=(c(a_1) c(a_2)… c(a_k))$?

We investigate on an arbitrary $a_i$ : $c(a_1 \ a_2 \dots \ a_k)c^{-1}(a_i)$. First step, $c(a_i)=a_k$. Second step, $(a_1 \ a_2 \dots \ a_k)(a_k)=a_{k+1}$, Third step, $c^{−1}(a_{k+1})=? $. Any ...
1
vote
1answer
82 views

Finding homomorphisms from $\mathbb Z_{12}$ to $\mathbb Z_{6}$.

Find all homomorphisms from $\mathbb Z_{12}$, the cyclic group of order $12$, to $\mathbb Z_6$. For each homomorphism $f\colon \mathbb Z_{12}\to \mathbb Z_6$, determine the kernel $\ker(f)$ and the ...
8
votes
1answer
456 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 that ...
7
votes
3answers
924 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 $$\Bbb{Z}_2\times\Bbb{...
5
votes
4answers
429 views

A finite group which has a unique subgroup of order $d$ for each $d\mid n$.

Problem Suppose G is a finite group of order $n$ which has a unique subgroup of order $d$ for each $d\mid n$. Prove that $G$ must be a cyclic group. My idea: I try to prove it by induction. Let $p|...
2
votes
2answers
2k 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 ...
1
vote
0answers
59 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 ...
4
votes
3answers
6k views

A group with no proper non-trivial subgroups

There is a lemma that says if a group $G$ has no proper nontrivial subgroups, then $G$ is cyclic. And here is the proof of the lemma: Suppose $G$ has no proper nontrivial subgroups. Take an ...
3
votes
3answers
191 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
3answers
227 views

Suppose $G$ is a group of order 4. Show either $G$ is cyclic or $x^2=e$.

I've figured out that if I know $G$ is not cyclic, then it for any $a \in G, o(a) \neq 4$ (or the order of any element in group $G$ is not 4). I know ahead of time that the elements in the group ($\...
2
votes
2answers
91 views

Properties possessed by $H , G/H$ but not G

i) Does there exist a group $G$ with a normal subgroup $H$ such that $H , G/H$ are abelian but $G$ is not ? ii) Does there exist a group $G$ with a normal subgroup $H$ such that $H , G/H$ are cyclic ...
2
votes
1answer
280 views

Cyclic group generators

My question is: Can you find a cyclic group with n generators? I know that zero (or any other identity element for that matter) is included, so there would be for $Z_n$ at most n-1 generators. ...
2
votes
2answers
197 views

Generators of a finite additive cyclic group

Let $C$ be an abelian additive group and write e for a generator of $C$. The elements of $C$ are then $0,e,2e,3e,\dots,(n-1)e$. If $C$ is finite, prove that the element $ke$ is another generator of $...
1
vote
2answers
124 views

Show that the group is cyclic.

I'm trying to show that the group $U(Z_{54})$ is cyclic. To start, I found the divisors of 54 = {1, 2, 3, 6, 9, 18, 27, 54} Then I started to find the elements using the powers of a. Where $U(Z_{54}...
1
vote
3answers
62 views

Prove that $\langle a^n \rangle \bigcap \langle a^k \rangle = \langle a^{lcm (n,k)} \rangle$

Let $G$ be a group. Let $a$ be an element. Let $n,k$ be pozitive integers. Let $m$ be least common multiple of $n$ and $k$. Prove $\langle a^n \rangle \bigcap \langle a^k \rangle = \langle a^{m} \...
0
votes
2answers
4k views

Find the subgroups of A4

I had a question I was hoping for some help on: Find all of the subgroups of $A_4$ Here is what I know: $A_4$ is the alternating group on 4 letters. That is it is the set of all even ...
0
votes
3answers
71 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 don'...
0
votes
0answers
47 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 z\...
0
votes
1answer
60 views

All groups where underlying set has at most 4 elements

I have this homework problem. It states: By constructing the possible Cayley tables, list all groups where the underlying set has at most 4 elements, up to isomorphisms. That is, no two groups in ...
-1
votes
3answers
1k 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 ...
10
votes
6answers
8k 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!
14
votes
1answer
348 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
2answers
314 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$ ...
7
votes
3answers
6k 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 ...
7
votes
1answer
88 views

$n^2$ divides $\phi(a^n-1)$ whenever $n$ is even and $a>2$

My problem is to show that $n^2$ divides $\phi(a^n-1)$ whenever $n$ is even and $a>2$. I have thought a solution but it is quite long and tedious. I wonder if anyone has a nice and clear ...
6
votes
3answers
2k views

Quadratic subfield of cyclotomic field

Let $p$ be prime and let $\zeta_p$ be a primitive $p$th root of unity. Consider the quadratic subfield of $\mathbb{Q}(\zeta_p)$. For instance, for $p=5$ we get the quadratic subfield to be $\mathbb{Q}(...