你说你看了群论，那来证明一道题（我刚看来的）：

集合S上二元运算/，满足下面两个条件：
1，存在S中的元素1，对于S中的两个元素a和b，当且仅当 a=b 时成立：a/b=1
2，对任何S中三个元素：a,b,c, 有 (a/c)/(b/c) = a/b

定义运算*，a*b = a/(1/b)
证明(S,*)构成群

【 在 ergodic 的大作中提到: 】
: 群论也是论
: 发自「今日水木 on PDVM00」
--
修改:jinbabawa FROM 24.203.11.*
FROM 24.203.11.*