离散数学群的证明题a。{v1 v2 v3 v4}={v2 v1 v3 v4}b。{v1 v2 v3 v4}={v1 v2
1个回答

群是定义了二元运算的集合, 光给出元素是不行的.

这里的元素是置换, 有一个默认的运算是置换的复合.

有了运算, 封闭性就能直接验证, 不依赖结合律.

按照置换复合的定义, 可直接算得a·b: {v1 v2 v3 v4} → {v2 v1 v4 v3}不在集合{a, b, e}之中.

置换关于复合是满足结合律的, 4元置换全体构成群S4.

这三个元素属于S4, 结论也可以说是{a, b, e}不构成S4的子群(不封闭).

S4的包含a, b, e的最小子群就是{ab, a, b, e}, (ab = ba).

验证是子群只要验证对运算和取逆封闭.