... thuyết nửa nhóm: nửa nhóm, nửanhóm quan hệ tập, tương đẳng, tươngđẳngnửa nhóm, tươngđẳng sinh quan hệ cho trước, nửanhóm đầy đủ phép biến đổi tập Chương Các α - tươngđẳng α - nửanhóm Đây ... 1.1 Tươngđẳngnửanhóm 1.2 Nửanhóm đầy đủ phép biến đổi Chương CÁC α - TƯƠNGĐẲNGTRÊN CÁC α - NỬANHÓM 2.1 Nửanhóm TE ( X ) 2.2 α - tươngđẳng α - nửa ... Tương tự, Se gồm tất phần tử thuộc nửanhóm S nhận e làm đơn vị phải eSe tập tất phần tử thuộc S nhận e làm đơn vị hai phía Dễ thấy e S e = e S ∩ S e Vì eSe có đơn vị hai phía e nên eSe có nhóm phần...
... nửanhóm S TrênE xác định quan hệ ≤ cho e ≤ f ef = fe = e Thế ≤ thứ tự phận E ( gọi thứ tự phận tự nhiên E) Thật vậy, e ∈ E nên e2 = e, e ≤ e nên ≤ phản xạ Nếu e ≤ f f ≤ e ef = fe = e fe = ef ... nên e = f, ≤ phản xứng Nếu e ≤ f f ≤ G ef = fe = e gf = fg = f nên eg = (ef)g = e( fg) = ef = e ge = g(fe) = (gf )e = fe, e ≤ G nên ≤ bắc cầu Nếu S chứa phần tử zero e0 = 0e = với eE nên ≤ e ( ... chất mở rộng nhóm 2.1.10 Định nghĩa Nhóm G gọi có tính chất mở rộng tươngđẳng nhóm( Group congruence extension property – GCEP) tươngđẳngnhóm G mở rộng thành tươngđẳng G Vì nửanhómnhóm hữu...
... nửa dàn nửa dàn nửanhóm Archimede modul nửanhóm Archimede Rõ ràng Giả sử nửanhóm luỹ đẳng , với thuộc mà số nguyên dơng Thế Từ đó, Nh Suy nên , nghĩa là Archimede 18 Về tính nhất, giả sử nửa ... G.B Preston (1961-1967), The Algebraic theory of semirowps Vol I&II, Mathematical surveuys of the Amer Math Soc.7 [6] P M Higgins (1992), Techniques of semigroup theory, Oxford Univesity Prees [7] ... băng nửanhóm xác định cho với toàn cấu nửa lớp tơng đẳng hạt nhân Ker Đảo lại, l toàn cấu từ 14 nửanhóm lên băng ảnh ngợc nửanhóm phần tử hợp nửa dàn nửanhóm Chơng II Tơng đẳngnửa nhóm...
... b E ( S / ) Th thỡ theo B Lallement tn ti e, f E( S) cho a = e v b = f Khi ú ef, ef fe E( S) v l mt tng ng trờn E( S) nờn (ef) = (ef) .(ef) = (efef) Li vỡ = htr ( ) nờn (ef) = (efef) ... hai ly ng e v (af) a (ef) = a t d = ae Th thỡ: (ef) b (ef) = efae2f = efaef = ef b(ef)b = ae2fae = aefae = ae = b Do ú e cng l phn t ngc ca ef, nờn theo tớnh cht (iii) ae = b = a Tng t cú th ... cỏc nhúm 10 1.2.6 B Nu e, f , ef v fe l cỏc ly ng thuc na nhúm S thỡ ef v fe ngc Chng minh Ta cú: (ef )( fe)(ef ) = ef 2e f = effe = (ef ) = ef Tng t ( fe)( fe)( fe) = fe 1.2.7 nh lý Ba iu kin...
... ngợc ef Khi đó, (ef)a(ef) = ef, a (ef) a = a Đặt b = ae, (ef)b(ef) = eafe 2f = efaef = ef, b(ef)b = ae2fae = aefae =ae = b Do b phần tử ngợc ef Thế theo (iii) ta kết luận a = ef Nh vậy, ef lũy đẳng ... nghịch eSe thuộc nhóm tối đại He S chứa e Mệnh đề đảo hiển nhiên 1.2.4 Bổ đề Nếu e, f, ef fe phần tử lũy đẳngnửanhóm S ef fe ngợc 6 Chứng minh Ta có (ef)(fe)(ef) = ef 2e2 f = efef = (ef)2 = ef Tơng ... từ nửanhóm ngợc S vào nửanhóm P Nếu e E( P) -1 (e) nửanhóm ngợc S Chứng minh Nếu (x) = e = (y) (xy) = (x) (y) = e. e = e2 = e nên xy -1 (e) Do -1 (e) nửanhóm ngợc S Nếu x -1 (e) (x) = e...
... xng Ta li cú: nu ef = fe = e ef v v fe = ef = f f g thỡ nờn ef = fe = e eg = (ef ) g = e( fg ) = ef = e , ge = g ( fe) = ( gf )e = fe = e , ú phn i e= f v Do ú, gf = fg = f eg nờn: nờn bc cu. ... Gi s E l hp tt c cỏc tng ng ca na nhúm S Khi ú quan h xỏc nh trờn E bi : e f (e, f E ) nu ef = fe = e l mt th t b trờn E Chng minh Vỡ eE nờn e = e , ú ee nờn phn x Hn na, nu e f , f e thỡ ... (1995), The structure of commutative ideal semigroups, Semigroup Forum 50, 295-300 [5] K D Aucoin (1999), The structure of commutative semigroups with the ideal extention property, Semigroup Forum...
... = xe ; fx.ef fx = f xefx = fx , nghĩa x = (ef ) −1 = xe = fx Từ ∈ ES , nghĩa x = xe fx = x.ef x = x E S ef ∈ E S nửanhóm S Hơn e , f ∈ ES có ef , fe ∈ E S fe fe fe = fe fe = ( fe ) = fe , ... nữa, E S dàn nghĩa luỹ đẳng S giao hoán với Chứng minh Giả sử x = (ef ) −1 e, f ∈ ES Xét phần tử ngược (duy nhất) ef Thế ef = ef x.ef = ef xe.ef = ef fx.ef (vì e = e f2= f ) x xe.ef xe = xefxe ... ES e , f ∈ ES , giao hoán Thật vậy, ef fe.ef = ef ef = (ef ) = ef nghĩa fe = ( ef )−1 = ef 1.1.8 Định lý Giả sử S nửanhóm Khi điều kiện sau tương đương: i) S nửanhómngược ii) S quy luỹ đẳng...
... Lallement (1979), Semigroups and Combinatorial Applications, John Wiley and Sons, New York [7] M Petrich ( 1984) , Inverse Semigroups, Wiley, New York [8] N Ruskuc (1995), Semigroup Presentations, ... Thesis, University of St Andrews [9] N Ruskuc (1999), Presentations for Subgroups of Monoids, Journal of Algebra 220, 365 - 380 [10] B M Schein (1975), Free Inverse Semigroups are not finitely ... Lê thị hồng hạnh Chơng Nửanhóm ngợc tự Theo M Ptrich, nửanhóm ngợc tự đóng vai trò quan trọng nửanhóm ngợc 1.1 Xây dựng nửanhóm ngợc tự từ nửanhóm tự Giả sử S nửanhóm Một phần tử a S đợc...
... x n ) = ( x ) Kết phát biểu nửanhóm S ảnh đồng cấu nửanhóm từ, nửanhóm từ sở nửanhóm Mọi nửanhóm tùy ý đợc xây dựng nửanhóm từ 1.1.6 Định lý Đối với nửanhóm S, tồn bảng chữ A toàn cấu ... The word problem Ann of Math, 77, 16-32 [4] D J Collins (1969) Recursively enumerable degress and conjugacy problem Acta Math, 122, 115-160 [5] G HIGMAN (1961) Subgroups of finitely presented ... Định lý (Định lý Evans) Giả sử S nửanhóm đợc sinh tập đếm đợc Thế S nhúng đợc vào nửanhóm đợc sinh hai phần tử Chúng ta sử dụng kết quả: nửanhómđẳng cấu với nửanhómnửanhóm đầy đủ phép...
... Tris-HCl, EDTA (Ethylene diaminete traacetic acid), SDS (Sodium dodecyl sulfate: natri dodecyl sulfate), Buffer Dream, dNTP, MgCl2, Taq Dream, Agarose …(Ph l c 3) 10 c p m i công ty Fermentas cung ... t o gi ng tr ng, ñó RFLP (Restriction Fragment Length Polymorphism), RAPD (Ramdom amplified polymorphic DNA), SSR (Simple Sequence Repeats), STS (Sequence Tagged Site) ð i v i v t li u ch n gi ... M ñ u ð u tương (Glycine max (L.) Merrill.) m t nh ng tr ng có t lâu ñ i ð u tương thu c h ñ u Fabaceae, h ph Faboideae, t c Phaseoleae, t c ph Glycininae, chi Glycine Willd Glycine g m hai chi...