如何理解群表现？ 第1页
1
pu-jing-de-xiao-lao-da 网友的相关建议:
参考《近世代数引论》第4版 1.9 自由群和群的表现
每个群都同构于自由群的商群，即
自由群 由 生成，认为是已知的；如果了解 的结构，便可以在自由群的商群中研究
问： 是什么？
- 对于 中每一个元素 ， 中就有一个关系 ， 中有多少元素， 中就有多少关系。
- 引理：对于 ，且满足 是 中包含 的最小正规子群，有以下两点结论：Ⅰ 中任意元素均可由 在 中的全部共轭集合的元素运算出来；Ⅱ 中所有关系均可由 中元素给出的关系（定义关系集）推导出来。
- 的生成元系和定义关系集合在一起组成 的一个表现。
由上述3点可以看出， 的一个表现刻画了 ，进而刻画了 ，最终刻画了 。
网友的相关建议:
这样就可以用S里的所有元素写出这个群。在什么具体问题上有用处我也不大清楚，在理论问题上，比如证明模的张量积的存在性倒是要用群表现。
1
相关话题
李群的伴随表示如何理解？如何证明有理数加法群不是有限生成群？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
学习数论图论有必要先学抽代和高代吗？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
一个UFD是PID的条件是什么?
不使用范畴论，如何刻画一个线性映射是“自然”的？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
O是八面体群，则SO(3)/O如何理解，有何意义？
有没有休闲级别、能读懂的讲「群论」的书籍？
下一个讨论
请问为什么数学中不废除除号“÷”？
相关的话题
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?能不能定义一个数 I，与 0 的乘积等于 1？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
椭圆曲线群结构结合律证明有没有不爆算的巧妙证明？
如何把微信群/QQ群构造成一个阿贝尔群？
如何把微信群/QQ群构造成一个阿贝尔群？
如何利用群论的知识解决三阶魔方？
如何理解有限单群分类定理？
O是八面体群，则SO(3)/O如何理解，有何意义？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
如何证明任何有限域中的任何元素均可写成两数的平方和？
如何证明Q[³√5]是域？
交换环的子环是否一定是交换环？
交换环的所有零因子和 0 组成的集合是一个理想吗？
为什么感觉群论学起来比数学分析之类难好多？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
如何把微信群/QQ群构造成一个阿贝尔群？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
为什么感觉群论学起来比数学分析之类难好多？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
如何理解抽象代数的用途？
能否彻底从代数角度定义微分和积分？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？