30 views

Uploaded by Tee Higgins

- Cal148 Differentiability of Functions of Two Variables
- 2007_2008S6HyearlyPmath_1
- ijcai2017-peer-grading-appendix-
- 2009 Fryer Solution
- 11 Are They Different or the Same Problem - NsIsomorphic
- MA122 Midterm 2014W Mock
- FEM-2018
- Vector and Scalar Numbers
- mod21
- Tutorial 1_Continuous Time Models
- limits power point edsc 304
- Vectors and Scalars Ppt
- Calculus of Multivariable - Solved Assignments - Semester Fall 2007
- Math t1
- fractions_lesson1.ppt
- Functions of More Than One Variable
- Laboratory 3
- MC CountingHard
- Geomentry1 Basic Terms
- Chapter 12.2 Displacement and Forces

You are on page 1of 4

= a(bc) We shall say that S is left regular, right regular, left simple or right simple if it satisfies the following condition respectively, I. Left regularity: ax =: ay for some a implies x ~ y. II Right regularity: xa ya for some a implies x = y. Ill.Left simplicity: For any a,b, there exists some x such that xa = b, IV. Right simplicity: For any a,b, there exists some x such that ax = b. The structure of semigroups S satisfying any two postulates taken from the above four is well-known in the following four cases (1) S is left regular and right regular, (2) S is left regular and right simple, (3) S is right regular and left simple, (4) S is left simple and right simple. In the first case (l), the structure theorem is seen in (13, In the second case (2), S is represented as the following manner: R, where G is a group, and R is a semigroup in which we have ab = b for any a, b e R. Dually in the third case (3), S is represented as the following manner: S n G \ L, where G is again a group, and L is a semigroup in which we have ab = a for any a, b 6 L.

This semigroup L is called left singular. Remarks. Consider the following two postulates. III 1 . For any a, b, the equation xa b has a unique solution. IV 1 . For any a, b, the equation ax = b has a unique solution* It is easily velified that the postulate III* implies II and III. Dually we have the postulate IV1 implies I and IV. Conversely the above-mentioned semigroup G K L satisfies the postulate I I P , i.e., II and III implies III Dually we have I and IV implies IV 1 . Consequently, III* is equivalent to II and III,

IV1 is equivalent to I and IV. In the fourth case (4)> S becomes a group, in more detail it is read as follows: A semigroup becomes a group if and only if it is both left simple and right simple0 (Cf. C2J) Two cases are left out from the above classification, and these cases are the following (5) S is left regular and left simple, and dually () S is right regular and right simple. Mr Tamura had presented in C31 the question whether right simple semigroup is always a group or not. The object of the present paper is to prove the existence of a right simple semigroup which is not a group, even when it satisfies the right ! regularity postulate,, Thus Tamura s problem is solved negatively. In $1, we shall prove this fact by illustrating an example of semigroup which is right regular and right simple. In 2, we shall be concerned with an example of left regular and left simple semigroup, and in 3, the another interesting example is dealt with. 1. An example of a right regular and right simple semigroup which is not a group.

(xy

Thus S becomes a semigroup. Now we shall prove that S is right regular and right simple. Let us suppose xa ~ ya. Then for any uj-L , we can find an element % IL such that a( \ ) = t , since o a is an onto-map. Thus we have = (ya)( \ ) y(a( % )) =* y(u>) for any *J e L. that is, xa = ya It proves x = y, x s yo =

implies

Next we shall show the solubility of any equation ax =* b for arbitrary given two elements a, b from S. For each <* e > , we define , .

B -^

Let XI be an arbitrary denumerable set. Consider transformations x on i onto l such that every kernal has the cardinal ^ : For any u> * i>, x~'() = 0 ,

B =

BX

(disjoint union).

The possibility of this decomposition is certified by the denumerability of B and A,,, . Now define a transformation x on L into H by the following manners If 5 s Bco then x( 5 ) = ( t o e X L , /Au,;. For any e XI , there exists j(rl such that A w n . Then for any 6 B > , we have x ( | ) X . Thus x is an onto-map, i.e., x ( ) I And

is defined, and

- 90 -

b( * ) since |e B

c. B This shows

ax b. x H ( M = B / X has the cardinal ^ 0 for each *L Therefore x belongs to S Thus the proof of right simplicity of S is completedo The above discussion proves that the transformation semigroup S is right regular and right simple, but it can not be a group, for S has no unit element. Remark If a right simple semigroup S has the unit, then S is obviously a group* More generally if a right simple semigroup S has an idempotent element u, then we can prove that S satisfies the left regularity postulate I. Therefore S is decomposed in the following manner: S = G K R, : where G is isomorphic with Su which is the subgroup of S, and R is a right singular semigroup which is isomorphic with the subsemigroup made up of all idempotent elements of S. ([4]) j2. An example of a left regular and left simple semigroup which is not a group In this $2, we shall construct a semigroup which is left regular and left simple but is not a group, by considering some special transformations on an enumerable set. It is sufficient to consider the dual of the semigroup obtained in { 1, if the existence of such semigroup is only a matter of question. Nevertheless the example which follows has some interest of its own. Let XL be the same one defined in 1. This time let S be the totality of all one-to-one transformations x of SL into XL , such that the complement of the image of XL by x has cardinal $ o : - 91 implies

Since a is one-to-one into-map of SI , x())^y(ft) implies (ax)(w) * (ay)(* ), i.e., ax = ay implies X(UJ ) = y(^ ) for any u> e Si This shows x = y. Thus the left regularity is proved. Next we shall prove that 5 is left simple. Let a, b be any two elements of So Put k~ a(l), B-b(),

and the complement A or B is denoted by A1 or BJ. respectively. By definition, A = ^ Q , B = ^a. Decompose B 1 into two disjoint sets such that each part has the cardinal :

B = B, 5, Bx

B,

Let s( 1 ) is a one-to-one correspondence from A to B, Define a transformation x as follows: rb( 5 ) where to = a( 5 ), x( c )-} if c e A, u Cs(), f if c e A . u Then x i s a one-to-one transformation of JQ. into Si such that i^Tcl.) Si - ( B, v B) = 6 2 = *o . This shows that x belongs to S. The i d e n t i t y xa = b is immediately obtained.

It is trivial that S is not a group, for S has no idempotent element. $3 Another example of semigroup which is both left regular and left simple.

Proof of left simplicity of S. It is sufficient to show the solubility in S of the equation xf g for any two functions f, g from S. Consider the following function

:ji{,

J ^ 0 < .

if f(0) *

SL -(0, - ) .

And let S be the totality of a l l positive-valued strictly increasing continuous functions f defined on SL such that lira f ( ) Obviously f

c

f-C))

Then it is easy to prove that x belongs to Se And = g( ^ ) for any f lc This shows that xf g.

f(0),

Proof that S is not a group is obvious, for S has no idempotent element e References Bourbaki: Algebre, Chap l. Structure Algebriques pp 34-35 2c Huntington: Simplified definition of a group, Bull* of the Amer. Matho Soc. vol.8. (1901-2) pp296-300. 3o Tamura: On independency of Axioms (in Japanese) Sugaku Shij Danwa No. 2, (1951) ppo22-26. 4o Yamada, Tamura and Kimura: Regurality and Simplicity of Semigroups (not yet published) Mathematical Department Tokyo Institute of Technology. (*) Received October 12, 1954o le

Then 5 becomes a semigroup* Now we shall prove that S is left regular and left simple, but is not a group. Proof of left regularity of S If f g = f h in S, then for any uj-L , we have (fh)( and then

- Cal148 Differentiability of Functions of Two VariablesUploaded bymarchelo_chelo
- 2007_2008S6HyearlyPmath_1Uploaded byapi-3742735
- ijcai2017-peer-grading-appendix-Uploaded byapi-348764026
- 2009 Fryer SolutionUploaded byscribd-in-action
- 11 Are They Different or the Same Problem - NsIsomorphicUploaded byNora
- MA122 Midterm 2014W MockUploaded byexamkiller
- FEM-2018Uploaded byaarav aggarwal
- Vector and Scalar NumbersUploaded by나비김
- mod21Uploaded byFranklin feel
- Tutorial 1_Continuous Time ModelsUploaded bysaswatt
- limits power point edsc 304Uploaded byapi-238656830
- Vectors and Scalars PptUploaded byakshat kothari
- Calculus of Multivariable - Solved Assignments - Semester Fall 2007Uploaded byMuhammad Umair
- Math t1Uploaded bySAINS
- fractions_lesson1.pptUploaded byrkthurgah
- Functions of More Than One VariableUploaded byCarmela Marie Caldino Beloso
- Laboratory 3Uploaded bytsegay
- MC CountingHardUploaded byAnon
- Geomentry1 Basic TermsUploaded byabcSD
- Chapter 12.2 Displacement and ForcesUploaded byFrank Tai
- 05460728Uploaded byAmit Bansal
- Notes_29b Sect 8-3 Partial Fraction ExpansionUploaded bymail_krk
- Root Locus TechniqueUploaded byTammanurRavi
- QuantityUploaded bysgxrgsys
- wely's teorem.pdfUploaded byGeta Bercaru
- OR_ch7Uploaded bySalman NamLas
- On The BeastUploaded byClark Ken Bilo
- Number SeriesUploaded byAnonymous lt2LFZH
- Project Am PelajarUploaded byalonejo
- ADA Final Submission (ADA Programs)Uploaded byTB

- Algebraic Real Analysis (Article)Uploaded byTee Higgins
- On the Separator of Subsets of SemigroupsUploaded byTee Higgins
- Cosmic Distance LadderUploaded byjlavoya
- A Topological Method for 3D Image DetectionUploaded byTee Higgins
- 24798391-Numerical-Methods-Using-MATLAB-Mathews-and-Fink.pdfUploaded bysolman

- III Test DsaUploaded byRituparna Roy Chowdhury
- Point Set TopologyUploaded bykousiksett
- Theory of Computation Tutorial VUploaded bySurinder Singh
- Logic Gates projectUploaded byMomen Mostafa
- ISC Computer Science 2013 Solved PaperUploaded byPrem Shaw
- 1.pdfUploaded byEsbila Senthil
- Mcq in DAAUploaded bykamakshi2
- On Syntactic StructuresUploaded byRevisão Textual
- Cantor Theorem Not Applicable on GROTHENDIECK UNIVERSEUploaded byTheologyAndLogic
- 7.3Uploaded byHamid Ilyas
- Physics project-1 (1).pdfUploaded byChandru Elangovan
- Topics in Set Theory 2012-2013Uploaded byEric Parker
- J Van Bentham - Invariance and Definability - Two Faces of Logical Constants - In W. Sieg, R. Sommer, & C. Talcott, Eds., Ed.,.PsUploaded byCholo Mercado
- Tabla de IntegralesUploaded byBenhja
- Historia Numeros.pdfUploaded byDiego Benavides Vargas
- Relational Algebra CalculusUploaded byMinh_Tran_7326
- HW#1 WA Aaron GrayUploaded byAaron Mykel Gray
- Proof by InductionUploaded byWes Swinson
- Lesson 16Uploaded byGopal Shankar
- Graph TheoryUploaded byRanjith M Kumar
- Undergraduate ProbabilityUploaded byFernando Gonzalez
- 01 - CK - Formalisms and ConceptsUploaded byHassen Di Maria
- 46873101-PrologUploaded bytrevor13
- Are There True Contradictions? A Critical Discussion of Graham Priest's "Beyond the Limits of Thought"Uploaded byMontgelas
- Millewsky: What Are Algebraic DatatypesUploaded byLógica Usb
- Ian Hacking - What is LogicUploaded byМиња Суботар
- DS Q_AUploaded bymadhunath
- ppt Jurnal Bahasa InggrisUploaded byNovia Tegar Putri
- 1999_Rav_Why Do We Prove TheoremsUploaded bytsilimides1
- Linear Programming Through Solver Tool in ExcelUploaded byami402t