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

2
votes
1answer
60 views

$r$-cycle to a power $k$ is also an $r$-cycle if and only if $\gcd(k, r) = 1$

Let $\sigma$ be an $r$-cycle in $S_n$ and let $k\in\Bbb Z$. Show that $\sigma^k$ is also an $r$-cycle if and only if $\gcd(k,r)=1$.
2
votes
1answer
55 views

Proper Subgroup is Cyclic Proof

Let G be a group with |G| = p^2, where p is prime. Show that every proper subgroup of G is cyclic. Proof: Let H be a proper subgroup of G where |G| = p^2 and p is prime. Then |H| divides |G| by ...
2
votes
1answer
146 views

Counting Elements of Order $2$ in a Direct Product of Cyclic Groups

I am not sure if I am oversimplifying this question or not, but here it is: Suppose we have the following direct product of groups: $$G=\mathbb Z/60\mathbb Z \times \mathbb Z/45\mathbb Z ...
2
votes
1answer
51 views

if $\operatorname{ord}(\alpha)=n_1$ and $\operatorname{ord}(\beta)=n_2$, then what is $\operatorname{ord}(\alpha\beta)$?

$\newcommand{\ord}{\operatorname{ord}}$ If $\alpha,\beta \in \mathbb{GF}(q)$ and $\ord(\alpha)=n_1$ and $\ord(\beta)=n_2$, then what is $\ord(\alpha\beta)$ ? Edit: if $k=\ord(\alpha\beta)$ then ...
2
votes
1answer
86 views

Cyclic (sub)groups

I have two questions that are confusing me. Why is the cyclic group generated by $g$ the smallest subgroup containing $g$? If $g$ generates an infinite subgroup, why is it called cyclic? I mean, ...
1
vote
1answer
23 views

Find the Existence and Uniqueness of a Cyclic subgroup

Giving that $|H|$ is cyclic. If $|H|=n$ then for each $a>0$ such that $a|n$ there exist a unique subgroup of $H$ of order $a$. This subgroup is Cyclic subgroup $\langle x^d\rangle$ where $d= ...
1
vote
1answer
37 views

How many cycles $A$ and $B$ can form this cycle

How many cycles $A$ and $B$ can form this cycle: $AB=(axyguimjrcwk)(bvqphsleofzt)(d)(n)$ I can see that $A$ and $B$ must share the cycle $(dn)$, and I believe due to ordering, both $A$ and $B$ must ...
1
vote
1answer
97 views

What is a generator of a finite cyclic group? (General)

I have asked a few questions about this but I am still confused. So, in general, what is a generator of a finite cyclic group and how is it found? I have seen in books and my notes a lot of ...
1
vote
1answer
217 views

In S4, find all the even permutation and show that the set of odd permutations isn't stable for binary operations in S4.

I want to find the even permutations of $S_4$ so i am supposed to find the transpositions right? but of what permutation exactly do i find the transpositions? And how do i know which ones are even? ...
0
votes
1answer
39 views

Order of a cyclic group?

When finding the order of a cyclic group, do we determine so by counting the number of elements in that group generator by the cyclic group?
0
votes
1answer
45 views

Finding subgroups of order $4$ of $\mathbb{Z}_2\times\mathbb{Z}_4$

Now, the question asks me what the subgroups of order $4$ are of this relation and then to give them as sets and identify the group of order $4$ that each of the subgroups is isomorphic to. How do I ...
0
votes
1answer
37 views

Dihedral group of order 2n

I would appreciate if someone could prove this for me: Let G be a dihedral group of order 2n and suppose H is a cyclic quotient group of G. Show that |H|is less than or equal 2.
0
votes
1answer
27 views

