RightCosetRepresentative

RightCosetRepresentative[group,g]
返回 group 的群元与 g 的乘积的右陪集中的最小元素.

更多信息和选项更多信息和选项

  • 该代表元选为陪集中由 Less 给出的排序所确定的最小元素.

范例范例打开所有单元关闭所有单元

基本范例  (2)基本范例  (2)

陪集的代表元:

In[1]:=
Click for copyable input
Out[1]=

对于群中的一个元素,代表元是恒元:

In[1]:=
Click for copyable input
Out[1]=
2010年引入
(8.0)