设 [tex=2.5x1.214]fm3u6mHHN/USSaxljd4pq8DMINCtviGy8O6BRUk4hcY=[/tex].若 [tex=3.286x1.0]h7cmiE8SP6uy0hwjtDnsumIFAUuopHN3AnGOUVDOOzo=[/tex] 且 [tex=5.143x1.143]1aV5pT2bemB8SmV+0u1N3wo9pBi8RuqZCVCK9aaJ8BM=[/tex], 则是否必有 [tex=1.643x1.0]RwnHFD2h3O+/nKJSBjcBgQ==[/tex] ?[br][/br]
设 [tex=2.5x1.214]fm3u6mHHN/USSaxljd4pq8DMINCtviGy8O6BRUk4hcY=[/tex].若 [tex=3.286x1.0]h7cmiE8SP6uy0hwjtDnsumIFAUuopHN3AnGOUVDOOzo=[/tex] 且 [tex=5.143x1.143]1aV5pT2bemB8SmV+0u1N3wo9pBi8RuqZCVCK9aaJ8BM=[/tex], 则是否必有 [tex=1.643x1.0]RwnHFD2h3O+/nKJSBjcBgQ==[/tex] ?[br][/br]
证明一个交换幺半群若满足消去律（即从[tex=2.714x1.0]CAEeiIJoDgAojGwjBfaOoQ==[/tex]可推出[tex=1.643x1.0]RwnHFD2h3O+/nKJSBjcBgQ==[/tex]），则可嵌入到一个[tex=2.0x1.0]D410Ra7tSYZfMF6ZtYg2KA==[/tex]群中，此命题对满足消去律的交换半群成立吗？
证明一个交换幺半群若满足消去律（即从[tex=2.714x1.0]CAEeiIJoDgAojGwjBfaOoQ==[/tex]可推出[tex=1.643x1.0]RwnHFD2h3O+/nKJSBjcBgQ==[/tex]），则可嵌入到一个[tex=2.0x1.0]D410Ra7tSYZfMF6ZtYg2KA==[/tex]群中，此命题对满足消去律的交换半群成立吗？
1