On morphisms of commutative monoids.

DOI10.1007/S00233-011-9349-ZMaRDI QIDQ444650zbMATH OpenOpenAlexFDO

Authors M. A. Moreno-Frías, J. I. García-García

Publication date 16 August 2012

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-011-9349-z

zbMATH Keywords

algorithmscancellative monoidscommutative monoidscongruencesfinitely generated monoidsmonoid morphismsmonoids of homomorphismsorderingspresentations

Mathematics Subject Classification ID

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

Review text

This paper gives tools to handle morphisms between commutative monoids. A morphism between commutative monoids is fully determined by the images of a set of generators of the domain. In the first section the converse situation is studied, that is, when an assignment of images of the generators of a commutative monoid yields a monoid morphism. Also, some relations between morphisms of commutative monoids and morphisms between their associated cancellative monoids are stated. The second section is devoted to finitely generated commutative monoids. From presentations of the domain and codomain of a monoid morphism, the authors give algorithms for computing a presentation of its image, determine if the morphism is injective and/or surjective. The last section gives a representation of the monoid of homomorphisms between finitely generated cancellative monoids in the case the codomain is cancellative. A procedure is presented to find a finite set of matrices with nonnegative integer coefficients that generate, modulo a certain known relation, an additive monoid isomorphic to \(\Hom(S,S')\) from a presentation of \(S\) and \(S'\). The manuscript under review contains many examples illustrating the algorithms presented.

Recommendations

• scientific article; zbMATH DE number 6083194
• On finitely generated submonoids of \(\mathbb{N}^ k\)
• Presentations of finitely generated cancellative commutative monoids and nonnegative solutions of systems of linear equations.
• PRESENTATIONS OF FINITELY GENERATED SUBMONOIDS OF FINITELY GENERATED COMMUTATIVE MONOIDS
• Hereditarily finitely generated commutative monoids

Cites work

• Arithmetical theory of monoid homomorphisms
• Comments on: Transversality of the Shapley value
• scientific article; zbMATH DE number 4218075 (Why is no real title available?)
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 1438385 (Why is no real title available?)
• PRESENTATIONS OF FINITELY GENERATED SUBMONOIDS OF FINITELY GENERATED COMMUTATIVE MONOIDS

Cited in

(14)

• Directed colimits of free commutative semigroups
• A combinatorial description of the monoid of linkings.
• Equalizers and kernels in categories of monoids
• On divisor-closed submonoids and minimal distances in finitely generated monoids
• Hereditarily finitely generated commutative monoids
• scientific article; zbMATH DE number 5896424 (Why is no real title available?)
• Rees quotients of numerical semigroups.
• On Abelian groups with commuting monomorphisms.
• On positive affine monoids.
• scientific article; zbMATH DE number 637490 (Why is no real title available?)
• scientific article; zbMATH DE number 2201894 (Why is no real title available?)
• SOLVABLE MONOIDS WITH COMMUTING IDEMPOTENTS
• scientific article; zbMATH DE number 2217322 (Why is no real title available?)
• A cohomology theory for commutative monoids.

This page was built for publication: On morphisms of commutative monoids.

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