All Questions
Tagged with group-theory cyclic-groups
1,728 questions
1
vote
1
answer
49
views
G is a cyclic p-group iff every two subgroups have non-trivial intersection
Let G be a finite abelian group. Prove that G is a cyclic p-group if and only if for every two subgroups $H, F\le G$, we have $H\cap F\neq \{e\}$.
I came up with one implication ($\Rightarrow$), and ...
0
votes
2
answers
67
views
Let $G$ be a non Abelian group for which it holds that all its subgroups $H$, $H\neq G$ are cyclic.
Let $G$ be a non Abelian group for which it holds that all its subgroups $H$, $H\neq G$ are cyclic.
(a) Find an example of such finite group $G$.
(b) Prove that every such group $G$ is generated with ...
12
votes
6
answers
904
views
Finite subgroups of multiplicative complex numbers.
In "A Course in Modern Mathematical Physics" as part of problem 2.1, Szekeres asks: "Find all finite subgroups of the multiplicative complex numbers $\dot{\mathbb{C}}$."
The ...
1
vote
1
answer
96
views
Embedding of a cyclic group of order $n=2^r$ inside $A_{n+1}$
I'm looking for a proof regarding the following question.
If $r\geq1$ be a positive integer and $n=2^r$ then prove that a cyclic group of order n cannot be embedded inside the Alternating group $A_{n+...
1
vote
1
answer
63
views
Let $G$ and $H$ be cyclic groups. Prove: if $G$ is infinite group, then $G \times H$ is cyclic iff $|H|=1$. [duplicate]
Let $G$ and $H$ be cyclic groups. Prove: if $G$ is infinite group, then $G \times H$ is cyclic iff $|H|=1$.
Firstly from right to left I observe $H=\{e\}$. I want to prove that there exists $(a,e), a\...
-2
votes
5
answers
112
views
How to generate $0$ from $1$ and $-1$ in group of integers under addition operation?
I was following the Algebra book by Gallian. It mentioned that
"The set of integers $\mathbb{Z}$ under ordinary addition is cyclic. Both $1$ and $-1$ are generators".
This part is easy to ...
1
vote
0
answers
81
views
Is there a standard term for a generator of maximal cyclic subgroup?
Is there a standard term for a group element that generates a maximal cyclic subgroup? Here "cyclic subgroup" means a subgroup generated by one element, and could be infinite. "Maximal ...
4
votes
1
answer
94
views
$H$ abelian, finite group such that $\forall p$ prime dividing $|H|$, there exists exactly $p-1$ elements of order $p \Rightarrow H$ is cyclic.
I've had some trouble with this problem since I can't seem to know how to continue from certain point of my proof.
First of all, using Cauchy's theorem, we can assure that for every $p\mid |H|$ that ...
1
vote
2
answers
146
views
What are the group extensions of $\mathbb{Z}_2$ by $U(1)$?
Given the group extension $1\rightarrow U(1)\overset{f}{\rightarrow}G\overset{g}{\rightarrow}\mathbb{Z}_2\rightarrow 1$, what are the possibilities for $G$?
I understand how to solve this for $1\...
0
votes
0
answers
38
views
Finding all of the subgroups of order $p^r$ in $\mathbb Z _ {p ^ r} \times \mathbb Z _ {p ^ r}$
This question addresses how to find the cyclic subgroups of order $p^r$ in $\mathbb Z _ {p^r} \times \mathbb Z_{p^r}$. I wonder if it is possible to find all subgroups with two generators via the ...
0
votes
0
answers
73
views
non-normal subgroups of a finite $p$-group
throughout studying a paper about finite $p$-groups,
I have a question as follows,
Let $G$ be a finite non-abelian $p$-group, where $p$ is odd and $Z(G)$ is cyclic.
($Z(G)$ denotes the center of $G$). ...
2
votes
2
answers
93
views
which polynomial has cyclic Galois group of order $n$ over $\mathbb{Q}$
It is known that the splitting field of $x^{p^n}-x$ over $\mathbb{F}_p$ is $\mathbf{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)\cong\mathbb{Z}/n\mathbb{Z}$ and the splitting field of $\Phi_n(x)$ over $\mathbb{...
0
votes
1
answer
38
views
Number of distinct decompositions of $Z/(p) \oplus Z/(p)$ in a direct sum of two proper subgroups
I have read some similar questions and answers but it was not easy for me to understand them. So I ask you to check my solution.
The question is to find the number of distinct decompositions of $Z/(p)...
-1
votes
1
answer
136
views
Prove $C_2\times C_3$ is isomorphic to $C_6$ [duplicate]
I am struggling to understand whether or not this proof is legitimate, here is my attempt:
Prove that C2 × C3 is isomorphic to C6
Define $\varphi:C_6\rightarrow C_2\times C_3$ by the mapping $\varphi(...
0
votes
1
answer
88
views
A question about cyclic groups
Apologize if it is elementary, but here it goes.
I am reading Basic Algebra I second edition from Nathan Jacobson and in page 95 he is trying to prove that if there is no isomorphism with the map ...
-1
votes
1
answer
214
views
Describe all non-isomorphic groups of order $57$
Describe all non-isomorphic groups of order $57$, such that for each of them you write down its generators and the connections between them.
Attempt: 57 is the product of two primes, specifically $57 =...
-4
votes
1
answer
90
views
How to prove that all elements inside a cycle of a cyclic group are different from each other [closed]
Let $G$ be a finite cyclic group $(G, \circ)$ and $a \in G$:
$$
\langle a \rangle = \{a^z : z \in \mathbb{Z}\},
$$
and $\operatorname{ord}(a) = \min\{a^n : n \in \mathbb{N}_+\}$, i.e., the smallest ...
0
votes
1
answer
93
views
Why is the order of an element equal to the order of the group it generates? [duplicate]
I've found this post Prove the order of an element is the order of the group but this does not help me.
Let G be a finite group (G,$\circ$) and a $\in$ G.
$ \langle a \rangle $ = {$a^z$ : z $\in \...
0
votes
3
answers
122
views
showing cyclic groups are abelian when the operation is not addtion or multiplication using fancy example
To begin, if my question is foolish, i apologize for it, but i am trying to learn by myself, and some questions exist in my head.
I am trying to understand why every cyclic group is abelian. It is ...
2
votes
1
answer
100
views
An infinite cyclic group has infinitely many irreducible real representations.
I'm trying to show that an infinite cyclic group $G=\langle g\rangle$ has infinitely many non-equivalent irreducible representations over $\mathbb{R}$. I have in mind the following argument, for which ...
1
vote
0
answers
39
views
Clarifying question regarding Eulers totient function and the order of ${Z_{P}}^{\times}$ for p prime.
So on this webpage: https://crypto.stanford.edu/pbc/notes/numbertheory/gen.html I read that
Let p be prime, ${Z_{P}}^{\times}$ contains exactly $\phi (p-1)$ generators.
Additionally, in this post:...
0
votes
0
answers
50
views
A proper subgroup of rational numbers which is not cyclic [duplicate]
How do we prove that the dyadic rationals $\{ \frac{a}{2^n} : a,n \in \mathbb{Z} \}$ is a "proper" subgroup of $\mathbb{Q}$?
0
votes
0
answers
43
views
Suppose that $p,q$ are primes,What's the necessary and sufficient condition for the group of order pq to be cyclic. [duplicate]
The question came from an example on the book "Contemporary Abstract Algebra" (9th Edition) in page 203.The orginal problem is to prove that every group of order 35 is cyclic.I wondered if ...
0
votes
1
answer
86
views
Proving $o(H\cap K)=\gcd(o(H),o(K))$. [closed]
Let $H$ and $K$ be subgroups of a finite cyclic group $G,$ then $|H \cap K| = \gcd(|H|,|K|)$.*The same question is already asked in this plateform here.
So this is indeed a duplicate question but i am ...
0
votes
0
answers
41
views
Any group of order 33 is cyclic **using conjugation action** of subgroup of G on G) [duplicate]
Question Prove that any group G of order 33 is cyclic, by considering the conjugation action of a subgroup of G on G.
This is a repeat question, I really do not understand how I am supposed to use ...
0
votes
1
answer
74
views
How many homomorphisms $C_9 \rightarrow S_4$ are there? [duplicate]
How many homomorphisms $C_9 \rightarrow S_4$ are there?
[I want to use the fact that the order of $\phi(g)$ divides the order of $g$ and somehow work from there (I also know that if $\phi$ is ...
0
votes
0
answers
38
views
Number of fixed elements of $a\mapsto a^r$ in the group $\mathbb{Z}_{pq}^*$ [duplicate]
Suppose $n=pq$, with $p$ and $q$ distinct primes and $r$ is coprime to $\phi(n)=(p-1)(q-1)$. Consider the map $f:\mathbb{Z}_n^*\to \mathbb{Z}_n^*$ given by $a\mapsto a^r$, where
Then show that the ...
1
vote
0
answers
68
views
Proof that a group with only characteristic subgroups is abelian with locally cyclic torsion subgroup
I'm trying to understand a proof by Cutolo, Smith and Wiegold that a group $G$ all of whose subgroups are characteristic is necessarily abelian and has locally cyclic torsion subgroup.
I think I ...
3
votes
1
answer
57
views
If $X$ is a subnormal in $G$ with $[a, X] = 1 = [a, C_G(X)]$, then $[a, G] = G$
Let $G$ be a $\pi$-group and $a$ $\pi'$-element that acts on $G$. If $X$ is a subnormal subgroup of $G$ with $[a, X] = 1 = [a, C_G(X)]$, then $[a, G] = G$.
Proof
Let $X = X_0 \unlhd X_1 \unlhd \...
1
vote
0
answers
98
views
About semi-direct product of two cyclic groups
The following question is related to seeing semi-direct products as subgroups:
Let $G$ be a non-nilpotent group and $U = \langle x \rangle$ be a cyclic characteristic subgroup of the Fitting subgroup $...
0
votes
2
answers
63
views
Lifting map from finite cyclic group to integers
Suppose $\phi:G \to \mathbb Z/n\mathbb Z$ is a group quotient with finite cyclic image. Under what conditions can $\phi$ be lifted to a homomorphism $\tilde \phi:G \to \mathbb Z$?
Specifically I'm ...
0
votes
1
answer
116
views
What does the book mean? Confusion over element $a$ in theorem $\langle a^k\rangle=\langle a^{(n,k)}\rangle$
This question may seem silly, but it is important for me.
My background: Non-native english speaker and first year college student working abstract algebra by myself.
Theorem: Let $a$ be an element ...
-3
votes
3
answers
100
views
But what is with the other cyclic groups? Doesn't one also have to consider them? [closed]
I'm currently reading a textbook about abstract algebra.
There is a proof that every subgroup of a cyclic group is cyclic.
This proof is using the fact as every proof I have found on the Internet ...
-1
votes
1
answer
51
views
generalized version of definition of cyclic groups and its abelian property [closed]
I am beginner in group theory and I have learned cyclic groups yet. When I look at the books for definition, it is said that
Let $G$ be a cyclic group and let a be a generator of $G$ so that $$G= \...
5
votes
1
answer
104
views
Schur's Multiplier exercise (Problem 5A.7 Isaacs' Finite Group Theory)
I have a question about the following problem [Finite Group Theory, Martin Isaacs, Chapter 5]:
Let $ B $ and $ C $ be cyclic subgroups of a finite group G, and suppose that $ BC = G $ and $ B \cap C &...
2
votes
1
answer
86
views
$p$-group with a cyclic subgroup
Throughout studying a paper about finite $p$-groups,
I have the following question
Let $G$ be a finite $p$-group with nilpotency class 3 and $\gamma_i(G)$ denote
the i'th term of the lower central ...
-1
votes
3
answers
194
views
Non-cyclic subgroup of order 4 in non-dihedral group
A group $G$ has sixteen elements:
$$\{e, r, r^2, \dots , r^7, s, rs, r^2s, \dots , r^7s\},$$
where $r$ and $s$ satisfy the relations $r^8 = e, s^2 = e, sr = r^3s$.
(Note that $G$ is not a dihedral ...
4
votes
1
answer
95
views
An abelian group of order 35 must be cyclic [duplicate]
I'm reading through Contemporary Abstract Algebra by Joseph A. Galian and I stumbled upon the following problem:
Suppose $G$ is an Abelian group of order $35$ and every element of $G$ satisfies $x^{...
2
votes
2
answers
80
views
Determine the number of group homomorphisms $f:\mathbb Z_{63}\to\mathbb Z_{147}$ with $|image(f)|=7$.
Solution is apparently 6.
Current attempt, although, I am not sure whether this the right approach:
Let $f(x):=x$. We require $f(63)=63x\equiv 0 \mod 147$; that is, $63x=147k\iff 7\mid x$. So we have ...
1
vote
1
answer
94
views
Understanding Why a Product of Cyclic Groups with Non-Coprime Orders is not Cyclic
Let $G_1, G_2, \ldots, G_t$ be finite cyclic groups, and define $G = G_1 \times G_2 \times \ldots \times G_t$. Let $n_j = |G_j|$, such that $|G| = \prod_{j=1}^{t} n_j$.
For part (a) of the problem, we ...
0
votes
2
answers
226
views
Why is $\langle 3 \rangle$ a generator of $(\mathbb{Z}_7^*, \cdot)$?
This link here shows that $\langle 3 \rangle$ is a generator for the given group by brute force method, that is trial and error. I was curious as to how to justify this using the theorem.
According to ...
1
vote
0
answers
84
views
Group of order 1001 is cyclic. (Basic Group Theory Solution) [duplicate]
I am trying to prove that if $G$ is a group of order $1001$, then $G$ has normal subgroups of order $7$, $11$, and $13$, and thus $G$ is cyclic. I know that by Cauchy's Theorem, there exist elements $...
0
votes
1
answer
84
views
How to find subgroups of direct product of cyclic groups [duplicate]
Find all subgroups of $\mathbb{Z_2} \times \mathbb{Z_5} \times \mathbb{Z_7}$.
I know that this would be isomorphic to $\mathbb{Z_{70}}$, so that I would be looking for $8$ subgroups because $70$ has $...
0
votes
1
answer
131
views
Reviewing a proof to show that a subgroup of a cyclic group is also cyclic [closed]
I want to prove the following statement:
Let $H$ be a subgroup of a cyclic group $G$, here, finite. Then $H$ is also cyclic.
My question is about an attempt that I include below; in particular, ...
-1
votes
1
answer
104
views
Is there any External Direct Product which is cyclic but it is the product of two non-cyclic groups? [closed]
Is there any External Direct Product which is cyclic but it is the product of two non-cyclic groups?
I know that for an EDP, say $G\times G'$ to be cyclic the $\gcd(o(G),o(G'))=1$.
But I am unable to ...
2
votes
1
answer
124
views
show G has a faithful representation of degree 1 over $\mathbb{C}$ iff it is cyclic
Show that a finite group G has a faithful representation of degree 1 over $\mathbb{C}$ iff G is cyclic.
I saw the following related post, but I'm not sure if I fully understand it: Faithful ...
-2
votes
3
answers
180
views
What is a group and its operation?
I am learning group theory by myself and has not reached cyclic groups yet but as I have read cyclic groups are group generated by a single element and is denoted as $G = \langle x, *\rangle$ where $*$...
0
votes
0
answers
94
views
Prove that when $|H| = \infty$, $\langle x^a \rangle \neq \langle x^b \rangle$ and $\langle x^m \rangle = \langle x^{|m|} \rangle$
I want to prove Theorem 7(2) in section 2.3 from Abstract Algebra 3rd Edition by Dummit & Foote. This theorem states:
Let $H = \langle x \rangle$ be a cyclic group. If $|H| = \infty$, then for ...
2
votes
0
answers
74
views
Invariants of the Hyperoctahedral group
Apologies in advance for what I am asking might be too trivial, I am not a mathematician.
I have a function $V(x_1,\dots,x_n)$ that could have, at most, a hyperoctahedral (signed permutations) ...
0
votes
0
answers
65
views
Invariant factors and elementary divisors of quotient group
I need help solving the following problem:
Let $G = \Bbb{Z}_9 \times \Bbb{Z}_9 \times \Bbb{Z}_9$ be the product of three cyclic groups of order 9. Give invariant factors and elementary divisors of ...