Hereditarily finitely generated commutative monoids (Q1965269)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hereditarily finitely generated commutative monoids |
scientific article |
Statements
Hereditarily finitely generated commutative monoids (English)
0 references
13 December 2000
0 references
A commutative monoid \(S\) is said to be an HFG monoid (for hereditarily finitely generated) if each submonoid of \(S\) is finitely generated. In this paper, the authors characterize when \(F/\sigma\) is an HFG monoid, where \(\sigma\) is a congruence on a finitely generated commutative free monoid \(F\). They also give an algorithm to determine, from a presentation of \(\sigma\), when \(F/\sigma\) is an HFG monoid. These results are then applied to the case where \(F/\sigma\) is a cancellative HFG monoid.
0 references
hereditarily finitely generated monoids
0 references
congruences
0 references
finitely generated commutative free monoids
0 references
algorithms
0 references
presentations
0 references
cancellative HFG monoids
0 references