证明：有限群的每个共轭类的元素个数是群阶数的因子
1个回答
展开全部
考虑有限群在自身上的共轭作用, 则每个共轭类是一个轨道.
每个轨道的长度都是群的阶数的因子, 这对有限群的群作用都成立.
如果对群作用不熟, 也可以这样考虑:
设群为G, 取定一个元素x∈G.
则G中满足g^(-1)xg = x的元素g构成了G的一个子群H(称为x的中心化子).
若y = a^(-1)xa, 可以验证y = g^(-1)xg当且仅当g∈H的右陪集Ha.
x所在的共轭类的元素一一对应于H的右陪集, 元素个数 = |G|/|H|, 是|G|的因子.
每个轨道的长度都是群的阶数的因子, 这对有限群的群作用都成立.
如果对群作用不熟, 也可以这样考虑:
设群为G, 取定一个元素x∈G.
则G中满足g^(-1)xg = x的元素g构成了G的一个子群H(称为x的中心化子).
若y = a^(-1)xa, 可以验证y = g^(-1)xg当且仅当g∈H的右陪集Ha.
x所在的共轭类的元素一一对应于H的右陪集, 元素个数 = |G|/|H|, 是|G|的因子.
追问
多谢啦！果然是高手，你的意思我大概明白了，我刚学群论，所以只能理解下边的那种解释，不过还有一个小疑问：若y = a^(-1)xa, 可以验证y = g^(-1)xg当且仅当g∈H的右陪集Ha.
这个命题的充分性很容易理解，不过必要性我暂时没想明白，即：若对于b不属于H的右陪集Ha，怎样证明b^(-1)xb一定不等于y?
追答
直接证明若b使b^(-1)xb = y, 则b∈Ha.
实际上, 设c = b·a^(-1), 由b^(-1)xb = y = a^(-1)xa, 有c^(-1)xc = x.
由H的定义, c∈H, 于是b = ca∈Ha.
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
