Intereting Posts

What is the value of $\int_C\dfrac{f(z)}{z-z_0}dz?$
Is each power of a prime ideal a primary ideal?
Demostration of ∀x ∈ ∅ p(x) is always true
Proof of $\arctan(x) = \arcsin(x/\sqrt{1+x^2})$
A convex subset of a Banach space is closed if and only if it is weakly closed
If the integral of $c/x$ is $c.log(x)+C$ what is the base?
When do we use entailment vs implication?
Show that a set is dense in $$
$\sum_1^n 2\sqrt{n} – \sqrt{n-1} – \sqrt{n+1} $ converge or not?
Hartshorne exercise II.5.12(b)
Prove that $f(z)=\frac{1}{2\pi}\int_0^{2\pi} f(Re^{i\phi})Re(\frac{Re^{i\phi}+z}{Re^{i\phi}-z}) d\phi$
Definition of the Young Symmetrizer
Can there exist an injective function from $\mathbb R$ to $(0,1)$?
Find smallest number which is divisible to $N$ and its digits sums to $N$
Product of connected spaces – Proof

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$?**

- Prove that $\mathbb{Z}/\langle 1+i \rangle \cong \mathbb{Z}/2\mathbb{Z}$
- Subrings of polynomial rings over the complex plane
- Approximation Lemma in Serre's Local Fields
- Group presentations - again
- Calculate the Factor Group: $(\mathbb{Z}_4 \times \mathbb{Z}_6)/\langle(0,2)\rangle$
- Definition of Simple Group

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.)

- Generating connected module over a connected $K$-algebra
- Is every monoid isomorphic to its opposite
- How many elements of order 4 does $S_6$ have?
- Why is it that Complex Numbers are algebraically closed?
- Ring where irreducibles are primes which is not an UFD
- Multiplicative group of integers modulo n definition issues
- Normal subgroup question/example
- Can a smooth function on the reals form a non-commutative semigroup?
- Finding cosets of $(\mathbb{Z}_2\times \mathbb{Z}_4)/\langle (1,2)\rangle$
- Irrational solutions to some equations in two variables

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>$$

- Is there a Second-Order Axiomatization of ZF(C) which is categorical?
- Partial fractions for $\pi \cot(\pi z)$
- Higman group with 3 generators is trivial
- Evaluating $\int_{0}^{1}\frac{\arcsin{\sqrt{x}}}{x^4-2x^3+2x^2-x+1}\operatorname d\!x$
- Paracompact image of an open continuous map from a Čech-complete space
- Why can't epsilon depend on delta instead?
- Rigorous synthetic geometry without Hilbert axiomatics
- Probability and Data Integrity
- No simple groups of order 9555: proof
- Integral inequality with two increasing functions
- Are all $4$-regular graphs Hamiltonian
- Is series $\displaystyle\sum^{\infty}_{n=1}\frac{\cos(nx)}{n^\alpha}$, for $\alpha>0$, convergent?
- Inner product exterior algebra
- How to start a math blog?
- Real integrals using Complex integration