Attribution Non-Commercial (BY-NC)

30 views

Attribution Non-Commercial (BY-NC)

- Limits
- Algebra
- complex numbers answer key
- Binomial Expansion Practice Problems and Markscheme
- Prob and Stocastic Booksol
- handout for review of gr 8 l2
- Zero Divisor
- Seminar 3
- Set Theory
- 10 Maths Slow Learners 2 Watermark
- 2009_NOTES_1.4PYQS_1
- ShootingMethodTutorial
- Exam
- Embedded Assig.1.
- s090216'
- Frenet Formulas
- 1102.2707v2
- Artificial Intelligence Fyl
- Assignment 1
- The0ry of Number

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

- LimitsUploaded byMohamed ElHefnawy
- AlgebraUploaded byDeepak Kumar
- complex numbers answer keyUploaded byapi-232996589
- Binomial Expansion Practice Problems and MarkschemeUploaded byMohammed N Tarmal
- Prob and Stocastic BooksolUploaded byjonjones666
- handout for review of gr 8 l2Uploaded byapi-271045051
- Zero DivisorUploaded byAnonymous 0U9j6BLllB
- Seminar 3Uploaded bymchis687905
- 10 Maths Slow Learners 2 WatermarkUploaded byNirmal Kumar
- Set TheoryUploaded byKamal Lohia
- 2009_NOTES_1.4PYQS_1Uploaded bynayagam74
- ShootingMethodTutorialUploaded byashwin802
- ExamUploaded byNguyễn Tú
- Embedded Assig.1.Uploaded byashish
- s090216'Uploaded bylocatelli
- Frenet FormulasUploaded byalexandru_bratu_6
- 1102.2707v2Uploaded bynooblywojja2979
- Artificial Intelligence FylUploaded byShivani Katukota
- Assignment 1Uploaded byChen WeiJian
- The0ry of NumberUploaded byสนอง ห้วยเรไร
- Sub Procedures ExamplesUploaded byAshwini Kayastha
- Harmony South African Olympiad 2006Uploaded bySiddhartha Gupta
- 2013-2014-homework-alg.docUploaded bygregmcginnis
- 11 Maths Impq 08 Binomial TheoremUploaded byAnkit Tiwari
- Proof_of 4a2+b2Uploaded byAdarsh VR
- jozette roberts-lesson 1 matrices concept 1Uploaded byapi-403984108
- SGA OutputUploaded byBruno Santos de Miranda
- Linear Systems SummaryUploaded byFrantz Clermont
- Pointers Gr 9.docxUploaded byPatricia Ann Jacinto
- The number that tells the number of times the base is used as a factor is called.docxUploaded byDaisuke Inoue

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

- Curs_Java.pdfUploaded bycosstefan
- 1 HistoriaUploaded byfairon
- Fundamental Homomorphism Theorems for Neutrosophic Extended Triplet GroupsUploaded byMia Amalia
- spinorUploaded byFred Perry
- Neutrosophic Rings IUploaded byMia Amalia
- MainGokova.pdfUploaded bymiguelcachogomez
- Lp SpaceUploaded byDaniel Pires
- 13 ReferencesUploaded byJohn
- Nucl.Phys.B v.634Uploaded bybuddy72
- Basic Definitions - Groups, Rings, Fields, Vector SpacesUploaded byashishofb
- Infinite Series.docxUploaded byAvinash Singh
- Real AnalysisUploaded byabhishek
- so pig workerUploaded byEstefanía Barrionuevo
- Mathematics T Term 1 Exercise 2013Uploaded byPoypoy Poy
- Set3Uploaded byyogitha2792
- Fuchsian GroupsUploaded byJose Paternina
- Some Fixed Point and Common Fixed Point Theorems of Integral Expression on 2-Banach SpacesUploaded byIJSRP ORG
- Book of ProblemsUploaded byasdawanwuwi
- Gravitation, Gauge Theories and Differential GeometryUploaded byPaul Ramirez
- lunes2Uploaded byVictor Manuel Grijalva Altamirano
- SeqUploaded bySidharth Arya
- distrvo.pdfUploaded byIván Aveiga
- final.pdfUploaded byRaj Roy
- Thom - SignificanceUploaded byCJ Johnson
- fa.pdfUploaded byAnonymous UrVkcd
- Gartside - Brunnian LinksUploaded byLeo
- m54lecture14Uploaded byKhmer Cham
- Tensors SjN2Uploaded byrasgrn7112
- Lecture Notes in Lie Groups.pdfUploaded byHoang Bao Tran Tan
- TopUploaded bylandburender