Hereditarily finitely generated commutative monoids (Q1965269): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q58843089, #quickstatements; #temporary_batch_1718132803760 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q58843089 / rank | |||
Normal rank |
Latest revision as of 21:07, 11 June 2024
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