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
0 answers
58 views

Binary sequences of $a$ zeros and $b$ ones which have $a+b$ circular shifts.

Let $P(a;b)$ be the set of all sequences generated by permutation of $a$ zeros and $b$ ones. $$|P(a;b)|=\binom{a+b}{a}$$ I want to prove that if $gcd(a,b)=1$, every sequence in $P(a;b)$ will have $a+b$...
Nothing special's user avatar
1 vote
1 answer
46 views

Proving a non-cyclic $G$ has a cyclic subgroup of index $2$ and $G\cong D_k.$

Suppose $G$ is a non-cyclic group generated by two elements, both of order $2.$ Prove that $G$ has a cyclic subgroup of index $[G:C]=2.$ If such a group is of finite order $2k,$ prove it is isomorphic ...
Invisible's user avatar
  • 4,538
2 votes
0 answers
62 views

Listing all subgroups of $D_{10}$

My work so far: The cyclic subgroups are trivial to find. They are simply rotations generated from $\langle r^d\rangle$ where $d\mid10$. So $d=1,2,5,10$. $\langle r \rangle= \{e,r, r^2, \dots, r^9 \}$ ...
Peetrius's user avatar
  • 660
1 vote
1 answer
27 views

Showing that $f(r^k)^{-1}=f(r^k)$, where $f$ is a representation of the dihedral group $D_n$

Let $D_n$ be the dihedral group, which contains elements of the form $\{r^k\}_{k\in K}$ and $\{sr^k\}_{k\in K}$ where $K=\{1,\dots,n-1\}$ and $r$ and $s$ satisfy the equations $$ r^n=s^2=1,\quad sr^ks=...
Logi's user avatar
  • 833
2 votes
0 answers
40 views

Finding orbit in a group action of automorphism group of dihedral group on the dihedral group.

Finding orbit in a group action of automorphism group of dihedral group on the dihedral group. Let $$D_{2n}=\langle a,b:a^n=b^2=1,bab^{-1}=a^{-1}\rangle $$ be the dihedral group of order $2n$ and $...
idiot's user avatar
  • 117
1 vote
2 answers
101 views

No subgroup of $D_3$ has order 4.

Question: Prove that the dihedral group of order $6$ has no subgroup of order $4$. I am trying to prove above question. But i have no idea how can i start! Just before this question (in exercise) i ...
Afzal's user avatar
  • 516
3 votes
1 answer
117 views

If $|G|=154$, and it not a direct product, then it must be isomorphic to $D_{154}$.

Suppose $|G|=154$ and $G$ is not decomposable in the sense that there are no proper subgroups $H$ and $K$ of $G$ such that $G \cong H \times K$. Show that $G \cong D_{154}$. Here is my attempt: Let $P ...
John Smith's user avatar
1 vote
1 answer
42 views

Subgroup generated by two elements of group.

In the book Contemporary Abstract Algebra by Gallian. Chapter 3 (edition 9). Exercise 3 says What can you say about a subgroup of $D_3$ that contains $R_{240}$ and a reflection $F$? What can you say ...
Afzal's user avatar
  • 516
2 votes
2 answers
63 views

Smallest $m$ such that $D_n$ is a subgroup of $S_m$

I was wondering what was, given any $n$ the smallest $m$ such that $D_n$ is a subgroup of $S_m$. For cycle groups $C_n$ I believe there is a relation of the form $m = \min \sum_{k=1}^{K}p_k$ with : $...
Pierrick Leroy's user avatar
0 votes
0 answers
24 views

What are the elements of the Dihedral Group $D_8$ when given by $D_8 = \langle a, b \mid a^2 = b^2 = (ab)^4=1\rangle?$ [duplicate]

I'm very confused since I've always seen the Dihedral Group $D_8$ given as $$D_8 = \langle a, b \mid a^4 = b^2 =1, ab= a^3b\rangle.$$ I'm given the Definition $$D_8 = \langle a, b \mid a^2 = b^2 = (ab)...
tomato's user avatar
  • 9
