A deterministic algorithm to decide if a finitely presented abelian monoid is cancellative

DOI10.1080/00927879608825809MaRDI QIDQ4370002zbMATHOpenAlexWikidataFDO

Authors J. M. Urbano-Blanco, José Carlos Rosales

Publication date 3 May 2000

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927879608825809

zbMATH Keywords

algorithmscommutative semigroupsfinite presentationscancellative monoidsfinitely generated commutative monoidsfinitely presented commutative monoids

Mathematics Subject Classification ID

Commutative semigroups (20M14) Free semigroups, generators and relations, word problems (20M05)

Recommendations

• Presentations of finitely generated cancellative commutative monoids and nonnegative solutions of systems of linear equations.
• Presentations of finitely generated cancellative monoids and natural solutions of linear systems of equations.
• PRESENTATIONS OF FINITELY GENERATED SUBMONOIDS OF FINITELY GENERATED COMMUTATIVE MONOIDS
• Presentations of cancellative monoids

Cites work

• scientific article; zbMATH DE number 3902926 (Why is no real title available?)
• scientific article; zbMATH DE number 42096 (Why is no real title available?)
• scientific article; zbMATH DE number 3445421 (Why is no real title available?)
• A superexponential lower bound for Gröbner bases and Church-Rosser commutative thue systems
• Cancellativity in finitely presented semigroups
• Function minimum associated to a congruence on integral \(n\)-tuple space
• Generators and relations of abelian semigroups and semigroup rings
• Rational sets in commutative monoids

Cited in

(13)

• Irreducible ideals of finitely generated commutative monoids
• Presentations of finitely generated cancellative monoids and natural solutions of linear systems of equations.
• Presentations of finitely generated cancellative commutative monoids and nonnegative solutions of systems of linear equations.
• A polynomial time algorithm to compute the Abelian kernel of a finite monoid
• The global determinism of finitely generated free Abelian monoid.
• Principal ideals of finitely generated commutative monoids
• ON PRESENTATIONS OF COMMUTATIVE MONOIDS
• On normal affine semigroups
• A cancellativity criterion for presented monoids
• Presentations of cancellative monoids
• Presentations for subsemigroups of finitely generated commutative semigroups
• scientific article; zbMATH DE number 6083194 (Why is no real title available?)
• On finitely presented, cancellative and commutative ordered monoids

This page was built for publication: A deterministic algorithm to decide if a finitely presented abelian monoid is cancellative

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4370002)