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

learn more… | top users | synonyms

1
vote
1answer
36 views

Automorphisms in the Dihedral groups

Let g be a group and $a \in G$. Define $\phi_a:G\rightarrow G$ by $\phi_a(g)=aga^{-1}.$ Now Let $G=D_4$ and $a=r$, where $r$is the rotation. We must show that $\phi_r: D_4\rightarrow D_4$. So show ...
0
votes
0answers
41 views

Is every symmetric group generated by some cycles?

Actually, I have two questions here: How to show that $D_3$, the dihedral group, is isomorphic to $S_3$ in details? Is every symmetric group generated by some cycles? For question (1), I know ...
-1
votes
1answer
45 views

Dihedral groups [closed]

Consider the Dihedral group $G=D_{12}=\langle a,b\rangle$.Which of the following is false? A) $G$ has an element of order $3$. B) All subgroups of $G$ of order $4$ are isomorphic. C) All subgroups of ...
0
votes
1answer
21 views

The Dihedral group $D_1$ is non-abelian?

Same as above. I'm trying to show that for any n being odd, $D_n$ has exactly n elements of order 2 where $D_n$ is non-abelian. I know that for $n\ge3$ this is true, but what about for $n=1$.
2
votes
1answer
70 views

Why is the dihedral group closed under composition?!

I've been obsessing over this all day now. I understand associativity, presence of inverse elements and identity, but I don't get why a composition of a reflection with a rotation or other reflexions ...
2
votes
3answers
292 views

Proof that S3 isomorphic to D3*

So I'm asked to prove that $$S_{3}\cong D_{3}^{*}$$ and I know how to exhibit the isomorphism and verify every one of the $6^{2}$ pairs, but that seems so long and tedious, I'm not sure my fingers can ...
1
vote
1answer
21 views

Alternative way of proving the subgroup of rotations is normal in $\mathbb D_4$

I've just solved a basic group theory exercise which is: decide if $\{1,r,r^2,r^3\}$ is a normal subgroup of $\mathbb D_4$ (I mean the dihedral group of $8$ elements, not the one of $4$). I've used ...
1
vote
0answers
34 views

Why does $\rho_{\mathbf{Z}^t\otimes P}=\rho_R$ imply the isomorphsim of $\mathbf{Z}^t\otimes P\cong R$?

so I have happened upon a thesis regarding the calculations of various $\mathbf{Z}D_6$ modules and their isomorphisms and came across a technique which is bothering me. Let me give an example. Let ...
1
vote
0answers
24 views

Looking for Proof of the Order of a quandle cohomology group for an n-fold dihedral

Does anyone know where the proof that states that the order of a quandle cohomology group for an n-fold dihedral quandle is n is located? I have been told it can be found in one of ...
2
votes
1answer
89 views

Dihedral groups: D5

I am currently looking into structure of dihedral groups; I am interested in subgroup structure. Dihedral group have two kinds of elements; I will use their geometric meaning and call them rotation ...
2
votes
0answers
73 views

Why is the order of the subgroup 3?

I want to find the order of the subgroup $\langle ab\rangle$ of $D_3=\langle a,b\mid a^3=1,b^2=1,ba=a^2b\rangle$ According to my notes, the order of this subgroup is 3. But why is it like that? I ...
0
votes
0answers
26 views

Be $G$ a group of order $|G|=2p$ where $p$ is a prime number odd, prove that either $ G $ is cyclic or dihedral $G\simeq D_p$ the group of order 2$p$. [duplicate]

Be $G$ a group of order $|G|=2p$ where $p$ is a prime number odd, prove that either $ G $ is cyclic or dihedral $G\simeq D_p$ the group of order 2$p$. I thought the question a little difficult ...
1
vote
2answers
98 views

Given a Cayley table, is there an algorithm to determine if it is a dihedral group?

Showing that it is a group is simple enough, but is it possible to determine if it is a dihedral group or not just by looking at the Cayley table?
4
votes
1answer
84 views

subgroups of the group of pentagon symmetries

The pentagon has 5 line symmetries and therefore we will have 10 symmetries. So, we let the group G with order 10 denote the symmetry group of a pentagon. A subset $H$ of $G$ is a subgroup $(H, *)$ ...
1
vote
0answers
51 views

Understanding the irreducible representations of $D_3$

By the dimensionality theorem, $$\sum_i d_i^2 = |G|,$$ where $d_i$ is the dimension of the $i$th irreducible representation, we can infer that the dihedral group $D_3$ has two one dimensional irreps ...
0
votes
0answers
16 views

The number of subgroups of a dihedral group of an $n$-gon where $n$ is prime is equal to $n + 3$

