共 50 条
Permutation Groups Generated by γ-Cycles
被引:0
|作者:
Diaconescu, Razvan
[1
]
机构:
[1] Romanian Acad, Simion Stoilow Inst Math, Bucharest 010702, Romania
来源:
关键词:
permutation groups;
experimental mathematics;
preordered algebra;
rewriting;
D O I:
10.3390/axioms11100528
中图分类号:
O29 [应用数学];
学科分类号:
070104 ;
摘要:
A gamma-cycle is a cycle of the form (i+1, i+2, ... , i+m) in the symmetric group S-n. We study the subgroups of S-n generated by several sets of gamma-cycles. Our mathematical development is strongly supported by computational experiments and proofs based on do-it-yourself programming with the logic-based language Maude.
引用
收藏
页数:16
相关论文