Intereting Posts

Integrate square of the log-sine integral: $\int_0^{\frac{\pi}{2}}\ln^{2}(\sin(x))dx$
Integral $\int_{0}^{\infty}\frac1{\sqrt{1+x^\beta}}dx$
Complex numbers equation: $z^4 = -16$
Sylow 7-subgroups in a group of order 168
Proving functions are in $L_1(\mu)$.
Query about proof of homotopy lifting property
Does the Rational Root Theorem ever guarantee that a polynomial is irreducible?
*-homomorphism between concrete von Neumann algebras is SOT-SOT continuous iff it is WOT-WOT continuous
Integral over null set is zero
Eigenvalue Problem — prove eigenvalue for $A^2 + I$
Find the population size that maximizes the probability that two random samples of size $20$ will have exactly $2$ members in common
Abelianization of free group is the free abelian group
Show that if $G$ is simple a graph with $n$ vertices and the number of edges $m>\binom{n-1}{2}$, then $G$ is connected.
How can I solve $\sum\limits_{i = 1}^k i \binom{k}{i-1}$
A graph $G$ is bipartite if and only if $G$ can be coloured with 2 colours

**Problem**

Find $\mathrm{Aut}(G)$, $\mathrm{Inn}(G)$ and $\mathrm{Aut}(G)/\mathrm{Inn}(G)$ for $G = D_4$

**My Attempt**

- Find the order of a subgroup of $S_5$ generated by two elements
- Understanding the quotient ring $\mathbb{R}/(x^3)$.
- $\mathbb Z\times\mathbb Z$ is principal but is not a PID
- Ideal in $\mathbb Z$ which is not two-generated
- Good abstract algebra books for self study
- Properties of rad A in rings.

I let $D_4 = \{e, x, y, y^2, y^3, xy, xy^2, xy^3\}$

I found that $\mathrm{Inn}(G)$ consists of 4 bijective conjugation functions, namely $\{\phi_e, \phi_x, \phi_y, \phi_{xy}\}$. For $\mathrm{Aut}(G)$, I found that there are 12 automorphisms.

Here is the following link that relates to the problem I am doing.

Based on the solution:

Lemma: If $\alpha$ is an automorphism of group $G$ and $G$ has generators $x$ and $y$ with orders $n$ and $m$, respectively then $\alpha(x)$ and $\alpha(y)$ are also generators for $G$ with orders $n$ and $m$.

Proof:First, let us show that the orders agree. If $g \in G$ has order $n$, let $a = \alpha(g) \in G$ have order $m$. Then, $a^m = 1$ but by applying $\alpha^{-1} \in \mathrm{Aut}(G)$, we get $g^m = 1$. However, $g$ has order $n$, so $n$ must divide $m$. Similarly, $g^n = 1$ and applying $\alpha$, we note that $a^n = 1$, and so we conclude $n = m$.Secondly, since any element of $G$ can be written as a product of $x$’s and $y$’s, and $\alpha$ is a surjective homomorphism, it follows that any element of $G$ can also be written as a product of $\alpha(x)$ and $\alpha(y)$, hence they generate $G$.

Using this Lemma (or a similar argument), we note that an automorphism of $D_4$ must send $y$ to $y, xy, x^2y$ or $x^3y$ and $x$ to $x$ or $x^3$. Any such pairing is possible, thus there are $2 \cdot 4 = 8$ such automorphisms…

(The notations that someone use are different from what I denote.)

The question I have is: Why are there 8 automorphisms? Shouldn’t there be 12 automorphisms? Here is what I have:

$$e \mapsto e$$

$$x \mapsto \text{ either } \{x,y^2, xy^2\}$$

$$y \mapsto \text{ either } \{y, y^3, xy, xy^3\}$$

Then, there are $1 \cdot 3 \cdot 4 = 12$ automorphisms.

Any advices or comments?

