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