On morphisms of commutative monoids. (Q444650): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3848243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comments on: Transversality of the Shapley value / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetical theory of monoid homomorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3364262 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4951130 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PRESENTATIONS OF FINITELY GENERATED SUBMONOIDS OF FINITELY GENERATED COMMUTATIVE MONOIDS / rank | |||
Normal rank |
Latest revision as of 13:10, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On morphisms of commutative monoids. |
scientific article |
Statements
On morphisms of commutative monoids. (English)
0 references
16 August 2012
0 references
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.
0 references
commutative monoids
0 references
monoid morphisms
0 references
monoids of homomorphisms
0 references
cancellative monoids
0 references
congruences
0 references
presentations
0 references
orderings
0 references
finitely generated monoids
0 references
algorithms
0 references