2007-09-25

[離散]第九章代數結構 9-2 精選範例 2

[離散]第九章代數結構 9-2 精選範例 2 p9-25
題目如下
Let G be a semigroup, for all a, b 屬於 G, ax=b and ya=b always have a common solution in G, prove G is a group

我的問題是
  • common solution 代表?
  • 解答中求出來的單位元素 代入題目 ax=b and ya=b 會變成 ae=b and ea=b 但一單位原宿性質來看不是應該為 ae=a and ea=a嗎?
麻煩了...

5 則留言:

Rex 提到...

我覺得common solution你可以想做是G"存在"兩個元素x,y使得"所有"的a,b屬於G,ax=b,ya=b

第二個問題,我想您誤會了題目的意思
題目沒定義它的operation,所以不會知道ae是等於b或ea是等於b
我猜您應該是卡在"存在"兩個元素x,y
既然不是for all,那麼ae和ea未必非等於b不可
只要另外在G中找x和y,讓ax=b ya=b即可

線代離散助教(wynne) 提到...
作者已經移除這則留言。
線代離散助教(wynne) 提到...

1.common solution應該不是存在x,y要滿足所有的a和b, 它是具相同解的意思, i.e.,ax=b,ya=b => x=y

2.題目所定義的a,b其實是G中"任意"元素的代號, 不是指單一個元素, 且它並沒有限定a不等於b, 也就是說當你證出了G具identity後, 將e=x=y代入後會得到b=a

Brian 提到...

感謝wynne~

Rex 提到...

謝謝wynne的指正~~