1 vote
0 answers
58 views

Symmetries of the dihedral groups $D_n$ and $D_{nh}$.

According to my lecture book (Linear Representations of Finite Groups by Serre), the dihedral group $D_n$ consists of $n$ rotations and $n$ reflections in the plane that preserve a regular polygon ...
Jacob's user avatar
  • 93
0 votes
0 answers
19 views

Proving that $r^i \neq sr^j$ in $D_{2n}$ [duplicate]

I was trying to proof that the order of the dihedral group $D_{2n}$ is $2n$ given its presentation $$ D_{2n} = \langle r,s ~\vert~ r^n = s^2 = 1 ,~ rs = sr^{-1} \rangle $$ and I further assumed that ...
Hesham Abdelgawad's user avatar
1 vote
0 answers
42 views

Importance of abelian subgroups of dihedral group in computing conjugacy classes?

Let $D_{8}$ be the dihedral group of order 8. We would like to find its conjugacy classes. Authors Dummit and Foote write: In $D_{8}$ we may also use the fact that the three subgroups of index 2 are ...
Jaspreet's user avatar
  • 759
3 votes
1 answer
56 views

Unique $p$-Sylow subgroup of Dihedral group $D_n$.

If $p>2$ is a prime number that divides $n \in \mathbb N$, then $D_n = \langle r,s \rangle$ (with $r^n=s^2=id, sr=r^{-1}s$) has a unique $p$-Sylow subgroup $H \leq D_n$. I'm having trouble with ...
YYY1998's user avatar
  • 331
3 votes
0 answers
29 views

Embedding $D_{2n}$ in $U_2$

I have a problem doing Exercise 18.8 of groups and symmetry by M. A. Armstrong. 18.8. Look at our description of the Möbius band as a subset of $\mathbb{C} \times \mathbb{C}$ and find matrices in $...
hbghlyj's user avatar
  • 930
2 votes
0 answers
125 views

When does $|G|=pq$ admit unique non abelian representation? [duplicate]

