如何理解群表现？ 第1页
1
pu-jing-de-xiao-lao-da 网友的相关建议:
参考《近世代数引论》第4版 1.9 自由群和群的表现
每个群都同构于自由群的商群，即
自由群 由 生成，认为是已知的；如果了解 的结构，便可以在自由群的商群中研究
问： 是什么？
- 对于 中每一个元素 ， 中就有一个关系 ， 中有多少元素， 中就有多少关系。
- 引理：对于 ，且满足 是 中包含 的最小正规子群，有以下两点结论：Ⅰ 中任意元素均可由 在 中的全部共轭集合的元素运算出来；Ⅱ 中所有关系均可由 中元素给出的关系（定义关系集）推导出来。
- 的生成元系和定义关系集合在一起组成 的一个表现。
由上述3点可以看出， 的一个表现刻画了 ，进而刻画了 ，最终刻画了 。
网友的相关建议:
这样就可以用S里的所有元素写出这个群。在什么具体问题上有用处我也不大清楚，在理论问题上，比如证明模的张量积的存在性倒是要用群表现。
1
相关话题
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
有哪些适合粒子物理方向的群论书籍？
如何证明dimQ（R）=dimQ（C）？
交换环的子环是否一定是交换环？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
下一个讨论
请问为什么数学中不废除除号“÷”？
相关的话题
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
一个UFD是PID的条件是什么?
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
如何把微信群/QQ群构造成一个阿贝尔群？
同调群在拓扑以外有什么应用？
O是八面体群，则SO(3)/O如何理解，有何意义？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
同调群在拓扑以外有什么应用？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
关于整矩阵的一道题怎么解?
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
为什么实系数多项式方程的虚数解总是成对出现？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
如何给高中生解释群论？
请列出一个最难相信但确实有根式解的一元五次方程？
114514 阶的群有哪几类？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
关于p进数域？
如何理解有限单群分类定理？
如何正确理解群论中的同态基本定理？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
怎么样通俗易懂地向小学生介绍群论的思想？