RightCosetRepresentative

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

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

  • 该代表元选为陪集中由 Less 给出的排序所确定的最小元素.
2010年引入
(8.0)