Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学和算法 > 离散数学 > 群论 > RightCosetRepresentative >

RightCosetRepresentative

RightCosetRepresentative
返回 group 的群元与 g 的乘积的右陪集中的最小元素.
  • 该代表元选为陪集中由 Less 给出的排序所确定的最小元素.
陪集的代表元:
对于群中的一个元素,代表元是恒元:
陪集的代表元:
In[1]:=
Click for copyable input
Out[1]=
 
对于群中的一个元素,代表元是恒元:
In[1]:=
Click for copyable input
Out[1]=
计算右陪集的正则(canonical)代表元:
列出相应右陪集的所有元素:
最小元素是正则代表元:
一个右陪集的正则代表元的逆属于左陪集,但一般不是正则的.以一个置换和一个群为例:
这是此群元逆的左陪集:
右陪集正则代表元的逆属于该陪集,但不是正则代表元:
版本 8 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF