# Normal endomorphism on a group

Mathematics Asked by DarkGlimmer on January 1, 2022

I was learning the Krull-Schmidt theory and came across this concept and just can’t understand what’s it all about.

A group endomorphism $$fcolon Gto G$$ is called normal iff $$f(aba^{-1})=af(b)a^{-1}$$ for all $$a,bin G$$. It’s true that $$H$$ is a normal subgroup of $$G$$ implies $$f(H)$$ is a normal subgroup of $$G$$, given that $$f$$ is a normal endomorphism on $$G$$.

Is the converse true? E.g. Is it true that "an endomorphism $$f$$ on group $$G$$ images every normal subgroup of $$G$$ to a normal subgroup" implies "$$f$$ is a normal endomorphism"?

If it’s not true, some other way to understand this definition would be appreciated(what does it have to do with normality?).

Note that any group automorphism has the property that it maps normal subgroups to normal subgroups. In particular, every inner automorphism has this property. On the other hand, what you call a normal endomorphism is exactly an endomorphism which commutes with every inner automorphism. Can you come up with an example of two noncommuting inner automorphisms?

Answered by Mike F on January 1, 2022

Hint If $$f$$ and $$H$$ are normal, then for all $$g in G$$ you have $$gf(H)g^{-1}={ gf(h)g^{-1} : h in H } = { f(ghg^{-1}) : h in H } subseteq f(H)$$ Therefore, $$f(H)$$ is normal subgroup.

The converse is not true. The simplest counterexample is $$f: A_5 to A_5$$ defined by $$f(x)=gxg^{-1}$$ for some $$gin S_5$$ which we will pick later. Since $$A_5$$ is simple, $$f$$ trivially maps normal subgroups into normal subgroups.

Now, if $$ain A_5$$ then setting $$b=a$$ you have $$f(aba^{-1})=af(b)a^{-1} Leftrightarrow \ gag^{-1}=agag^{-1}a^{-1} Leftrightarrow \ (gag^{-1})a=a(gag^{-1})$$

Now, all you have to do is find some $$gin S_5,a in A_5$$ such that $$gag^{-1}$$ does not comute with $$a$$. This is easy, pick $$a$$ a 5-cycle, and pick some $$g$$ such that $$gag^{-1}$$ is not a power of $$a$$.

Answered by N. S. on January 1, 2022

## Related Questions

### Evaluate $int_0^{pi/2} frac{arctan{left(frac{2sin{x}}{2cos{x}-1}right)}sin{left(frac{x}{2}right)}}{sqrt{cos{x}}} , mathrm{d}x$

1  Asked on September 23, 2020 by user801111

### Problem with split exact sequences and free finitely generated modules

2  Asked on September 22, 2020 by aa_bb

### Well posedness of Burgers’ equation

0  Asked on September 21, 2020 by rage

### degree of minimal polynomial and degree of field extension

1  Asked on September 20, 2020 by ton910

### The set of all finite subsets of $mathbb{R}_+$ is countable.

1  Asked on September 19, 2020 by simey

### What is the probability that balls left are white?

1  Asked on September 18, 2020 by abhishek

### Dual image map restricts to open sets?

1  Asked on September 18, 2020 by blargoner

### How to compute $sum_{n=1}^infty{frac{n}{(2n+1)!}}$?

3  Asked on September 18, 2020 by samuel-a-morales

### Prove there is no rational number r such that $2^r = 3$

3  Asked on September 16, 2020 by yastown

### Rational Roots (with Lots of Square Roots!)

1  Asked on September 16, 2020 by fleccerd

### How to say a variable is invertible in Macaulay2?

1  Asked on September 14, 2020 by hlee

### Given $x, y in mathbb{R}^+$ and $x^3 + y^3 = x-y$. Prove $x^2 + 4y^2 < 1$

1  Asked on September 14, 2020 by user9026

### Is a relation that is purely reflexive also symmetric?

1  Asked on September 13, 2020 by paul-j

### $3^{123} mod 100$

4  Asked on September 13, 2020 by global05

### Totally order turing machines by halting

1  Asked on September 10, 2020 by donald-hobson

### Implications of an expected value on almost sure convergence

1  Asked on September 8, 2020 by qp212223

### Density of Tensor Products

0  Asked on September 8, 2020 by jacob-denson

### 2010 USAMO #5:Prove that if $frac{1}{p}-2S_q = frac{m}{n}$ for integers $m$ and $n$, then $m – n$ is divisible by $p$.

2  Asked on September 7, 2020 by shubhangi