How to check if a finitely generated commutative monoid is a principal ideal commutative monoid

DOI10.1145/345542.345655zbMath1326.20062MaRDI QIDQ3454776

José Carlos Rosales, Pedro A. García Sánchez, Juan Ignacio García García

Publication date: 26 November 2015

Published in: Proceedings of the 2000 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/345542.345655

zbMATH Keywords

algorithms; finitely generated commutative monoids; principal ideal monoids

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

20M12: Ideal theory for semigroups

20M14: Commutative semigroups

20M05: Free semigroups, generators and relations, word problems