Symmetries of a $9$ puzzle (Rubik's Slide)

Consider this Rubik's slide. With these moves (and their inverses): $$\text{Vertical shift}\: v=(147)(258)(369)$$$$\text{Rotation}\: c=(12369874)$$$$\text{Horizontal shift}\: h=(123)(456)(789)$$ Also ...
0
votes
1answer
206 views

Abstract Algebra: Cyclic Groups (Lattice Diagram)

Example 4.2: Lets find all the subgroups of the given group and draw the lattice diagram for the subgroup. Z12 Z36 Z8 In the book finding the subgroups is explained well but it does not explain ...
0
votes
1answer
86 views

Discrete math Group - Isomorphism and Automorphism

Let G be a Cyclic group Prove or disprove: A.let $ a,b \in G \quad $ so the function $ f:G \to G,f(a^k) = b^k$ is Automorphism of G(which means G is Isomorphism to herself) B.let a,b generators ...
5
votes
0answers
155 views

$(\mathbb{Z}/p^r\mathbb{Z})^{\ast}$ is a cyclic group

I would like to prove that the group $(\mathbb{Z}/p^r\mathbb{Z})^{\ast}$ of the invertible elements of $\mathbb{Z}/p^r\mathbb{Z}$ with $p>2$ prime and $r>0$ is cyclic. My text suggests to ...
4
votes
0answers
44 views

Subsets of cyclic group with distinct pairwise differences

Given a number $m\in\mathbb N$, let $\mathbb Z_m=\{0,1,\dots,m-1\}$ denote the ring of integers modulo $m$ (although we won't need multiplication, so any cyclic group of order $m$ will do). Given a ...
4
votes
0answers
100 views

Find all subgroups of $\mathbb{Z_2} \times \mathbb{Z_2} \times \mathbb{Z_4}$ isomorphic to the Klein $4$-group - Fraleigh p. 110 Exercise 11.12

I tried to fill in the steps but I'm still confounded by this solution. $|\mathbb{Z_2} \times \mathbb{Z_2} \times \mathbb{Z_4}| = 2\cdot2\cdot4$. $order(\mathbb{Z_2} \times \mathbb{Z_2} \times ...
3
votes
0answers
29 views

Which abelian groups have only a single composition series?

Cyclic groups of composite powers don't: for example, $1=C_1\triangleleft C_3\triangleleft C_6 $ and $1=C_1\triangleleft C_2\triangleleft C_6 $ are both composition series for $C_6$. But cyclic ...
3
votes
0answers
66 views

prove that a is of order m if and only if $a^m = e$ and $a^k $is not $e$ for all $0 < k < m$.

$a$ is of order $m$ if and only if $a^m = e$ and $a^k \neq e$ for all $0 < k < m$. It is about order in Algebra. I sketch the proof. Is it correct? I need your help. First ($\Rightarrow$) Let ...
2
votes
0answers
31 views

How do I interpret “K2 mod K1”?

I've been doing a bit of work these past couple of nights on computing cyclic subspace decompositions, finding cyclic bases, and then computing the Jordan canonical form of matrices. My question is: ...
2
votes
0answers
73 views

Does group $G$ of order 42 have a normal cyclic subgroup of order 21?

Show that a group $G$ of order 42 has a normal cyclic subgroup of order 21. What I did so far is using Sylow's theorem to show that $G$ has a unique 7-sylow subgroup $S(7)$ (which is normal) and {1 ...
2
votes
0answers
40 views

Some subgroup of $GL_2(\mathbb{Q})$

Let's consider $GL_2(\mathbb{Q})$ and $C_2\times C_2 \times C_2$, $C_2$ - cyclic group of order 2. I can't show, that group $C_2\times C_2 \times C_2$ is not a subgroup of $GL_2(\mathbb{Q})$.I don't ...
2
votes
0answers
24 views

How do I know the cyclic subgroups of G generated by a are equal?

I had a question of understanding that I was hoping you guys could help me with. Suppose there exists a group in the integers. For the sake of my understanding, let's say the group is, G = $Z_{60}$. ...
2
votes
0answers
72 views

Describe up to isomorphism the semidirect product

I have the following problem: I have to describe up to isomorphism the semidirect product $C_6 \rtimes C_2$, where $C_6$ denotes cyclic group of order six. I think I have to use external semidirect ...
2
votes
0answers
36 views

What primes can ramify and decompose in $k(\mu_{p^m}) \mid k$?

Let $k$ be a number field and $p$ be a rational prime. Then consider the extension $k(\mu_{p^m}) \mid k$ of adjoining all roots of unity of degree $p^m$ to $k$. Assuming that $\mu_{p^m} \cap k$ is ...
2
votes
0answers
119 views

Find the cycle index of cyclic group $C_p$ where $p$ is prime

Find the cycle index of cyclic group $C_p$ where $p$ is prime. No idea where to start...any help pointing me in the right direction would be appreciated.
1
vote
0answers
34 views

Clarification for question: Homomorphisms from $\Bbb Z / n \to \Bbb C_{\ne 0}$

Please don't solve the problem - it is for an assignment - this is just a question for clarification purposes. Let $G$ be a group and $\hat G$ be the set of homomorphisms from $G$ to the group of ...
1
vote
0answers
32 views

Question about exponents of groups

Okay, I'm trying to understand exponents of groups. I will start with the Set $Z_3$, where $Z_3$ is the integers mod3 under addition. Now, I want to set out to find the exponent of this group, ...
1
vote
0answers
60 views

question regarding group theory proof

Can someone please explain the sentence in red?, how does it follow?
1
vote
0answers
29 views

$\{m\in\mathbb Z_{2^n}:m\equiv 1 \mod 4\}$ is cyclic

How can I prove that the multiplicative group $G:=\{m\in\mathbb Z_{2^n}:m\equiv 1 \mod 4\}$ is cyclic? I tried claiming that $G=\langle5\rangle$ but failed.
1
vote
0answers
23 views

Getting the least possible order of a group from existing cyclic subgroups or elements.

Let's say I have finite group $G$. Let it have have following subgroups: $<a> = \{e, a\}$, $<b> = \{e, b\}$, $<c> = \{e, c, c^2\}$, $<d> = \{e, d, d^2, d^3\}$ I can for sure ...
1
vote
0answers
68 views

Prove that a group is non-cyclic

I have some problems with an exercise of group theory. It sounds like this: Let $G$ be a finite group of order $p^2q^2$ with $p$, $q$ prime numbers, $p$ is odd, $p<q$. I know that $G$ doesn't ...
1
vote
0answers
52 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 ...
1
vote
0answers
30 views

Cyclic $\mathbb{Z}_{2p^k}^*$ group

I'm new in group theory and have some problems. I have got difficulties with understanding my notes from lecture. Maybe you can help me? I have this proof that $\mathbb{Z}_{2p^k}^*$ ($p>2$ prime) ...
1
vote
0answers
36 views

Cyclic Code Galois

I have a generator polynomial over GF(3) for a cyclic code. What is the fastest way to find the minimum distance of this code?
1
vote
0answers
29 views

Terminology for multilinear functionals the sum of whose cyclic shifts is zero?

Let $\varphi$ be an $n$-linear functional on a vector space $X$. Suppose that $\varphi$ has the property that, for all $(x_1,\ldots,x_n) \in X^n$, we have $$ \varphi(x_1,\ldots,x_n) + ...
1
vote
0answers
64 views

Matrix Representation of Integer Series

I would like some feedback regarding this process or the meaning of this process. Let say that I have a discrete time series: S = [1 2 3 4 5] And that I represent this serie by a stochastic matrix M ...
1
vote
0answers
42 views

About rotations of sets of vertices of a regular $p$-gon.

This is something I've been thinking about lately, and I don't seem to understand the problem well enough. There is a motivation to this problem, but I don't think giving it would be productive since ...
1
vote
0answers
142 views

Finding generators for commutative encryption

The paper Information Sharing Across Private Databases presents a protocol for finding an intersection of two private sets. They use a commutative encryption that is quite similar to the ...
0
votes
0answers
31 views

Writing a group as a product of cyclic groups

How do I go about expressing a group as a product of cyclic groups? For example, express: $$O^*_K = \{\pm (24 + 5\sqrt{23})^r : r\in \mathbb{Z} \}$$ as a product of cyclic groups ($O^*_K$ is the ...
0
votes
0answers
22 views

Multiple maximal cyclic subgroups of a symmetry group

If a symmetry group T has a maximal cyclic subgroup Cn because of a projection I1, then it means it will have a rotational symmetry order of n. If we have another projection (of the same object) with ...
0
votes
0answers
48 views

How to tell if a directed graph has a cycle?

If I have the directed graph here: I am confused whether or not this is a cycle or not. Because in the underlying graph, this is a 3-cycle for sure, but in the directed graph, there is no cycle if ...
0
votes
0answers
69 views

How to find all ring homomorphisms from $\mathbb Z_{12} \to \mathbb Z_{30}$ ?

How to find all ring homomorphisms from $\mathbb Z_{12} \to \mathbb Z_{30}$ ? I know that it is enough to determine $f([1]_{12})$ ; moreover $f([1]_{12}$ should be an idempotent element of $\mathbb ...
0
votes
0answers
63 views

A $p^n$th root of unity is in $N_{F/k}(F^\times)$ if and only if there is an extension of $F$ which is a cyclic extension of $k$ of degree $p^{n+r}$

Hello, I have to solve this homework but I have completely no idea. please help me, it is very difficult for me. any attempt will be welcomed and appreciated. Conditions : $n, r$ are fixed number ...
0
votes
0answers
131 views

Free groups vs. free abelian groups

I'm trying to solve this question in page 74 of Hungerford's book: A free abelian group is a free group (Section I.9) if and only if it is cyclic. I have no idea how to proceed, a solution or a ...
0
votes
0answers
58 views

Is the subgroup of orthogonal matrices in $GL_3(\mathbb R)$ cyclic? What's generating it?

Is the subgroup of $GL_3(\mathbb R)$ denoted by $Q=\{A \in GL_3(\mathbb R)\mid AA^t=I_3\}$ cyclic? What's generating it? I showed $Q$ is a group, and realized it's the group of all orthogonal ...
0
votes
0answers
259 views

Let G be the dihedral group of order 14

Let G be the dihedral group of order 14 i) Let A=$C_2$ be a cyclic group of order 2. Find all homomorphisms $G\to A$ ii) Let B=$C_7$ be a cyclic group of order 7. Find all homomorphisms $G\to B$ I ...
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 ...
0
votes
0answers
524 views

Is the multiplicative group of non-zero elements of a finite field cyclic? What are the generators of $(Z_p \setminus \{0\}$ for a prime $p$?

How to decide if the multiplicative group of non-zero elements of a finite field is cyclic or not? Based on our experience with $(Z_7 \setminus \{0\}, \cdot)$, which is generated by $3$ or $5$, and ...