- Proving that every element of a monoid occurs exactly once
- Let $L/K$ be a Galois extension with $Gal(L/K)=A_{4}$. Prove that there is no intermediate subfield $M$ of $L/K$ such that $=2$.
- ACC on principal ideals implies factorization into irreducibles. Does $R$ have to be a domain?
- Normal subgroup where G has order prime
- An example of a non-abelian group $G$ where, for all $a,b\in G$, the equality $(ab)^{n}=a^{n}b^{n}$ holds for two consecutive integers $n$
- What is A Set Raised to the 0 Power? (In Relation to the Definition of a Nullary Operation)
- Showing the polynomial $x^4 + x^3 + 4x + 1$ is irreducible in $\mathbb{Q}$.
- Show that $\mathbb{K}$ is a field
- What is the kernel of $R \to R$, $T \mapsto w$, $w=u/v$, $u,v \in R$, where $R$ is an integrally closed domain?
- Example of non-Noetherian non-UFD Krull domain?

We know that $$D_4=\langle x,y|x^2=y^4=1, (yx)^2=1\rangle = \{e, x, y, y^2, y^3, yx, y^2x, y^3x\}$$

Since $x^2 = 1 = (yx)^2 = (yxy)x$, we see that $x = yxy = y^2xy^2 = y^3xy^3 = y^nxy^n$. From this we can see that $|x| = |yx| = |y^2x|=|y^3x|=2$. Indeed:

$$(y^nx)^2=(y^nxy^n)x=x^2=1\;.$$

In fact, $2$ is the smallest positive integer $m$ such that $(y^nx)^m = 1$. On the other hand $|y^3|=4$. So if any automorphism is defined then, according to the Lemma you cited, it must preserve orders; so our possibilities are as follows:

One of

$$\begin{eqnarray}

x&\to&x\\

x&\to&yx\\

x&\to&y^2x\\

x&\to&y^3x

\end{eqnarray}

$$

and one of

$$\begin{eqnarray}

y&\to&y\\

y&\to&y^3

\end{eqnarray}

$$

(Of course, in all cases $1\to 1$.)

To determine $\mathrm{Inn}(D_4)$,first observe that the complete list of inner automorphisms is

$$\phi_{R_{0}},\phi_{R_{90}},\phi_{R_{180}},\phi_{R_{270}},\phi_{R_{H}},\phi_{R_{V}},\phi_{R_{D}},\phi_{R_{D’}}$$

Here $R_0,R_{90},R_{180},R_{270}$ are rotations of square. H and V denote the reflection of square with horizontal and vertical reflection and D and D’ are denote diagonal reflection.Our hob is to determine the no. of repetitions in this list.

Now u can check easily that $\phi_{R_{180}}=\phi_{R_{0}}$ also,$\phi_{R_{270}}=\phi_{R_{90}}$

similarly,$H=R_{180} V$ and $D’=R_{180} D$ so we have $\phi_{R_{H}}=\phi_{R_V}$ and $\phi_{R_D}=\phi_{R_D’}$

there are four inner automorphisms

$$\mathrm{Inn}(D_4)=\{\phi_{R_0},\phi_{R_{90}},\phi_{R_H},\phi_{R_D}\}$$

- Translations of Kolmogorov Student Olympiads in Probability Theory
- Supremum of set of sum of elements
- How prove there is no continuous functions $f:\to \mathbb R$, such that $f(x)+f(x^2)=x$.
- What is the name of the logical puzzle, where one always lies and another always tells the truth?
- Tricky Gaussian; a good method?
- An example of a group such that $G \cong G \times G$
- Conditions for integrability
- Is $22/7$ equal to the $\pi$ constant?
- What is the infinite product of (primes^2+1)/(primes^2-1)?
- Proof that there is no Banach-Tarski paradox in $\Bbb R^2$ using finitely additive invariant set functions?
- Basic question regarding degrees of algebraic sets
- Can a ring of positive characteristic have infinite number of elements?
- Proof to sequences in real analysis
- Given two non-isomorphic graphs with the same number of edges, vertices and degree, what is the most efficient way of proving they are not isomorphic?
- Compute: $\int_{0}^{1}\frac{x^4+1}{x^6+1} dx$