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

1 Asked on September 23, 2020 by user801111

2 Asked on September 22, 2020 by aa_bb

abstract algebra commutative algebra finitely generated modules projective module

0 Asked on September 21, 2020 by rage

1 Asked on September 20, 2020 by ton910

abstract algebra extension field field theory minimal polynomials

1 Asked on September 19, 2020 by simey

1 Asked on September 18, 2020 by abhishek

1 Asked on September 18, 2020 by blargoner

adjoint functors category theory continuity general topology

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

3 Asked on September 16, 2020 by yastown

1 Asked on September 16, 2020 by fleccerd

1 Asked on September 15, 2020 by maddy

1 Asked on September 14, 2020 by hlee

1 Asked on September 14, 2020 by user9026

1 Asked on September 13, 2020 by paul-j

4 Asked on September 13, 2020 by global05

contest math modular arithmetic problem solving solution verification

1 Asked on September 10, 2020 by donald-hobson

1 Asked on September 9, 2020 by lad

abstract algebra polynomials ring theory solution verification

1 Asked on September 8, 2020 by qp212223

0 Asked on September 8, 2020 by jacob-denson

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

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

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