Episode #125 of the Stack Overflow podcast is here. We talk Tilde Club and mechanical keyboards. Listen now

Questions tagged [dihedral-groups]

For questions on dihedral groups, the group of symmetries of a regular polygon, including both rotations and reflections

Filter by
Sorted by
Tagged with
2
votes
1answer
232 views

Show that there exist an injective homomorphism of dihedral group $D_n$ into $G$.

Let: $$n\gt2 \; \text{and the group} \; (G,⋅)$$ Consider that there existe: $a,b∈G$ such that $a^n=b^2=1_G$ and $b⋅a=a^{−1}⋅b$ and $n$ is the smallest $n≥1$, such that $a^n=1_G$. ...
1
vote
2answers
171 views

Element not in the subgroup $<x>$ of the dihedral group is a reflection

The dihedral group $D_{2n}$ is generated by $x$ and $y$ such that $x^n = y^2 = xyxy = e$. Show (algebraically) that elements not in the subgroup $<x>$ is a reflection and find the line (...
3
votes
3answers
772 views

Are all abelian subgroups of a dihedral group cyclic?

Are all abelian subgroups of a dihedral group cyclic? Attempt: I have counter-examples for n=1,2 so I know that it isn't true for n<3. Is it true for n≥3? How do you know this?
2
votes
3answers
134 views

$D_3\oplus D_4$ not isomorphic to $D_{24}$

We need to prove that $D_{3} \oplus D_{4}$ is not isomorphic to $D_{24}$ . The way in which I approach such type of questions is to count the number of elements of order $x$ in one group and then in ...
2
votes
2answers
211 views

Group Theory- symmetry group

The Symmetric group of the set ${1,2...,n}$ is $S_n$. It is the set of permuations of the set ${1,2...,n}$. But what is the symmetry group of a polygon? or a $3D$ shape? For example I saw: "A ...
-3
votes
1answer
907 views

A group is generated by two elements of order $2$ is infinite and non-abelian

My question is as follows: Let $G = \langle a,b \mid a^2=b^2=1 \rangle $ be a group generated elements $a, b$ and the equation $a^2=b^2=1$. Prove that $G$ is infinite and non-abelian. I got the ...
2
votes
1answer
47 views

How shall we show that the only possible orders of any element in dihedral group $D_n$ will be either a divisor of 2 or $n$?

I am studying the dihedral group $D_n:=\{r_n, f_n: r_n^n=f_n^2=(r_nf_n)^2=e_n\}$. I am willing to show that the possible orders of any element in it will be either a divisor of 2 or $n$. But don't ...
3
votes
1answer
240 views

Show $D_{2n} \to GL_2(\mathbb{R})$ is an injective homomorphism

Show $\phi: D_{2n} \to GL_2(\mathbb{R})$ is an injective homomorphism, where $\phi: \textrm{rotations} \to \left( \begin{array}{cc} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{...
4
votes
3answers
1k views

Normalizer of a Sylow 2-subgroups of dihedral groups

I can't solve the following exercise which is the last exercise in page 146 of Dummi & Foote's Abstract Algebra: Let $2n=2^ak$ where $k$ is odd. Prove that the number of Sylow 2-subgroups of $...
2
votes
0answers
69 views

How can I show that $D_{2n}$ follows from these relations?

Suppose we have a group $A$ which is generated by generators $R$ and $F$, subject to the relation $$ R^n=I, F^2=I,RF= FR^{-1}.$$ It should be just the dihedral group of order $2n$, the one generated ...
3
votes
3answers
293 views

Why Composition and Dihedral Group have reverse order of operation?

NOTE - I didn't receive any answer in here and I think because my first post is not clear, so I entirely made another example: $K={\{id,r^2,r^4,s,r^2s,r^4s}\}$ is a proper subgroup of the dihedral ...
1
vote
0answers
37 views

$x,y \in G$, $o(x) = 2, o(y) = 2, o(xy) = k, k\geq 3$. Show that $D_k \cong \langle x,y\rangle$

I know that $D_k = \{1,r, \dots, r^{k-1}, s, sr, \dots, sr^{k-1} \}$ and that I can use $\phi: s^i r^j \mapsto x^i(xy)^j$. I don't know what can be found using this.
1
vote
1answer
88 views

Dihedral Group question involving $D_{4n}$

Let $D_{4n}$ be the dihedral group of the order $4n$. Prove that $D_{4n}/\langle T^n \rangle$ is isomorphic to $D_{2n}$. We tried to configure an action on the diagonals of the $n$-gon and prove ...
3
votes
2answers
76 views

Dihedral subgroups of $S_4$

Prove that in $S_4$ there are $3$ groups that are isomorphic to $D_4$. I know that the $2$-sylows of $S_4$ should be subgroups of order $8$, but to prove it is a bit tricky for me Any help would be ...
0
votes
1answer
48 views

Dihederal Group $D_{2n}$ Where $n$ is even/odd

I know that the group presentation of $D_{2n}$ is the following $$D_{2n} = \big<a,b: a^n=b^2=1,b^{-1}ab =a^{-1} \big>$$ Now if we consider the case where $n$ is even and we write $n =2m$ for ...
1
vote
0answers
352 views

I need to prove that there is one homomorphism $\varphi : Dn \to Sn$ such that

I need to prove that there is one homomorphism $\varphi : Dn \to Sn$ such that $\varphi$($\tau$) = $$ \begin{pmatrix} 1 & 2 & . & .& . & n \\ 2 & 3 &...
2
votes
2answers
316 views

Is the infinite dihedral group an inverse limit of the finite dihedral groups?

The p-adic numbers are the inverse limit of the rings $\mathbb Z / p^n \mathbb Z$. Can the infinite dihedral groups be construed as some sort of inverse limit of finite dihedral groups?
3
votes
2answers
226 views

Elements of Dihedral Groups

Is there an elegant way of showing that the elements of a dihedral group are only rotations and reflections? Specifically, I'm having trouble convincing myself that a composition of a rotation and a ...
1
vote
1answer
82 views

Finding subgroups of $D_{12}$

Let $G=D_{12}=\langle a,b \mid a^6=b^2=e, bab^{-1}=a^{-1} \rangle$. Find all subgroups of $G$. We can easily spot the cyclic normal subgroup $C=\langle a \rangle = \{e,a,a^2,\dots,a^5\}$. Now $C$ ...
0
votes
1answer
131 views

Finding subgroups of $D_{2p}$

Let $p$ be an odd prime Find all the subgroups of $D_{2p}$. We know that all $g^i$ $(i=1,\dots,p-1)$ have order $p$ and all $g^ih$ $(i=0,\dots,p-1)$ has order $2$. By Lagrange if $H < G$ then $|H|&...
15
votes
1answer
722 views

Group cohomology of dihedral groups

If $m$ is odd, the group cohomology of the dihedral group $D_m$ of order $2m$ is given by $$H^n(D_m;\mathbb{Z}) = \begin{cases} \mathbb{Z} & n = 0 \\ \mathbb{Z}/(2m) & n \equiv 0 \bmod 4, ~ n &...
1
vote
0answers
62 views

Irreducible representation of $C^*(D_\infty)$

I have a question about an irreducible representation of the (full) group $C^*$-algebra of an infinite dihedral group $D_\infty$, denoted by $C^*(D_\infty)$ Ultimately, I'm interested in finding a ...
2
votes
0answers
156 views

Subgroups of the dihedral group $D_n$ modulo $Aut(D_n)$

This question is related to this math.se question. Consider the dihedral group $D_n = \langle r,s \rangle.$ Two subgroups $G, H \leq D_n$ are said to be ''isomorphic'' if there is an $f \in \rm{...
3
votes
1answer
323 views

Group generated by self-inverse elements

Given objects $x_1, \dotsc, x_n$, is there a name for the group generated by $x_1,\dotsc,x_n$ subject only to the relations $x_i^2 = 1$ for all $i \in \{1,\dotsc,n\}$? The dihedral group seems ...
1
vote
1answer
446 views

Proving that the dihedral group $D_n$ has $2n$ elements

I am trying to prove that the dihedral group $D_n$ has $2n$ elements by using the theory of group actions. Specifically I want to use the orbit stabilizer theorem. So I need $D_n$ to act on a specific ...
4
votes
3answers
3k views

$\mathrm{Aut}(D_4)$ is isomorphic to $D_4$

Problem statement: I need to find out if $\mathrm{Aut}(D_4)$ is isomorphic to $D_4$ and explain my answer. I already know that it is isomorphic, so now all I need to do is to prove it. I assume that ...
0
votes
1answer
77 views

Simple homomorphism Question: Prove that $φ(s)$ is a reflection

Let r ∈ D20 be an element of order 20 and let s ∈ D20 be a reflection. Suppose that φ : D20 → D20 is a homomorphism such that φ(r) = r^12 Prove that $φ(s)$ is a reflection
2
votes
2answers
142 views

Number of normal subgroups from $F_{2}$ which factor groups are isomorphic to $D_{n}$

What is the number of normal subgroups of the free group $F_{2}$ whose factor groups are isomorphic to the dihedral group $D_{n}$?
1
vote
1answer
168 views

Dihedral group is supersolvable

I need to show that Dihedral group $D_n$ is supersolvable. My Approach : I think the existence of a normal chain $\{e\} = G_0 \leqslant G_1 \leqslant ... \leqslant G_n = G$ satisfying following ...
1
vote
1answer
58 views

Motions that Leave a Prism Invariant

Identify the group of all motions that leave a right prism invariant. It seems like the normal dihedral group, $D_n$, with respect to the base would be a subgroup of this group. That is to say that ...
1
vote
0answers
293 views

History of Dihedral Groups?

I'm trying to write a brief historical outline for a project concerning Dihedral Groups, but It has been to hard for me to find information about the first time these groups appeared on literature. If ...
0
votes
1answer
275 views

Is there any easier way to find out every proper subgroups of Dihedral group 4?

There are 8 elements in Dihedral group 4 When finding proper subgroups of this, do I have to list every element and draw a table to find out subgroups ?
1
vote
1answer
879 views

How many proper nontrivial subgroups do D5 have?

Do I have to find out every element in D5 and draw a table to find out subgroups? I know how to find out every single element in D5, but can't think of how to find proper nontrivial subgroups
2
votes
1answer
66 views

Isomorphic relation between dihedral groups

Theorem Let $G,H$ be abelian groups such that $Dih(G)\cong Dih(H)$ If $G$ is finitely generated, then $G\cong H$. I'm curious whether "finitely generated" hypothesis can be removed. If it'...
3
votes
0answers
79 views

Definition of Dihedral group via semidirect product

Let $G$ be an abelian group and let $\varphi:Z_2\rightarrow Aut(G)$ be the homomorphism where $\varphi(\overline{1})$ is the inversion automorphism. Define $Dih(G)=G\rtimes_{\varphi} Z_2$. Now set $...
3
votes
3answers
307 views

Why are automorphisms of $D_{2n}, n \geq 5$ odd, not always inner?

The dihedral group of order $2n$ is often presented as $$D_{2n}= \langle r,s: r^n=s^2=1, rs= sr^{-1} \rangle \text{,}$$ where $r$ denote rotations and $s$ denote reflections of a regular $n$-gon. ...
0
votes
1answer
242 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.
1
vote
1answer
95 views

Find a composition series of $D_8$

Answer: Let $D_8=\langle a,b\rangle=\{e,a,a^2,a^3,b,ba,ba^2,ba^3\}$, where $a^4 = b^2 = e$ and $ab = ba^{-1}$ as usual. Then $$\{e\}\lhd\langle a^2\rangle\lhd\langle a\rangle\lhd D_8$$ or $$\{e\}\...
0
votes
1answer
53 views

Find all $x$ in $D_4$ such that $ax(a^{-1}) = b$.

Consider the dihedral group $D_4$. Consider also the elements $a= r_1$ and $b= S_1$ of $D_4$. Find all $x$ in $D_4$ such that $ax(a^{-1}) = b$. Do both $a$ and ($a^{-1}$) cancel each other out? If not,...
1
vote
1answer
332 views

Find all the $p$-Sylow subgroups of $D_6$.

$|D_6|=12=2^23.$ I started with $3$. I know that the number of $3$-Sylow subgroups, denoted $n_3$, is: $1,4,7...$ and I also know that $n_3|2^2$. e.g, $n_3=1, 4$. How can I show that it can't be $4$? ...
3
votes
1answer
1k views

Character Table Dihedral group of $D_6$

I'm having real troubles with finding the character table of the dihedral group $D_6$ of order 12: $D_6 = \langle a,b |a^6 = 1 , b^2 = 1, aba = b \rangle$. I've already found the conjugacy classes: $\{...
0
votes
1answer
3k views

understanding the commutator of dihedral group [duplicate]

Let $G=D_{2n}=⟨x,y|x^2=y^n=e, $ $yx=xy^{n-1}⟩$ I need to find $G'$ [ the commutator of G] now I understand that $G'$ is the subgroup generated from $ U=xyx^{-1}y^{-1} , $ $ \ \forall x,y \in G$ So,...
1
vote
0answers
82 views

Questions about the dihedral group $D_8$ [duplicate]

Consider the dihedral group $D_8$ of order $16$. Consider $D_8$ with the presentation $D_8=\{r^i s^j : i=0,...,7; j=0,1; r^8=s^2=e; sr=r^7s=r^{-1}s\}$, where $\{e\}, \{rs, r^3s, r^5 s, r^7s\}$ and $\{...
1
vote
3answers
177 views

let $G$ be dihedral group so that $D_{2n}= \langle x,y \ | \ x^2=y^n=e, yx=xy^{n-1} \rangle$. Prove that $N\unlhd G$ and $G/N \cong W = \{1,-1\}$

let $G$ be dihedral group so that $G = D_{2n}=\langle x,y \ | \ x^2=y^n=e, yx=xy^{n-1} \rangle$. 1) let $N < G$ so that $N =\langle y \rangle = \{e,y,...y^{n-1}\}$. Prove that $G \unlhd N$. 2) $...
0
votes
2answers
418 views

Finding homomorphisms

Let $G$ be the dihedral group of order 14. In the following, justify your answer. 1. Let $A=C_2$ be a cyclic group of order 2. Find all homomorphisms $G→A$. 2. Let $B=C_7$ be a cyclic group of ...
1
vote
1answer
122 views

$|G|=2p$, $p \geq 3$ prime then $G$ is abelian or $G \cong D_{2p}$

I am doing the following problem: Let $G$ be a group such that $|G|=2p$ with $p \geq 3$ prime, then $G$ is abelian or $G \cong D_{2p}$. Suppose $G$ is not abelian. By Cauchy theorem, there exist $x,...
3
votes
1answer
229 views

Commutator of $D_{2n}$

I am trying to calculate the commutator of the Dihedral group. If $n=1,2$ then $[D_n,D_n]=1$. Now I consider the case $n\geq 3$. I thought of using the property $[G,G] \subset H$ iff $H \lhd G, G/H$ ...
1
vote
2answers
3k views

How many different necklaces can be make from 8 blue beads, 3 green beads, and 3 brown beads?

I am trying to figure out how many different necklaces can be make from 8 blue beads, 3 green beads, and 3 brown beads. I understand how to do the problem with two colors, but I am struggling to ...
4
votes
0answers
1k views

In how many different ways can one color the vertices of a regular pentagon into four colors?

I am trying to find the number of ways to color a pentagon with 4 colors up to symmetries. I know that I should be using Burnside's Theorem, and so far I know that the group $D_5$ should act on the ...
1
vote
0answers
80 views

|${G_x}$| of ${D_{10}}$

I am looking for the order of the stabilizer group of $D_{10}$. I know that ${G_x} = \{g \in G : gx = x\}$. I am curious what to use for $x$ though? Should I just cycle through elements of $D_{10}$ ...