PDA

View Full Version : (sub)semigroup with an endomorphism


mnb96
Jul2-09, 08:12 AM
Let's have a semigroup S and a proper sub-semigroup B of S.
If we have also an endomorphism f:S\rightarrow S, is it possible that the subset B'=\{f(b)|b\in B \} is not a sub-semigroup anymore?

HallsofIvy
Jul2-09, 08:47 AM
The only requirement in order that a set, A, be a "sub-semigroup" of a semigroup S is that it be closed under the group operation. If x and y are in B', then x= f(a) and y= f(b) for some a, b in B'. But xy= f(a)f(b)= f(ab) is in B' because ab is in B.