Mathematics Asked on January 7, 2022

Here is part of Exercise 5.5.19 in Dummit & Foote’s *Abstract Algebra*:

Let $H$ be a group of order $n$, let $K=operatorname{Aut}(H)$ and $G=operatorname{Hol}(H)=Hrtimes K$ (where $varphi$ is the identity homomorphism). Let $G$ act by left multiplication on the left cosets of $K$ in $G$ and let $pi$ be the associated permutation representation $pi:Gto S_n$.

(a)Prove the elements of $H$ are coset representatives for the left cosets of $K$ in $G$ and with this choice of coset representatives $pi$ restricted to $H$ is the regular representation of $H$.

(b)Prove $pi(G)$ is the normalizer in $S_n$ of $pi(H)$.

Deduce that under the regular representation of any finite group $H$ of order $n$, the normalizer in $S_n$ of the image of $H$ is isomorphic to $operatorname{Hol}(H)$. [Show $|G|=|N_{S_n}(pi(H))|$.]

I could easily show **(a)**, but even before attempting to prove part **(b)**, I was puzzled: Does it imply that $pi$ is injective? The restriction of $pi$ to $H$ is injective by part **(a)**, but I don’t think $pi$ is injective in general.

For example, $D_8simeqoperatorname{Aut}(D_8)$, so if $H=D_8$, then $K$ is a normal subgroup of $G$ (being of index 2), so $kerpi=Kneq1$.

Am I wrong somewhere in my deduction?

In the case of $H=D_8$, it's not true $K$ is index $2$; actually $K$ is index $|H|$ in $G=Hrtimes K$. And $K$ is never normal in $G$, unless it's trivial of course.

The best way to think about $G$ is as an "affine group" of $H$. Indeed, if $H=mathbb{Z}_p^n$ then $G$ is literally the affine group of $H$ as a vector space. In general, we can think of $G$ as the subset of $S_H$ comprised of "affine functions" of the form $xmapsto alpha(x)b$ where $alphainmathrm{Aut}(H)$ and $bin H$.

Conjugating $K$ by $H$ yields functions of the form $alpha(xb^{-1})b=alpha(x)alpha(b)^{-1}b$; to be an automorphism of $H$ (element of $K$) it must preserve $ein H$ as a function, which requires $alpha(b)=b$ (which, conversely, is sufficient), and this is only true for all $b$ if $alpha$ is the identity automorphism. On the other hand, conjugating $H$ by $K$ yields functions $alpha(alpha^{-1}(x)b)=xalpha(b)$, which are still elements of $H$, so $H$ is normal in $G$.

Note $H$ is a transversal for $G/K$, and indeed $G$ acts on $H$ representing $G/K$ matches $G$ acting on $H$ by affine functions in the way I described above. You want to show $N_{S_H}(H)=G$ here.

Answered by runway44 on January 7, 2022

0 Asked on November 27, 2020 by jskattt797

2 Asked on November 27, 2020 by iv_

1 Asked on November 27, 2020 by daniels-krimans

1 Asked on November 27, 2020 by jos-pedro-ferreira

1 Asked on November 27, 2020 by avir_12

2 Asked on November 27, 2020 by v-elizabeth

1 Asked on November 27, 2020 by harshatech2012

first order logic formal proofs logic predicate logic satisfiability

1 Asked on November 26, 2020 by luyw

2 Asked on November 26, 2020 by mathfun

1 Asked on November 26, 2020 by diego-lima

1 Asked on November 26, 2020 by simon

0 Asked on November 26, 2020 by godorgovern

1 Asked on November 26, 2020 by financial_physician

2 Asked on November 26, 2020 by user823011

1 Asked on November 25, 2020 by billy-rubina

3 Asked on November 24, 2020 by user801303

1 Asked on November 23, 2020

3 Asked on November 22, 2020 by slave-of-christ

combinatorics diophantine equations elementary number theory integers

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP