0 Up votes0 Down votes

30 views4 pagesJun 29, 2012

© Attribution Non-Commercial (BY-NC)

PDF, TXT or read online from Scribd

Attribution Non-Commercial (BY-NC)

30 views

Attribution Non-Commercial (BY-NC)

- Neuromancer
- The E-Myth Revisited: Why Most Small Businesses Don't Work and
- How Not to Be Wrong: The Power of Mathematical Thinking
- Drive: The Surprising Truth About What Motivates Us
- Chaos: Making a New Science
- The Joy of x: A Guided Tour of Math, from One to Infinity
- How to Read a Person Like a Book
- Moonwalking with Einstein: The Art and Science of Remembering Everything
- The Wright Brothers
- The Other Einstein: A Novel
- The 6th Extinction
- The Housekeeper and the Professor: A Novel
- The Power of Discipline: 7 Ways it Can Change Your Life
- The 10X Rule: The Only Difference Between Success and Failure
- A Short History of Nearly Everything
- The Kiss Quotient: A Novel
- The End of Average: How We Succeed in a World That Values Sameness
- Made to Stick: Why Some Ideas Survive and Others Die
- Algorithms to Live By: The Computer Science of Human Decisions
- The Universe in a Nutshell

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

- Grade 10 tn1.docxUploaded byChandra Sekar
- ScientiaMagna2no4-bookUploaded byAnonymous 0U9j6BLllB
- Smarandache Notions Journal, Vol. 13Uploaded bymarinescu
- Absolute Values and Inequalities.pdfUploaded byJenny
- Ansys Aqwa DragUploaded bypackya7191
- Assignment FileUploaded byprince
- Practice Midterm 2Uploaded byAhmad Imran Idzqandar
- 635Uploaded byAnonymous W70TzG8
- tasks-enUploaded byAndrei Florin
- JEE Main 2017 Solution Paper 1 Code DUploaded byShivamKumar
- Miscellaneous Mathematical Constants EtcUploaded byhascribd
- CBSE Class 8 Mathematics Ptactice Worksheet (4)Uploaded byradhai1
- Binomial TheoremUploaded byYogendraJadav
- Economic Load Dispatch Problem with Valve – Point Effect Using a Binary Bat AlgorithmUploaded byIDES
- Grade 10 Arithmetic Progressions Ae 1Uploaded byselva.uae8207
- Paper - Optimal Placement of PMUs Using Improved Tabu Search for Complete Observability and Out-Of-Step PredictionUploaded byAhmed Seddik
- Math PaperUploaded byDakota12345
- 4 maths msUploaded byAbhay Kaushal
- Tut3Uploaded byAhmad Abdullah
- Systems of Two Equations.pdfUploaded byRonnieMaeMaullion
- mathematical tools 1st test.pdfUploaded byAanchal Mittal
- APS 04 Azimuth and ElevationUploaded byadd313199
- 281Uploaded byjosefalgueras
- G SAT2Uploaded byPULKIT
- Design Optimition.pdfUploaded byHüseyin Kalkan
- Simplified Learning ModulesUploaded byJohanna Adremesin
- 30(B) (Mathematics)Uploaded bypaciffic
- JARED JOYAL Polygon Collision Code SampleUploaded byJared Joyal
- JEE Main Advanced 2014 Paper I Maths Paper Answer SolutionsUploaded byandhracolleges
- Assignment PigeonUploaded byCharan Kanwal Singh

- 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

- New Van Der Waals ForcesUploaded bySamer Ehab
- Tcg Sl&Lcca Report May2012 (1)Uploaded byTG Subramanya Prasanna
- Theory of Group Representations and ApplicationsUploaded bySally
- Multi Strategy-Game VersionUploaded byAvantika Dixit
- 750-pm001_-en-pUploaded byacenic
- Strength of in-Place ConcreteUploaded byIho1
- Using Decision Analysis to Value r and d ProjectsUploaded byrkarwal9
- bolas NSKUploaded byRodrigo Jechéla Barrios
- E.02.06. ODHR Guidelines.pdfUploaded bywfshams
- [CSE3003] DBMS Theory Assignment Week #2Uploaded byArun Kumar Singh
- Rm new vishal.docxUploaded byjay
- Photography for Beginners - Issue 24, 2013Uploaded byIvan Kirac
- HACCP in Hotel IndustryUploaded byseptianjian
- Hydraulic Turbine Laboratory Pelton WheeUploaded bykothandapani
- Firstnaukri End to End Campus Hiring Assistance - LT Technology Services.pptxUploaded bytestmailjob
- Cable TerminologyUploaded byസഞ്ജയ്
- Interpretive Dance Rubric n0crwk (3)Uploaded byArmel Perez
- 1112 HIS12 CM2 Jacob Neusner the Social Contract Between Teacher and StudentUploaded byMark Duethorn
- Stroboscopic EffectsUploaded bySylvester Delali Dordzi
- Build 141 30 Build Right Trimming StudsUploaded byJpver1000
- How PC Power Supplies WorkUploaded bysarahsurber
- case study - maple leaf foodsUploaded byapi-234802151
- Marine DieselUploaded byRoby Alamsyah
- activities for classUploaded byapi-370995601
- Series N45B-M1, LFN45B-M1 Installation InstructionsUploaded byWatts
- Brochure 10000VA Tower.pdfUploaded byIngeniumDem
- 1.5.SAP Work Center Capacity Tutorial - Free SAP PP TrainingUploaded byManickath Mani Nair
- MM Pressure Regulator Catalogue_E[1] 015-PCV-588Uploaded byDo Phan
- Millimeter Wave WirelessUploaded bySatadal Gupta
- SQM_EOT_V200R007_Acceptance_Guide_(VoLTE_Voice_Experience_Assurance_Solution).docUploaded byMohamedSalah

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.