Intereting Posts

Finding the Roots of Unity
Can anybody explain about real linear space and complex linear space?
Yet another conjecture about primes
Christoffel Symbols as Tensors
Is there a field extension over the real numbers that is not the same as the field of complex numbers?
Double limit of $\cos^{2n}(m! \pi x)$ at rationals and irrationals
Finding a non constant solution to $ (x')^2+x^2=9 $
Convex interior topology
A theta function around its natural boundary
If $I = \langle 2\rangle$, why is $I$ not a maximal ideal of $\mathbb Z$, even though $I$ is a maximal ideal of $\mathbb Z$?
Limit of a recursive sequence $s_n = (1-\frac{1}{4n^2})s_{n-1}$
Is the product of two non-holomorphic function always non-holomorphic?
Big List of Fun Math Books
If $p \mid m^p+n^p$ prove $p^2 \mid m^p+n^p$
Proving that none of these elements 11, 111, 1111, 11111…can be a perfect square

I have a few questions concerning an example of the commutator subgroups in the dihedral group. This example is found on pg.171 of Abstract Algebra by Dummit and Foote.

Let $D_{2n}=\langle r,s |r^n=s^2=1, s^{-1}rs=r^{-1}\rangle$. Since $[r,s]=r^{-2}$ we have that $\langle r^{-2} \rangle = \langle r^2 \rangle \le D’_{2n}$. Furthermore, $\langle r^2\rangle \trianglelefteq D_{2n}$ and the images of $r$ and $s$ in $D_{2n} / \langle r^2 \rangle$ generate this quotient.

**What exactly is meant by the image of $r$ and $s$?**

- The alternating group is generated by three-cycles
- GCD in polynomial rings with coefficients in a field extension
- Should I be worried that I am doing well in analysis and not well in algebra?
- Order of the Rubik's cube group
- Intuitive explanation of Four Lemma
- Infinite group must have infinite subgroups.

They

are commuting elements of order $\le 2$(is this referring to $r$ and $s$?)so the quotient is abelian and $D’_{2n} \le \langle r^2 \rangle$.(I know $s$ is of order $2$ but $r$ is of order $n$??)(I thought the quotient was abelian due to the already established properties of $\langle r^2 \rangle$ i.e it is normal and a subgroup of the commutator subgroup.)

- Exercises on Galois Theory
- Isomorphism between fields
- Center of $D_6$ is $\mathbb{Z}_2$
- If $f : A \to B$ is a ring homomorphism, then what can be said about $\text{deg}$?
- Isomorphism between $U_{10}$ , $U_8$ , $U_5$
- Comaximal ideals
- 4 Element abelian subgroup of S5.
- Does the Frattini subgroup $\Phi(G)$ contain the intersection $Z(G)\cap $.
- Finding the kernel of ring homomorphisms from rings of multivariate polynomials
- Order of matrices in $GL_2(\mathbb{Z})$

When D&F say “The image of $g$” in such contexts, they mean its image under the canonical homomorphism that takes $g$ to the coset $gH$. (Here the subgroup $H$ is $\left\langle r^{2}\right\rangle $.)

The next sentence is about the orders of the cosets $r\left\langle r^{2}\right\rangle ,s\left\langle r^{2}\right\rangle $ in the quotient group $D_{2n}/\left\langle r^{2}\right\rangle$, which are indeed $\leq 2$. (Not the orders of $r,s$ in the dihedral group.)

Now, by the important defining relation of the dihedral group $srs=r^{-1}$, one can directly verify that these generators commute. Since they are also of order $\leq 2$ , this implies that $D_{2n}/\left\langle r^{2}\right\rangle$ is abelian. Now, using Proposition 7(4) on page 169, (‘the commutator subgroup is the largest abelian quotient’), we conclude $D_{2n}’ \leq \left\langle r^{2}\right\rangle$. Therefore, $\left\langle r^{2}\right\rangle =D_{2n}’$

.

I think you have confused the commutator subgroup with the quotient. The quotient is (isomorphic to the group) formed by adding the relation $g=1$ for every generator of the subgroup. In this case, the only generator is $r^2$, so we get:

$$<r, s | r^2=s^2=r^n=1, s^{-1}rs=r^{-1}>$$

$$=<r, s | s^2=r^{n \text{mod} 2}=rsrs=1>$$

- Why is a statement “vacuously true” if the hypothesis is false, or not satisfied?
- Prove that $\def\Aut{\operatorname{Aut}}\Aut(\mathbf{Z_{n}})\simeq \mathbf{Z_{n}^{*}}$
- Does $y(y+1) \leq (x+1)^2$ imply $y(y-1) \leq x^2$?
- Boy Born on a Tuesday – is it just a language trick?
- Proof of $\sum_{n=1}^{\infty}\frac1{n^3}\frac{\sinh\pi n\sqrt2-\sin\pi n\sqrt2}{{\cosh\pi n\sqrt2}-\cos\pi n\sqrt2}=\frac{\pi^3}{18\sqrt2}$
- Is $\aleph_0$ the minimum infinite cardinal number in $ZF$?
- Optimal path around an invisible wall
- What is the interpretation of $a \equiv b$ mod $H$ in group theory?
- Where, specifically, did Principia Mathematica fail?
- An interesting property of binomial coefficients that I couldn't prove
- What is “algebra” in $\sigma$-algebra (or “field” in $\sigma$-field)?
- prove that a function is an immersion
- Union of ordinals
- Proving $\frac{1}{\sin^{2}\frac{\pi}{14}} + \frac{1}{\sin^{2}\frac{3\pi}{14}} + \frac{1}{\sin^{2}\frac{5\pi}{14}} = 24$
- Evaluating $\lim_{n\to \infty}\frac1{2n}\log\left({2n \choose n}\right)$