如何理解群表现？ 第1页
1
pu-jing-de-xiao-lao-da 网友的相关建议:
参考《近世代数引论》第4版 1.9 自由群和群的表现
每个群都同构于自由群的商群，即
自由群 由 生成，认为是已知的；如果了解 的结构，便可以在自由群的商群中研究
问： 是什么？
- 对于 中每一个元素 ， 中就有一个关系 ， 中有多少元素， 中就有多少关系。
- 引理：对于 ，且满足 是 中包含 的最小正规子群，有以下两点结论：Ⅰ 中任意元素均可由 在 中的全部共轭集合的元素运算出来；Ⅱ 中所有关系均可由 中元素给出的关系（定义关系集）推导出来。
- 的生成元系和定义关系集合在一起组成 的一个表现。
由上述3点可以看出， 的一个表现刻画了 ，进而刻画了 ，最终刻画了 。
网友的相关建议:
这样就可以用S里的所有元素写出这个群。在什么具体问题上有用处我也不大清楚，在理论问题上，比如证明模的张量积的存在性倒是要用群表现。
1
相关话题
如何证明Q[³√5]是域？一个UFD是PID的条件是什么?
Z^n的所有子群怎么求？
请问陪集、左陪集、商群、正规子群该如何理解？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
有没有对于各种榫卯结构，在数学上的研究?
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
为什么群元素要相乘，而不是其他运算呢？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何证明下面的群是奇数阶Abel群？
下一个讨论
请问为什么数学中不废除除号“÷”？
相关的话题
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？
O是八面体群，则SO(3)/O如何理解，有何意义？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
n整除Phi(p^n-1)，怎么证明？
如何利用群论的知识解决三阶魔方？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
如何把微信群/QQ群构造成一个阿贝尔群？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
剩余类环的所有理想怎么求？
如何正确理解群论中的同态基本定理？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
如何理解群表现？
为什么负负得正，正正不能得负？
勒让德多项式的意义？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
O是八面体群，则SO(3)/O如何理解，有何意义？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
有没有休闲级别、能读懂的讲「群论」的书籍？
请问费马大定理写成方程形式是否可以证明？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
关于p进数域？
如何把微信群/QQ群构造成一个阿贝尔群？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？