Retract (group theory) explained

In mathematics, in the field of group theory, a subgroup of a group is termed a retract if there is an endomorphism of the group that maps surjectively to the subgroup and is the identity on the subgroup. In symbols,

H

is a retract of

G

if and only if there is an endomorphism

\sigma:G\toG

such that

\sigma(h)=h

for all

h\inH

and

\sigma(g)\inH

for all

g\inG

.

The endomorphism

\sigma

is an idempotent element in the transformation monoid of endomorphisms, so it is called an idempotent endomorphism[1] [2] or a retraction.

The following is known about retracts:

See also

Notes and References

  1. .
  2. .
  3. .
  4. For an example of a normal subgroup that is not a retract, and therefore is not a direct factor, see .