What does it mean to be an Invariant Normal Subgroup?

889 Views Asked by At

I am reading up on Fraleigh's A First Course in Abstract Algebra, and he says ($H$ subgroup of $G$) $Hg=gH$ $iff$ $i_g[H]=H$ $iff$ $H$ is invariant under all inner automorphisms. I look up invariant and I find this definition:

"Firstly, if one has a group G acting on a mathematical object (or set of objects) X, then one may ask which points x are unchanged, "invariant" under the group action, or under an element g of the group." from Invariant Description Wiki.

First I am wondering if that means the elements of $H$ do not change but change positions (hence the permutation) or is $H$ the identity under all inner automorphisms of $G$. W

EDIT: Too many questions asked by me, I will ask them separately.

2

There are 2 best solutions below

1
On BEST ANSWER

Typical definition: for a set $X$ and a bijection $f:X\to X$ a subset $A\subseteq X$ is invariant under $f$ iff $f(A)=A$. This does not mean that $f$ restricted to $A$ is the identity function.

4
On

Inner automorphisms need not act trivially (fix every element) of $N$ for it to be normal.

This is all just a fancy way of saying that $gNg^{-1}=N$. This precisely what it means to be invariant, it means that applying an inner automorphism to $N$ sends you back to $N$, so that the image of $N$ under conjugation of any element is again $N$.