home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 17138 < prev    next >
Encoding:
Internet Message Format  |  1992-12-20  |  1.0 KB
  1. Path: sparky!uunet!pipex!warwick!uknet!comlab.ox.ac.uk!oxuniv!membrilo
  2. From: membrilo@vax.oxford.ac.uk
  3. Newsgroups: sci.math
  4. Subject: Re: A word problem
  5. Message-ID: <1992Dec15.100105.10803@vax.oxford.ac.uk>
  6. Date: 15 Dec 92 10:01:05 GMT
  7. References: <1992Dec12.162349.29729@dcs.qmw.ac.uk>
  8. Organization: Oxford University VAX 6620
  9. Lines: 22
  10.  
  11. In article <1992Dec12.162349.29729@dcs.qmw.ac.uk>, arodgers@dcs.qmw.ac.uk 
  12. (Angus H Rodgers) writes:
  13. > Are there any finitely generated infinite semigroups in which
  14. > the idempotent law holds?
  15.  
  16.   You mean the square of each element is the identity?
  17.  
  18.   If yes, then it is enough to look at the 3 generators semigroup (in which the
  19. idempotent law holds), since it is infinite. This is a direct consecuence of
  20. the fact that you can construct square-free infinite words using only three 
  21. letters
  22. I give you a reference for a proof: "Combinatorics in Words" by Lottarie.
  23.  
  24. Hope this helps.
  25.  
  26.  
  27.  
  28. --------------------------------------------------------------------------------
  29.  
  30. F.H. Membrillo-Hernandez
  31. Mathematical Institute
  32. Oxford University
  33.