如何理解群表现？ 第1页
1
pu-jing-de-xiao-lao-da 网友的相关建议:
参考《近世代数引论》第4版 1.9 自由群和群的表现
每个群都同构于自由群的商群，即
自由群 由 生成，认为是已知的；如果了解 的结构，便可以在自由群的商群中研究
问： 是什么？
- 对于 中每一个元素 ， 中就有一个关系 ， 中有多少元素， 中就有多少关系。
- 引理：对于 ，且满足 是 中包含 的最小正规子群，有以下两点结论：Ⅰ 中任意元素均可由 在 中的全部共轭集合的元素运算出来；Ⅱ 中所有关系均可由 中元素给出的关系（定义关系集）推导出来。
- 的生成元系和定义关系集合在一起组成 的一个表现。
由上述3点可以看出， 的一个表现刻画了 ，进而刻画了 ，最终刻画了 。
网友的相关建议:
这样就可以用S里的所有元素写出这个群。在什么具体问题上有用处我也不大清楚，在理论问题上，比如证明模的张量积的存在性倒是要用群表现。
1
相关话题
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
不使用范畴论，如何刻画一个线性映射是“自然”的？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
如何证明Q[³√5]是域？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
在线性代数中如何用几何表示非方阵矩阵相乘？
O是八面体群，则SO(3)/O如何理解，有何意义？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
叶戈罗夫定理的逆定理该怎么证明？
下一个讨论
请问为什么数学中不废除除号“÷”？
相关的话题
伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？如何直观地理解群论？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
高斯作出正 17 边形的依据是什么？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何证明下面的群是奇数阶Abel群？
如何利用群论的知识解决三阶魔方？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
在线性代数中如何用几何表示非方阵矩阵相乘？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
剩余类环的所有理想怎么求？
如何理解抽象代数的用途？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
如何证明这个群论问题？
伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
高等代数中线性变换的核的基怎么求？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
有没有证明某函数不存在初等表示的一般思路？
如何正确理解群论中的同态基本定理？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
如何证明Q[³√5]是域？