百科问答小站 logo
百科问答小站 font logo



如何理解群表现? 第1页

  

user avatar   pu-jing-de-xiao-lao-da 网友的相关建议: 
      

参考《近世代数引论》第4版 1.9 自由群和群的表现

每个群都同构于自由群的商群,即

自由群 由 生成,认为是已知的;如果了解 的结构,便可以在自由群的商群中研究

问: 是什么?

  1. 对于 中每一个元素 , 中就有一个关系 , 中有多少元素, 中就有多少关系。
  2. 引理:对于 ,且满足 是 中包含 的最小正规子群,有以下两点结论:Ⅰ 中任意元素均可由 在 中的全部共轭集合的元素运算出来;Ⅱ 中所有关系均可由 中元素给出的关系(定义关系集)推导出来。
  3. 的生成元系和定义关系集合在一起组成 的一个表现。

由上述3点可以看出, 的一个表现刻画了 ,进而刻画了 ,最终刻画了 。


user avatar    网友的相关建议: 
      

这样就可以用S里的所有元素写出这个群。在什么具体问题上有用处我也不大清楚,在理论问题上,比如证明模的张量积的存在性倒是要用群表现。




  

相关话题

  为什么实系数多项式方程的虚数解总是成对出现? 
  1×0=0 是因为 0 乘以任何数字都等于 0,还是因为 1 乘任何数字都等于那个数? 
  有没有证明某函数不存在初等表示的一般思路? 
  如何把微信群/QQ群构造成一个阿贝尔群? 
  如何证明实数域是最大的有序阿基米德域?(这是“完备性”的本质吗)? 
  任何Abel群都能在其上赋予乘法,使其变成含幺环吗? 
  负数与负数相乘为什么会得正? 
  为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了? 
  椭圆曲线群结构结合律证明有没有不爆算的巧妙证明? 
  有没有对于各种榫卯结构,在数学上的研究? 

前一个讨论
旅行中,你曾品尝过哪些令你一直念念不忘的当地美食?
下一个讨论
请问为什么数学中不废除除号“÷”?





© 2024-09-19 - tinynew.org. All Rights Reserved.
© 2024-09-19 - tinynew.org. 保留所有权利