※ 引述《migyo (掛........)》之銘言：
: 假設此群是well-defined
: 現有三元素 A女 B男 C女
: 由2. (A+B)+C = A+(B+C)
: 由1. A+B = B+A
: 所以 (A+B)+C = (B+A)+C = B+(A+C) = (A+C) +B
: 也就是說(A與B) C為第三者的麻煩和 (B與C) A為第三者的麻煩
: 和(A與C) B為第三者的麻煩相同
: 但(A女與C女) B男為第三者的麻煩 (需解釋)
: Claim that 一.如果 A,C為les. 則矛盾 => 此群不成立
我原則上同意你的推論。但若為Les，則這是否仍為典型「男女」模型呢？
Les本來就不屬於一般群，你拿一個Ｌspace的跟Ｍ space的來論證，
自是會有矛盾了。
故Les應是一個subspace而已。
: 二.如果 A,C有一為bi =>成立
: (推出細理: 若X,Y符合此群,則至少有一人為bi x,y可同為男或女)
: 二與加法單位元素矛盾 (0女友或0男友與單身不一定同樣)
: 若同時有著0女友與0男友 則違背零元素為unique
: 由以上各點得出 加法交換律與結合律互不成立
: 此群不成立
OK,這裡我寫得不嚴謹，應該要寫存在一個０伴侶使得有０伴侶與單身相同。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 124.8.154.155