如何理解群表现？ 第1页
1
pu-jing-de-xiao-lao-da 网友的相关建议:
参考《近世代数引论》第4版 1.9 自由群和群的表现
每个群都同构于自由群的商群，即
自由群 由 生成，认为是已知的；如果了解 的结构，便可以在自由群的商群中研究
问： 是什么？
- 对于 中每一个元素 ， 中就有一个关系 ， 中有多少元素， 中就有多少关系。
- 引理：对于 ，且满足 是 中包含 的最小正规子群，有以下两点结论：Ⅰ 中任意元素均可由 在 中的全部共轭集合的元素运算出来；Ⅱ 中所有关系均可由 中元素给出的关系（定义关系集）推导出来。
- 的生成元系和定义关系集合在一起组成 的一个表现。
由上述3点可以看出， 的一个表现刻画了 ，进而刻画了 ，最终刻画了 。
网友的相关建议:
这样就可以用S里的所有元素写出这个群。在什么具体问题上有用处我也不大清楚，在理论问题上，比如证明模的张量积的存在性倒是要用群表现。
1
相关话题
如何证明下面的群是奇数阶Abel群？减一个负数，为什么是加这个数的相反数呢？
如何证明Q[³√5]是域？
如何简要解释为什么五次多项式方程没有根式解？
如何直观地理解群论？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
一个UFD是PID的条件是什么?
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
叶戈罗夫定理的逆定理该怎么证明？
能否求出n次对称群中置换的最大阶？
下一个讨论
请问为什么数学中不废除除号“÷”？
相关的话题
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
关于p进数域？
剩余类环的所有理想怎么求？
在线性代数中如何用几何表示非方阵矩阵相乘？
有限维线性空间的有限是怎么理解？
有没有休闲级别、能读懂的讲「群论」的书籍？
如何直观地理解群论？
一个范畴问题?
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
有限维线性空间的有限是怎么理解？
如何证明任何有限域中的任何元素均可写成两数的平方和？
Z^n的所有子群怎么求？
如何把微信群/QQ群构造成一个阿贝尔群？
有没有对于各种榫卯结构，在数学上的研究?
如何证明 √2 + √3 + √5 是无理数？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
学习数论图论有必要先学抽代和高代吗？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
负数与负数相乘为什么会得正？
一个UFD是PID的条件是什么?
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
历史上，近世代数中环和域的概念是怎样逐步建立的？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？
如何证明这个群论问题？