New answers tagged cyclic-groups
1
vote
Accepted
No cyclic subgroups of orders 8 and 9 in $G/H$
"Since $8=|g'+H|||g'|$, then $|g'| = 8n$", how do you get this?
If such a cyclic subgroup exsits, assume the generator is $g'+H$, then we have $(g'+H)^8=H$ and $(g'+H)^k\neq H$, for $k=1,2,.....
- 7,042
1
vote
group $G$ such that $|G| = p^k$ for some prime $p$ and some integer $k > 1$, where $|g| = p$ for every $g \in G \setminus {\epsilon}$
More generally:
$$G=C_p\times C_p$$
where $C_p$ is the cyclic group of order $p$ (in multiplicative notation), has those properties: it has order $p^2$ and every nontrivial element has order $p$. Your ...
- 1,561
-2
votes
Is there a group theoretic proof that $(\mathbf Z/(p))^\times$ is cyclic?
The fact in the OP ($x^r\equiv 1\pmod p$ has at most $r$ solutions) shows immediately that $({\bf Z}/(p))^\times$ can't have any subgroup isomorphic to $C_q\times C_q$, for any prime $q$ dividing $p-1$...
- 1,561
0
votes
How do I find the order of elements in $\mathbb{C}^*$ (the multiplicative complex group)?
Our question is, given an element $z\in \mathbb{C}^*$, what is the lowest natural number $n$ satisfying $z^n=1$?
Since we require that $z^n=1$, it only makes sense that $z$ is a root of unity; i.e. $z=...
- 587
0
votes
About every subgroup of $ ( \mathbb{Z} , + ) $ being cyclic.
Suppose $H\neq \{0\}=\langle 0\rangle$. Then $\exists h\in H$ such that $h\neq 0$. Let $$m=\min \{g\in H\mid 0\lt g\leq |h|\}$$ where $|h|=h$ if $h\gt 0$, and $|h|=-h$ if $h\lt 0$. Note $m$ exists by ...
- 3,228
2
votes
Axioms for finite cyclic groups
If you were to take this approach, in the context of CS / cryptography education as you mention in your comment, what I think you'd want would be something like:
A cyclic group of order $n$ is a set $...
- 25.4k
2
votes
Prove every Sylow Subgroup of $G$ is Cyclic
Since, $G$ has unique subgroup of each order then every sylow-$P$ subgroup of G is unique.
Let, $P$ is not cyclic. Let, $h$ be the element of maximal order in $P$. Consider, $H = <h>$ since, G ...
- 881
5
votes
Accepted
Prove every Sylow Subgroup of $G$ is Cyclic
Take $g\in P$ of maximal order, say $p^i$. If $i<k$ then there is some element $h\in P\setminus\langle g\rangle$. It has order $p^j$, and by maximality of $i$ we must have $j\leq i$. Then $\langle ...
- 34.9k
8
votes
Axioms for finite cyclic groups
You wrote
Diffie-Hellman key exchange protocol or ElGamal encryption scheme rely on finite cyclic groups. For computer science students who have no idea of what a group is, it may be an overkill to ...
- 37.5k
10
votes
Axioms for finite cyclic groups
You could take Peano's axioms and replace the axiom which states $0$ is not the successor of any natural number with its negation (number 2 below).
Your axioms then are, $G$ is a set together with a ...
- 3,843
4
votes
Why isn’t every subgroup of a Finite Group Cyclic?
Take a non-cyclic group $G$ and any group $H$. Then, $K:=G\times\{1_H\}\cong G$ and $K\le G\times H$.
- 1,561
5
votes
Accepted
Why isn’t every subgroup of a Finite Group Cyclic?
You have shown that every cyclic subgroup $\langle g\rangle$ of $G$ is cyclic. This is not very surprising. It doesn't imply that all subgroups of $G$ are cyclic, though. The easiest counterexample is ...
- 124k
5
votes
Accepted
If $a^k\equiv a\mod p$ for all $a$, show $(p - 1)\mid (k-1)$
Well...Since, for non-zero $a$, we have $a^{p-1}\equiv a^{k-1}\equiv 1\pmod p$ we can deduce that $a^d\equiv 1 \pmod p$ for $d=\gcd(p-1,k-1)$. Here, of course, $1≤d≤p-1$.
But you know that $\mathbb ...
- 65.2k
0
votes
What is the connection between the notions of cyclic permutation and cyclic group?
You asked about the connection between a cyclic permutation and a cyclic group. Cayley's Theorem
states that every group is isomorphic to a subgroup
of the symmetric group using the regular ...
- 31.9k
1
vote
Group ring over a cyclic group
The hint in the comments is a good one that works for cyclic groups, but there is actually one that works simply for all finite groups (or, for that matter, any group with a nontrivial finite ...
- 147k
2
votes
Accepted
Let $G = (\mathbb Z, +)$ and $H,K ≤ G$ where $H = ⟨12⟩$ and K =$\mathbb⟨18⟩$; define $H\mathbb\cap K$ and $H + K$.
While @Shaun is right that you should generally ask only one question at a time, I think these could be construed as related enough to be one post. Your questions seem to mostly be about what the ...
- 8,265
0
votes
Looking for a simple proof that groups of order $2p$ are up to isomorphism $\Bbb{Z}_{2p}$ and $D_p$ for prime $p>2$.
For $p=2$ our group has 4 elements, so it is either cyclic or the Klein-4-group. So let $p > 2$.
By Cauchy's theorem you know there is a cyclic subgroup of order $p$ and $2$, call this $H \leq G$. ...
- 39
2
votes
Accepted
Show that if $G$ is a cyclic group of order $n$ and $d\mid n$, then $G$ has a subgroup of order $d$.
Nevermind I answered it myself. Here is the answer in case someone in the future has the same problem as me and can't figure it out.
Consider the element $a^k$ in $G$. Notice that $(a^k)^d = a^{(kd)} =...
- 529
3
votes
Accepted
Which cyclic groups are automorphism groups?
The situation about cyclic groups of automorphisms is as follows.
If $G$ is an infinite periodic group, then its automorphism group is also infinite
(R. Baer).
If a cyclic group $A$ is the ...
- 8,226
0
votes
The stabilizer of a cyclic group over a group algebra
The answer is $c_{k,l}=$$\delta_{k,l}$, i.e. $a'_l=a_l.$ This is the inversion formula for discrete Fourier transform. You can easily (re-)prove it, using that for any integer $r>1,$ the sum of the ...
- 18.9k
Top 50 recent answers are included
Related Tags
cyclic-groups × 2146group-theory × 1611
abstract-algebra × 1077
finite-groups × 495
abelian-groups × 216
solution-verification × 108
group-isomorphism × 104
permutations × 84
group-homomorphism × 76
modular-arithmetic × 65
normal-subgroups × 63
number-theory × 56
symmetric-groups × 55
quotient-group × 55
elementary-number-theory × 53
sylow-theory × 50
galois-theory × 47
finite-fields × 46
direct-product × 44
field-theory × 40
automorphism-group × 39
ring-theory × 35
linear-algebra × 30
prime-numbers × 27
proof-explanation × 27