(sub)semigroup with an endomorphism

  • Context: Graduate 
  • Thread starter Thread starter mnb96
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
mnb96
Messages
711
Reaction score
5
Let's have a semigroup S and a proper sub-semigroup B of S.
If we have also an endomorphism [tex]f:S\rightarrow S[/tex], is it possible that the subset [tex]B'=\{f(b)|b\in B \}[/tex] is not a sub-semigroup anymore?
 
Physics news on Phys.org
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.