The number of subgroups of a prime numbered dihedral group $D_{2n}$ is equal to $n + 3$. Proof: It is established that the number of subgroups of a dihedral group $D_{2n} $ (i.e the symmetries of a ...
0
votes
1answer
15 views

Show isomorphy by mapping generators onto generators only

If I want to show that two cyclic groups are isomorphic, is it enough to show that their cardinality is the same and that the generators of the groups are mapped onto each other? To be precise: I am ...
1
vote
2answers
62 views

Prove that the number of subgroups in $D_n = \tau (n) + \sigma (n)$

Prove that the number of subgroups in $D_n = \tau (n) + \sigma (n)$ where $\tau (n)$ represents number of divisors of $n$ and $\sigma (n)$ represnts the sum of divisors of $n$. Attempt: $D_n = ...
0
votes
1answer
21 views

What is the formula for products in dihedral groups?

Let $G \colon = \langle x, y \ | \ x^2 = y^n = e, \ x^iy^j = x^{i^{\prime}} y^{j^{\prime}} \ $ if and only if $ i = i^{\prime}, j = j^{\prime}, \ xy = y^{-1}x \rangle$. That is, let $G$ be the ...
0
votes
0answers
49 views

Lines of reflection in a Dihedral group, Why is this paradox happening?

So, we know that in a Dihedral Group $D_n$, if $r$ represents counterclockwise rotation by $2\pi/n$ radians and $s$ is any axis of reflection, then the elements of reflection stand as follows: {$s, ...
3
votes
0answers
59 views

$D_6$, regular hexagon.

Find a subgroup of $D_6$ where $D_6$ is the regular hexagon, with 12 symmetries. $$ D_6 = \{ e, r, r^2, r^3, r^4, r^5, a, ar, ar^2, ar^3, ar^4, ar^5\} $$ where $r^6 = e$. And the $r^n$ represent ...
3
votes
3answers
56 views

Intuition - $fr = r^{-1}f$ for Dihedral Groups - Carter p. 75

Name $r$ = clockwise 90 deg. rotation and $f$ = flip across the square's vertical axis = the brown $\color{brown}{f}$ in my picture underneath. Zev Chonoles's $f$ is different. Carter fleshes out why ...
2
votes
3answers
39 views

Showing an Isomorphism between question group of $S_4$ and $D_6$

I have a subgroup $N$ of $S_4$, where $ N = [1, (1,2)(3,4), (1,3)(2,4), (1,4)(2,3)] $ I need to explain whether quotient group $G/N$ is isomoprhic to either $C_6$ or $D_6$ (no proof required, just an ...
4
votes
3answers
105 views

How does one enumerate $\mathrm{Aut}(G)$, or at least compute $|\mathrm{Aut}(G)|$?

I know that the automorphisms in $\mathrm{Aut}(G)$ preserve the order of elements of $G$, so if $G$ is partitioned according to $\mathrm{Ord}$ (order), the product of the cardinalities of the ...
0
votes
1answer
82 views

Isomorphism between dihedral group and a subgroup of $S_n$

I need to find an isomorphism between $D_n$ (all symmetries of an $n-gon$) and a subgroup of $S_n$. I know that Cayley's theorem gives a nice isomorphism that shows that $D_n$ is isomorphic to a ...
0
votes
0answers
30 views

Finding conjugacy classes of $D_{10}$

Looking at the group $D_{10}$, I have found that for some (non-identity) rotation $\rho$ its centraliser has order 5, and for some reflection $\tau$ its centraliser has order 2. By the ...
2
votes
1answer
65 views

Extension of dihedral group to higher dimensions

The dihedral group $D_{2n} = \{x, y \mid x^2=y^n=yxyx=1\}$ is tied with the symmetries of the regular polygon on a plane. What is the natural extension to higher dimension? For instance, in $3$D, does ...
0
votes
3answers
106 views

Is this identity for the Dihedral group correct?

Let $D_n$ represents the Dihedral group with $2n$ elements, and my question(based on some physics backgrounds) is: Does $Z_2$ a normal subgroup of $Q_8$? If it is, then is the indentity $D_2\cong ...
4
votes
0answers
44 views

The dihedral group $D_n$ of order $2n$, $n\geq 3$, has a subgroup of $n$ rotations and a subgroup of order $2$. [closed]

The dihedral group $D_n$ of order $2_n$ ($n\geq 3$) has a subgroup of $n$ rotations and a subgroup of order $2$. Explain why $D_n$ cannot be isomorphic to the external direct product of two such ...
3
votes
2answers
57 views

Prove that the lattice graph of $D_{16}$ is not planar

How do we prove that the lattice graph of $D_{16}$ is non-planar? I wanted to prove it using Kuratwoski's Theorem but was unable to do it. And to add one more question, are there any interesting ...
0
votes
0answers
157 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 ...
2
votes
1answer
43 views

Center of $D_6$ is $\mathbb{Z}_2$

The center of $D_6$ is isomorphic to $\mathbb{Z}_2$. I have that $$D_6=\left< a,b \mid a^6=b^2=e,\, ba=a^{-1}b\right>$$ $$\Rightarrow D_6=\{e,a,a^2,a^3,a^4,a^5,b,ab,a^2b,a^3b,a^4b,a^5b\}.$$ ...
2
votes
0answers
200 views

Symmetries of a regular tetrahedron

Let $G$ be the group of symmetries of a regular tetrahedron $T$, including orientation-reversing symmetries. (a) Decompose the set of faces of $T$ into orbits, and describe the stabiliser of a face. ...
2
votes
0answers
73 views

Problems related to symmetry

I am currently studying the chapter entitled "Symmetry" from Michael Artin's book "Algebra" and am having some difficulties understanding the material. It is dealing with isometries, dihedral groups, ...
1
vote
1answer
128 views

Cosets and finite groups of orthogonal operators on the plane

Can someone show me how to compute the left cosets of the subgroup $H=\{1, x^5\}$ in the Dihedral group $D_{10}$ I know that $D_{10}$ is generated by two elements $x$ and $y$ such that: $$x^{10}=1, ...
5
votes
1answer
98 views

Could someone explain chirality from a group theory point of view?

While answering this question my interest in the rotation/reflection group was piqued. I personally know very basic group theory, not much more than what a group really is. I understand that the ...
1
vote
1answer
114 views

Subgroups of $D_4$

I need to determine the subgroups of the dihedral group of order 4, $D_4$. I know that the elements of $D_4$ are $\{1,r,r^2,r^3, s,rs,r^2s,r^3s\}$ But I don't understand how to get the subgroups..
1
vote
1answer
88 views

Expressing a product in a Dihedral group

Write the product $x^2yx^{-1}y^{-1}x^3y^3$ in the form $x^iy^j$ in the dihedral group $D_n$. I used the fact that the dihedral group is generated by two elements $x$ and $y$ such that: $y^n=1$, ...
1
vote
0answers
187 views

How many elements of order 2 are in the Group D10 x D8?

Dihedral groups really confuse me. What are the elements of D10 and D8? I need to know these in order to find the elements in D10 x D8. Then maybe I can figure out the order of those elements. Any ...
0
votes
1answer
62 views

An element of order $n$ generates a normal subgroup of $D_n$

Let $a$ be an element of order $n$ of $D_n$. Show that $\langle a\rangle \lhd D_n$ and $D_n/\langle a\rangle \cong \mathbb Z_2$. Proof: Let $K = <a>$ for some a ∈ G. Let H ≤ K be an ...
0
votes
1answer
24 views

Why isn't $r^{\frac{n}{2}}$ classified as an involution?

Suppose you have a $(2n)$-gon for some $n \in \mathbb{N} : n > 1$. Then the rotation $r^{\frac{n}{2}}$ where $n$ is the number of vertices imposed on the $(2n)$-gon is the same as an involution. ...
0
votes
1answer
43 views

Question about definition of generator for dihedral groups?

Dummit and Foote mention that a relation for the dihedral group is $rs = sr^{-1}$. Now, I have interpreted the statement to mean $r$ is a rotation of $\frac{2\pi}{n}$ radians and $s$ is an ...
4
votes
3answers
79 views

Is this Cayley table correctly computed? If so, is it correct way of presentation of this dihedral group?

Is the following table for $D_4$ correct? $$\begin{array}{c|c|c|c|c|c|c|c|c|} * & 1 & g & g^2& g^3& f& fg & fg^2 & fg^3 \\ \hline 1 & 1 & g & g^2 ...
1
vote
1answer
54 views

How to find this formula in this dihedral group of transformations of the plane?

In the group of all the bijections of the Euclidean plane onto itself, let $f(x,y) \colon = (-x,y)$ and $g(x,y) \colon = (-y,x)$ for all points $(x,y)$ in the plane. Let $$G:= \{f^i g^j | i=0,1; \ ...
1
vote
6answers
1k views

Is it true that a dihedral group is nonabelian?

Is it true that a dihedral group is nonabelian? I'm not sure if the result is true. I checked it for some lower order and I think the result may correct. But I failed to prove/disprove the result.
0
votes
1answer
56 views

I'm trying to understand the following part from Gallian text

I'm trying to understand the following part (Chap. Sylow Theorem, Paragraphs preceding the article Application of Sylow Theorem) from Gallian text I'm trying to understand the why. That is I need ...
0
votes
1answer
160 views

Dihedral group as a direct product

In a problem from a past exam I am asked "When can $D_n = \langle r,s\mid r^n = s^2 = (rs)^2 = 1\rangle$, the dihedral group of order $2n$, be expressed as a direct product $G\times H$ of two ...
0
votes
1answer
23 views

Elements of $D_{2n}$ in terms of isometries

In course of studying Dihedral Group I'm having trouble to get what exactly the elements of $D_{2n}$ are. According to the Dummit-Foote texts For each $n∈\mathbb Z^+,n≥3$ let $D_{2n}$ be the set ...
1
vote
1answer
58 views

Find the inner and outermorphisms of a particular dihedral group

Given that |Inn($D_8$)| = 8 and |Out($D_8$)| = 2 where Out($D_8$) = Aut($D_8$)/Inn($D_8$) and $D_8$ = {e,r,$r^2$,..,$r^7$,s,sr,...,$sr^7$} we want to find Inn($D_8$) and Out($D_8$). We know that ...
2
votes
1answer
112 views

Prove: $D_{8n} \not\cong D_{4n} \times Z_2$.

Prove $D_{8n} \not\cong D_{4n} \times Z_2$. My trial: I tried to show that $D_{16}$ is not isomorphic to $D_8 \times Z_2$ by making a contradiction as follows: Suppose $D_{4n}$ is isomorphic ...