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



如何理解群表现? 第1页

  

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

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

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

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

问: 是什么?

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

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


user avatar    网友的相关建议: 
      

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




  

相关话题

  G是一个单群,H<G,[G:H]<=4,证|G|<=3? 
  物理生如何系统地学习必要的群论? 
  抽象代数,如果G是一个奇数阶群,则G中的任何元都是一个唯一确定的元的平方,怎么证明,尤其是唯一性证明? 
  能否求出n次对称群中置换的最大阶? 
  如何证明实数域是最大的有序阿基米德域?(这是“完备性”的本质吗)? 
  高斯作出正 17 边形的依据是什么? 
  哪个整系数多项式方程的根是 √2 + √3 + √5,如何得到这个方程? 
  如何把微信群/QQ群构造成一个阿贝尔群? 
  如何证明 √2 + √3 + √5 是无理数? 
  如何证明下面的群是奇数阶Abel群? 

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





© 2025-01-30 - tinynew.org. All Rights Reserved.
© 2025-01-30 - tinynew.org. 保留所有权利