group theory 8 application
到现在为止都还没有发现群论的实际利用价值,那就用已经介绍过的概念来确定正边形的对称群
,正
边形有
个顶点,所以有一个群作用
,考虑旋转作用是可迁的,在考虑某个顶点的不动子群,其实就是
,也就是不动和反转。因此根据轨道和稳定子群可以发现
,把逆时针旋转的生成元记作
,保持顶点
不动的反射记作
,所以有生成关系:
,还可以注意到
或者写作
,现在的问题就是:
是不是等于
,而考虑到
实际上可以表示为
,注意到只需要利用公式:
,所以
恰好有
个元素,从而
刚好足够用于描述