※ 引述《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