Classifying $G$ with $|G|=pq$ has been asked several times in this site, but I am having trouble with number theory. Let $q<p$, $Q=\langle u\rangle\in \text{Syl}_q(G)$, $P=\langle v\rangle\in \text{...
Kadmos's user avatar
  • 1,005
0 votes
0 answers
37 views

What do the dotted lines represent in the hexagonal lattice system?

The above is one of the four two-dimensional lattice systems. See this article for some info. The parallelogram is the primitive unit cell, because it can be translated in order to recreate the entire ...
user110391's user avatar
  • 1,011
0 votes
1 answer
108 views

Representation of symmetry group $D_4$ acting on a square

Consider the square with vertices $(\pm 1, \pm 1)$. The symmetry group $D_4$ of this square acts by permuting the vertices Show that each permutation comes from a linear transformation. Compute the ...
Sayan Dutta's user avatar
  • 8,122
0 votes
0 answers
28 views

Let $n=dm$ and consider the group $D_n$ , with $K=⟨ρ^m⟩$ .Show that the following $2m$ cosets of $K$ are all distinct:

$D_n = \langle \mu, \rho \mid \mu^2 = \rho^n = \epsilon, \mu\rho = \rho^{-1}\mu \rangle$ Let $n=dm$ and consider the group $D_n$, with $K = \langle \rho^m \rangle$. Show that the following $2m$ cosets ...
user20194358's user avatar
1 vote
1 answer
41 views

How do i show that $\psi : D_n \rightarrow D_m$ defined by $\psi(\mu^i \rho^j) = \delta^i \gamma^j$ is a homormophism from $D_n$ to $D_m$ where n =qm

Let $n = dm$ Consider these groups: $D_n = \langle \mu, \rho \mid \mu^2 = \rho^n = \epsilon, \mu\rho = \rho^{-1}\mu \rangle$ $D_m = \langle \delta, \gamma \mid \delta^2 = \gamma^m = \epsilon, \delta\...
user20194358's user avatar
-3 votes
1 answer
177 views

Definition and Properties of Dihedral Group

Definition: Here is equivalent definition of dihedral group $$\begin{align}D_{2n}&=\{\sigma \in S_n\mid \sigma(a+1)\equiv\sigma(a)+1\pmod n, \forall 1\leq a\leq n\} \bigcup \{\sigma \in S_n\mid \...
user264745's user avatar
  • 3,619
0 votes
2 answers
73 views

Help understanding how to show that two groups are isomorphic

I'm trying to understand what is required to show that two groups are isomorphic. My understanding is that two groups $G_1$ and $G_2$ are isomorphic if: $ |G_1| = |G_2| $ (equal cardinality) $G_1$ ...
user1160465's user avatar
0 votes
1 answer
211 views

Definition of Dihedral Group in Dummit’s Abstract Algebra

For each $n\in \Bbb{Z}^+$, $n\geq 3$ let $D_{2n}$ be the set of symmetries of a regular $n$-gon, where a symmetry is any rigid motion of the $n$-gon which can be effected by taking a copy of the $n$-...
user264745's user avatar
  • 3,619
4 votes
0 answers
107 views

Geometrical interpretation of the faithful actions of $D_6$ and $D_{10}$ on sets of size $5$ and $7$, respectively. [duplicate]

The dihedral group of order $2n$, $D_n$, acts faithfully on the set of the $n$ vertices of the regular $n$-gon. For $n=6$ and $n=10$, $D_n$ acts faithfully also on sets of size smaller than $n$, ...
citadel's user avatar
  • 2,365
2 votes
3 answers
70 views

The dihedral group $D_n$ cannot be written as a product of two nontrivial groups

Let $n$ be an odd prime. I want to prove that the dihedral group $D_n$ cannot be written as a product of two nontrivial groups. But it seems problematic, as I completely neglect the properties of ...
鈴木悠真's user avatar
0 votes
0 answers
37 views

Understanding cycle notation for a dihedral group and one of its subgroups

I'm looking at an example that instructs me to consider the group: $$ G = \langle(1, 2, 3, 4, 5, 6, 7, 8), (1, 8)(2, 7)(3, 6)(4, 5)\rangle \cong Dih(16) $$ And the subgroup: $$ H = \langle(1, 3, 5, 7)(...
lswift's user avatar
  • 67
3 votes
0 answers
40 views

Isomorphisms between subgroups of the Symmetry group of the cube

I need to list all the subgroups of the symmetry group of the cube that are isomorphic to either $\mathbb{Z}_n$ or $\mathbb{D}_n$ (the dihedral group) for some $n \in \mathbb{N}$. I know that the ...
Nobody's user avatar
  • 353
1 vote
0 answers
82 views

Prove $D_6 \cdot \text{stab}_{S6}(2) \leq S_6.$

I wish to show $D_6 \cdot \text{stab}_{S6}(2) \leq S_6$, where $D_6$ is the dihedral group of order $12$ and $S_6$ is the symmetric group of order $6$. I have been able to provide the start of a ...
Vera Leighton 's user avatar
1 vote
2 answers
71 views

Is the following presentation for $D_8$ a valid presentation?

My professor used the following presentation for $D_8:$ $$D_8 = \{s,t | s^2 = t^2 = (st)^4 = 1\}$$ But I am not sure if this presentation is correct, I looked at subWiki here https://groupprops....
Secretly's user avatar
  • 3,429
1 vote
1 answer
131 views

In group theory, are the operations left to right or right to left?

I got points taken off on homework because for the dihedral group $D_3$, I needed to find the left coset of a subgroup $H$. So for "flip $\cdot$ rotation" I did the flip first and then the ...
Real Analysis Noob's user avatar
2 votes
1 answer
75 views

Describing holomorph of dihedral group

Are there any articles or books, where ${\rm Hol}(D_{2n}$) ($D_{2n}$ is dihedral group of order $2n$), is described?Semidirect product seems like very hard thing to compute, but I'm interested whether ...
Marja's user avatar
  • 367
0 votes
0 answers
41 views

Are the mean and variance of a dihedral angle periodic?

In biomolecular science, a dihedral angle is periodic with a period of $2\pi$. It ranges from -180 to 180 degrees. Now, if for 5 dihedral angles, I want to calculate their mean and variance. Will the ...
Jack's user avatar
  • 55
1 vote
1 answer
77 views

Looking for a subgroup $H$ of $D_{2019}$ with the following properties:

I m looking for a subgroup $H$ of the dihedral group $(D_{2019},\circ)$ so that: With $(D_{2019},\circ)$ the group containing as elements $b$: a reflexion on a symmetry axis, and $a$: a rotation of $\...
T_B's user avatar
  • 113
0 votes
2 answers
59 views

Let $a,b\in D_4$ and such that $ba=a^{3}b$. Prove that if $0\leq i<4$ and $0\leq j<2$, then $a^ib^ja^{i_1}b^{j_1}=a^{i+3i_1}b^{j+j_1}$

Let $a,b\in D_4$ and such that $ba=a^{3}b$. Prove that if $0\leq i<4$ and $0\leq j<2$, then $a^ib^ja^{i_1}b^{j_1}=a^{i+3i_1}b^{j+j_1}$,(where $i,j,i_1,j_1\in \mathbb{Z}$) also it is given $o(a)=...
Arthur's user avatar
  • 2,556
0 votes
1 answer
98 views

Step in a proof that $G:=\langle x,y \mid x^n,y^2, (xy)^2\rangle$ is isomorphic to the dihedral group $D_n$

I’m reading a proof of the fact that the group given by the presentation $G:=\langle x,y \mid x^n,y^2, (xy)^2\rangle$ is isomorphic to the dihedral group $D_n$. It begins like this: Let $G=\langle \...
gisame's user avatar
  • 411
0 votes
2 answers
167 views

Prove that all dihedral groups of degree $4$ are isomorphic

I was studying about group theory when I came across a very well-known statement that: Any two dihedral groups of degree $4$ are isomorphic. I have two questions from here: What’s actually is a ...
Arthur's user avatar
  • 2,556
4 votes
1 answer
174 views

Show that the $D_{3h}$ prism is given by the direct product $D_{3h}=D_3 \otimes C_s$

I have some questions regarding the notation and solution to the following problem involving the direct product: The diagram below shows the symmetry operations of an equilateral right triangular ...
Skynet's user avatar
  • 59
1 vote
0 answers
44 views

Fitting length of Dihedral groups

Let $G$ be a dihedral group of order $2n$ where $n\geq 1$, denoted by $D_n$. We know that $G$ is nilpotent if and only if $n=2^i$ for all $i\geq 1$, a proof of this you can check in the below link 1. ...
Kavita's user avatar
  • 191
2 votes
1 answer
40 views

Show that $D_{2^n}/Z(D_{2^n})\cong D_{2^{n-1}}$.

The Problem: Show that $D_{2^n}/Z(D_{2^n})\cong D_{2^{n-1}}$. I know that $Z(D_{2^n})=\{1, r^{2^{n-1}}\}$, so I figured that establishing an explicit isomorphism $\phi: D_{2^n}/Z(D_{2^n})\to D_{2^{n-1}...
Dick Grayson's user avatar
  • 1,179
3 votes
1 answer
95 views

Embedding of dihedral group in $\mathbb{Z}_{2^n}$

Let $D_{2^n}$ be a dihedral group of order $2^n$. I want to find embedding of $D_{2^n}$ in $GL(2,\mathbb{Z}_{2^n})$ if such embedding exists. I know, that $D_{2^n}$ is isomorphic to the next subgroup ...
Marja's user avatar
  • 367
2 votes
2 answers
126 views

Question on the definition of the Dihedral groups

I have seen the definition of the dihedral group of order $2n$ in several places as $$ D_n = \langle x,y \mid x^n = y^2 = e, yxy^{-1} = x^{-1}\rangle. $$ My question is why there is an "inverse&...
John Doe's user avatar
  • 3,003
0 votes
0 answers
47 views

Doubts in the action of $D_4$ on the set of $2$-colorings of a square.

Want to find the action of the group $D_4$ on the set of $2$-colorings of square, as per the source. It states, in section 4.1, on page #12. Kindly vet the action of symmetry elements on the $2^4=16$ ...
jiten's user avatar
  • 4,480
0 votes
1 answer
50 views

Find different symmetries of $D_4$ by composition of component symmetries.

Need find the different symmetries of $D_4$ by composition. Kindly tell if is the below process of deriving symmetries' permutations correct. Let, $[1234]$ denote the initial configuration of square ...
jiten's user avatar
  • 4,480
1 vote
1 answer
27 views

Show that for even integers $ n $ there exists an element $ g \in D_{n} $ : $ \operatorname{ord}(g)=2 $ and $ \operatorname{sgn}(\varphi(g))=1 $

Let $ n>3 $, let $ \Delta_{n} $ be a regular $n$-corner, and let $ D_{n} $ be the dihedral group which is the symmetry group of $ \Delta_{n} $. If we number the vertices of $ \Delta_{n} $, we ...
clementine1001's user avatar
0 votes
0 answers
37 views

Find the cycle index of $C_{10}, D_{10}$ acting on the vertices of the regular $10$-gon.

Find the cycle index of : (a) $C_{10},$ and (b) $D_{10}$ acting on the vertices of the regular $10$-gon. (a) There are ten rotations, and $r, r^{-1}$ both equal to $x_{10}^1,$ as one cycle of order $...
jiten's user avatar
  • 4,480
4 votes
3 answers
137 views

Sylow-$2$ Subgroups of a simple group of order 168

I'm stuck somewhere in the following claim, I would appreciate if you could help: Claim: Let $G$ be a simple group of order $168(=2^3\cdot 3\cdot 7).$ Then all Sylow $2$-subgroups of $G$ are dihedral. ...
Yılmaz's user avatar
  • 407
0 votes
1 answer
303 views

Consider a reflection as an element of the permutation group of the vertices of a regular (2n + 1)-gon. Is the permutation even or odd?

Let $n \ge 1$ be an integer. Let $F \in D_{(2n+1)}$ be a reflection. Consider $F$ as an element of the permutation group of the vertices of a regular $(2n + 1)$-gon. Is this permutation even or odd? ...
WannaBeRealAnalysist's user avatar
0 votes
1 answer
61 views

Conjugacy classes of subgroups of $D_{4}$

This problem is from Michael Artin Algebra first edition. 6.3.3) List all subgroups of the dihedral group $D_{4}$ and divide them into conjugacy classes. I am a bit unsure what I am being asked here ...
Sergio's user avatar
  • 686
1 vote
1 answer
37 views

Intersection of two cyclic groups in $D_{n}$

For the dihedral group $D_{n}=<\rho,\tau | \rho^{n}=\tau^{2}=id, \rho\tau=\tau\rho^{-1}>$ How can we prove that the intersection of $<\rho>$ and $<\tau>$ is the trivial group $\{e\}$,...
Irene's user avatar
  • 433
1 vote
0 answers
141 views

Generators and relations of the dihedral group

From Aluffi's Algebra: Chapter $0$ Describe generators and relations for all dihedral groups $D_{2n}$. (Hint: Let $x$ be the reflection about a line through the center of a regular n-gon and a vertex,...
Eggue 's user avatar
  • 183

1
2 3 4 5
15