1. Trang chủ
  2. » Luận Văn - Báo Cáo

Nửa nhóm chính quy hoàn toàn luận văn thạc sĩ toán học

33 454 1

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 33
Dung lượng 1 MB

Nội dung

 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC VINH PHÍ VĂN THỦY NỬA NHÓM CHÍNH QUY HOÀN TOÀN   Nghệ An, 2012 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC VINH PHÍ VĂN THỦY NỬA NHÓM CHÍNH QUY HOÀN TOÀN   !"! #  Người hướng dẫn khoa học PGS.TS.LÊ QUỐC HÁN Nghệ An, 2012 $ MỤC LỤC %%!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! &'(!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! )*!+,-./!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!" !! 0123456372389:!0123452;<=6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!" !! >689123?@A2B@C22012345!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!D )*!EF'GH!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!0123456372389:3IJ2BIJ2!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!KL3M2B763NAL3OB!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!P !$!012345NAL3OB!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!" +!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!$ QF+R!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!$ " LỜI NÓI ĐẦU >620123456372389:S42;5TBU1AB@V8912B@W2;B@I2;NXB39:YB201 2345Z23<2;NOL20123452J:89>@T2;UJ@[B\34S]6B@<2;63^2;!_U`:Z 2;<aAB1SbB_56>632;3AC26c96>6NOL20123456372389:S]6dA?B;e2UOA 23453f223<20123452;<=6Z2012345I@B3IgIhiOA23j2;B3J23BK9SkB S<=6Ul201gJ2Z5TBNOL2012345NJ201gJ26>62012345Sf23IJ2BIJ2 S<=623Al9B>6;Am8912BM52;3AC26c9!OL20123452J:S<=6;WANJNOL201 23456372389:3IJ2BIJ2U1 n 6o2;UOA24ZNOL2012345NAL3OBpNJgJ26q1 6>62345r6s2;S<=6ht5huB!9`2Uv26q163^2;BwAgK1B@C269x2y>63 Fundamentals of Semigroup Theory6q1z!!I{Ath9[Bdm22v5PP#S|B_5 3A|9NOL2012345B@C2! 9M } 2Uv2;w n 56I ~ 31A63<f2;: 3<f2;B@_23dJ:S•232;3€120123456372389:Z20123452;<=6UJ 6>6B72363[B6q163^2;!19S463^2;BwAB@_23dJ:89123?@A2B@C22012345 UJ6>6D - NOL6372389:B@I2;2012345S|NJ56fy•B@_23dJ:63<f2;y19! 3<f2;B@_23dJ:S•232;3€120123456372389:3IJ2BIJ2UJ6>6S]6B@<2; 6q1NOL20123452J:p?23Sl!!r!19S463^2;BwAB@_23dJ:5xANAC2 8912;Aj120123456372389:3IJ2BIJ2UJ2012345Sf23IJ2BIJ2p?23Sl !!Z•23NX!!r!AYLB3tIZ63^2;BwAB@_23dJ:6>62012345NAL3OBUJ 6>6S]6B@<2;6q163^2;p•23NX!$!"r!‚3e269xA6q163<f2;B@_23dJ:5TByx NOL2012345UOASAl9\A?2:Y93f26q12012345NAL3OB23<201234563723 89:B@>AZ20123456372389:L3mAZ20123452012;9:C2Bx! 9`2Uv2S<=6B3K63A?2UJ3IJ2B3J23BkA@<a2;kA3W6A23!       3M2  g•L  2J:  B>6  ;Am  hA2  S<=6  dJ:  Bƒ  NV2;  dAYB  f2  yM9  y„6  SY2 ‚!CH9x6>2Z2;<aASb3<O2;g…2B>6;Am3IJ2B3J23N9`2Uv22J:! # >6;AmB@M2B@I } 2;61 † 5f2‚3I n 2;1 n IB1 } I19kA3W6@<f n 2;1 } A3I } 6 A236s2;23<6>6B3e:;A>IZ6w;A>IB@I2;39:C22;J23kAyxUJXB39:YB yxSbBkISAl9\A?2;A^LS‡UJ3<O2;g…2B>6;AmB@I2;89>B@_233W6B`LUJ3IJ2 B3J23N9`2Uv22J:! ]6goSb@[B6x;„2;ZyI2;N9`2Uv2\3w2;B3|B@>23\3ƒA23j2;B3AY9y4BZ 63^2;BwA@[B5I2;23`2S<=623j2;S42;;4L89Xd>96q16>6B3e:Z6w;A>IUJ 6>6dk2Sˆ2;2;3A?L! ;3?F2ZB3>2;‰2v5  >6;Am  CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ 1.1. Nửa nhóm chính quy, nửa nhóm ngược 1.1.1. Định nghĩa!‚3e2B0aB39T62012345SS<=6;WANJphần tử chính quy 2Y9a ∈ aSa31:24A6>63\3>6a = axaUOAx ∈ S.012345SS<=6;WANJchính quy2Y95ŠAL3e2B06q124NJ6372389:! Y9 axa = a B3_ e = ax NJ  5TB  Ns:  S‹2;Z  3f2  2j1 ea = a!  3`B  U`:Œ e 2 =(ax) (ax) = (axa)x = eUJea = axa = a!<f2;BKf = xa6s2;NJ5TBNs: S‹2;6q1S UJaf = a!16s2;63^X@•2;a NJL3e2B06372389:B39T62012345 SZB3_ASC1263723L3mAaS 1 = a ∪ aSyA23d•Aad•2;aSZU_a = af\uIB3tIa ∈ aS! <f2;BKS 1 a = Sa! 1.1.2. Bổ đề.Phần tử a thuộc nửa nhóm S là chính quy khi và chỉ khi iđêan chính phải (trái) của nửa nhóm S sinh bởi a sẽ được sinh bởi một lũy đẳng nào đó, tức là aS 1 = eS 1 (S 1 a = S 1 e). Chứng minh!Y9aNJ6372389:B3_axa = aUOAx2JIS4B39T6SUJe = axNJ L3e2B0Ns:S‹2;6q1 S5Jea = a!ŽIS4aS 1 = eS 1 ! mINkAZ;AmB3AYB@•2;aS 1 = eS 1 UJe 2 = e!+3AS4e = exUOAx2JIS4 B39T6SZU_U`:ea = e 2 x = ex = a, e = ayUOAy2JIS4B39T6S 1 2C2a = ea = aya! Y9y = 1B3_a = a 2 UJa = aaa!ŽIS45WAB@<a2;3=La ∈ aSaZBc6NJa63723 89:! 1.1.3. Định nghĩa. (Ar1AL3e2B0aUJbB39T62012345S S<=6;WANJngược nhau2Y9aba = aUJba b = b! pAAr012345SS<=6;WANJnửa nhóm ngược2Y95ŠAL3e2 B06q124645TBL3e2B02;<=6g9:23[B! Y9a UJbNJ6>6L3e2B0B39T623456I2BxASkAH2JIS46q15TB2012345SZ S]6dA?B\3ASNJ5TB2345B3_a, bNJ2;<=62319\3AUJ63•\3A63^2;NJ2;3•63 SmI6q12319B@I2;2345UOA2;3€1B3w2;B3<a2;! Y9L3e2B0aB39T62012345S64L3e2B02;<=6UOA24B3_aNJ6372389:! D 1.1.4. Bổ đề!Nếu a là phần tử chính quy thuộc nửa nhóm S, chẳng hạn axa = a với x ∈ S, thì a có ít nhất một phần tử ngược với nó, chẳng hạn phần tử xax. Chứng minhAmy0 b = xax!3YB3_ aba = a(xax)a = (axa)xa = axa = a! ŽIS4 b2;<=6UOAa. 1.1.5. Bổ đề!Hai phần tử thuộc nửa nhóm S là nghịch đảo của nhau trong một nhóm con nào đó của S khi và chỉ khi chúng ngược nhau và giao hoán với nhau. Chứng minh!Amy0aUJbNJ6>6L3e2B02;<=62319UJ;A1I3I>2UOA2319 B39T6  5TB  201  2345 S UJ e = ab(=ba). +3A  S4 e NJ  Ns:  S‹2;Z  3f2  2j1 ea =ae = a và eb = be = b!ŽIS4aUJbNJ6>6L3e2B0\3m2;3•63B@I2;eSeUJ B39T623456I2BxASkAH e 6q1S63c1e! _ab = ba = e2C2aUJbNJ2;3•63SmI6q12319B@I2;2345H e !?23 SlSmINJ3A|223AC2! TBL3e2B06372389:64B3|645TByxL3e2B02;<=6UOA24!012345 2;<=6NJ2012345B@I2;S45ŠAL3e2B0645TBL3e2B02;<=6g9:23[B!>62t •P#d‘;WA6>62012345S4NJ’2345y9:@T2;“!A?221:6>62012345 2;<=6N`LB3J23NOL6>620123456423Al9B@A|2UW2;23[B63IUA?62;3AC26c9 U_63^2;\3>;e26>62345! 1.1.6. Bổ đề! Nếu e, f, ef và fe là các lũy đẳng thuộc nửa nhóm S thì ef và fe ngược nhau. Chứng minh. 164(ef) (fe) (ef) = ef 2 e 2 f = ef.ef = (e f) 2 = ef. <f2;BK(fe)(ef)(fe) = fe! 1.1.7. Định lý!Ba điều kiện sau đối với nửa nhóm S là tương đương: (i) S chính quy và hai lũy đẳng bất kỳ của nó giao hoán với nhau (ii) Mỗi iđêan chính phải và mỗi iđêan chính trái của S có một phần tử sinh lũy đẳng duy nhất. (iii) S là nửa nhóm ngược (tức là mỗi phần tử thuộc S có một phần tử ngược duy nhất). ‰ Chứng minh!pAr ⇒ pAAr!3tI.”Sl!!Z5ŠAASC1263723L3mA6q1S647B23[B 5TBL3e2B0yA23Ns:S‹2;!AmB3AYB@•2;eUJfNJ6>6Ns:S‹2;6o2;yA23@15TB ASC1263723L3mABc6NJ eS = fS!+3AS4 ef = f UJ fe = e!3<2;B3tIpAr ef = fe 2C2e = f! pAAr ⇒ pAAAr!3tI.”Sl!!Z2012345S6372389:!3•6e263c2;5A23yK g9:23[B6q1L3e2B02;<=6!Amy0bUJc2;<=6UOAa!+3AS4aba = a, bab = b, aca = a, cac = c.•S4abS = aS = acS UJ Sba = Sa = Sca 2C2ab = ac UJba = capB3tIpAArr!ŽIS4b = bab = bac = cac = c! pAAAr ⇒ pAr!–—@J2;5TB20123452;<=6B3_6372389:!3•6V2L3mA63c2; Bƒ@•2;31ANs:S‹2;d[B\˜;A1I3I>2UOA2319!@<O63YBB1L3mA63c2;5A23 B763ef6q131ANs:S‹2; e UJf NJ5TBNs:S‹2;!3`BU`:Z;Amy0aNJL3e2B0 2;<=66q1ef!+3AS4 (ef)a(ef) = ef, a(ef)a = a!]Bb = ae! 3YB3_(ef)b(ef) = efae 2 f = efaef = ef UJ b(ef)b = ae 2 fae = aefae = ae = b. ŽIS4b6s2;NJL3e2B02;<=66q1efZ2C2B3tIB72363[BpAAArae = b = a. <f2;BK64B3|63c2;5A23@•2; fa = a!ŽIS4 a 2 = (ae)(fa) = a(ef)a = a. 3<2;5TBNs:S‹2;NJL3e2B02;<=6UOA6372324UJNkAgo2;SAl9\A?2pAAArB1 \YBN9`2a = ef!3<U`: efNJNs:S‹2;!.M:;Aa;Amy0eUJf NJ31ANs:S‹2;d[B \˜ZB3tISAl9U•163c2;5A23ZefUJfe6s2;Ns:S‹2;!3tI.”Sl!!63^2; 2;<=6  2319!  `: ef UJ fe Sl9  2;<=6 efZ  gI  S4 ef = fe!  1.1.8. Bổ đề!Đối với phần tử a, b tùy ý thuộc nửa nhóm ngược S có các hệ thức là (a -1 ) -1 = a và (ab) -1 = a -1 b -1 . Chứng minh!?B3c6B3c23[BNJ3A|223AC2!163c2;5A233?B3c6B3c31A!1 64(ab)(b -1 a -1 )(ab) = a(bb -1 )(a -1 a) b = a(a -1 a)(b -1 b)b = ab,(b -1 a -1 )(ab)(b -1 a -1 ) = b -1 (a -1 a)(bb -1 )a -1 = b -1 (bb -1 )(a -1 a)a -1 = b -1 a -1 . ŽIS4b -1 a ™ 2;<=6UOAab! 1.1.9. Bổ đề!Nếu e và f là các lũy đẳng của nửa nhóm ngược S thì Se ∩ Sf = Sef (= Sfe). P Chứng minh!Y9a ∈ Se ∩ SfB3_ae = af = a2C2aef = af = aUJU_U`:a ∈  Sef!mINkAZ2Y9 a ∈ Sef pš SferB3_ aef = afe = a B•S4 ae = af = aZ Bc6NJa ∈ Se ∩ Sf. 1.2. Các quan hệ Grin trên nửa nhóm 1.2.1. Định nghĩa!Amy0NJ5TB2012345!1S•232;3€16>689123?L, R, J y19SM:B@C2 a L b ⇔ S 1 a = S 1 b a R b ⇔ aS 1 = bS 1 a J b ⇔ S 1 aS 1 = S 1 bS 1 B@I2;S4S 1 a, aS 1 , S 1 aS 1 B<f2;c2;NJ6>6ASC1263723B@>AZ63723L3mAUJASC12 637236q1SS<=6yA23@1d•Aa! –—@J2;L, R, JNJ6>689123?B<f2;S<f2;B@C2S. f22j1ZL NJ5TBB<f2; S‹2;L3mAUJ R NJ5TBB<f2;S‹2;B@>AB@C2S. OA5ŠAa ∈ SZ\X3A?9L a , R a UJ J a B<f2;c2;UOA6>6L›NOLZR›NOLZJ›NOLB<f2;c2;63c1a! 1.2.2. Bổ đề!Các quan hệ L và R giao hoán với nhau và do đó quan hệ D = L o R = R o L là quan hệ tương đương bé nhất chứa L và R. Chứng minh. 163•6e263c2;5A23L o R ⊆ R o L. Amy0pa,br ∈ L o R. +3AS4Z Bˆ2BkAc ∈ S y1I63Ia L cUJcR b!3YB3_Bˆ2BkAu,v ∈ S 1 y1I63Ia = uc UJ b = cvZS]Bd= av = ucv = ub. _L NJB<f2;S‹2;L3mA2C2pa,c) ∈ L \uI B3tIpav, cv) ∈ L, 2;3€1NJpd,b) ∈ L. _ R NJB<f2;S‹2;B@>A2C2pc,b) ∈ R \uI B3tI(uc, ub) ∈ R, 2;3€1NJ(a,d) ∈ R. •(a,d) ∈ R UJ(d,b) ∈ L \uIB3tI(a,b) ∈ R o L UJgIS4L o R ⊆ R o L . D 63c1NOLa S<=6\X3A?9NJD a . 3^X@•2;L ⊆ J UJR ⊆ J 2C2 D ⊆ J, UJ24A6392;D ≠ J!OA5ŠAa ∈ S, B16431A\X3A?9B3<a2;go2;Jpa) NJASC12  63723yA23d•Aa, J (a) = S 1 aS 1 và J a NJB`LB[B6m6>6L3e2B0yA236q1J(a), 2;3€1 NJJ a 63723NJD›NOL63c1a. 1.2.3. Định nghĩa. H9123?HB@C2S S<=6h>6S•23d•AH = L ∩ R. OA5ŠAa ∈ S, \X3A?9H›NOL63c1a NJH a ! 1.2.4. Chú ý.1rR™NOLR UJL›lớp Lcủa nửa nhóm S giao nhau khi và chỉ khi chúng được chứa trong một D – lớp của S. 3`BU`:Œ;Amy0a ∈ RUJb ∈ L!+3AS4aDb \3AUJ63•\3ABˆ2BkAc ∈ Sy1I63I (a,c) ∈ R và (c,b) ∈ L. 3<2;SAl9S4B<f2;S<f2;UOASAl9\A?2 c ∈ R UJ c ∈ LZ2;3€1NJc ∈ R ∩ L!ŽIS4aDb \3AUJ63•\3AR ∩ L ≠ φ !]B\3>6Z@—@J2; aDb \3A UJ63•\3A6>6 D ›NOL63c1 R UJ L B@o2;2319!             dr|3_23g92;BxB3f2Ul6>6D›NOL6q12012345SZB1go2;3_23m23y19 SM:;WANJ’3TLB@c2;“!b:B<•2;B<=2;6>6L3e2B0B39T6DS<=6y„LB3J23 5TBdm2;63j23`B;Ax2;6>63TLgo2;S|y„LB@c2;Z5J6>6gV2;c2;UOA6>6 R›NOLZ6V26>66TBc2;UOA6>6L›NOL63c1B@I2;D!ŠAw6q13TLc2;N1 n 5TBH›NOL63c1B@I2;DZUJ63^XB@C263c2;BƒB@I2;3TL\3w2;64wB@x2; 2JI!1\3w2;;AmB3AYB@•2;6>6L3e2B0B39T66>6H›NOLS<=6y„L5TB6>63 S]6dA?B2JIS4!1yœB3[:2;1:@•2;6>6H›NOL63c1B@I2;D646o2;6[L! `:64B3|24A6>6w6q13TLB@c2;S<=6y„Ld•A5TByx;Ax2;23196>6L3e2B0 B39T62012345S! 6rY9a UJb NJ6>6L3e2B0B39T62012345S, B3_B164B3|UAYBJ a ≤ J b B@I2;B@<a2;3=LS 1 aS 1 ⊆ S 1 bS 1 , 2;3€1NJ\3Aa ∈ Jpb).H9123? ≤ NJ5TBB3cBKdT L3`2B@C2B`LJ›NOL6q1S! gr3^X@•2;5TB2012345SNJSf2B@>ApL3mAr\3AUJ63•\3A2463•;ˆ5 5TBL›NOLpR›NOLrUJ5TB2012345NJSf2\3AUJ63•\3A2463•;ˆ55TB

Ngày đăng: 20/12/2013, 22:01

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w