A short proof of Rédei's theorem (Q1206793): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Property / author | |||
| Property / author: Pierre Antoine Grillet / rank | |||
| Property / author | |||
| Property / author: Pierre Antoine Grillet / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5331568 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 14:51, 17 May 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A short proof of Rédei's theorem |
scientific article |
Statements
A short proof of Rédei's theorem (English)
0 references
1 April 1993
0 references
Rédei's theorem states that the congruences on a finitely generated free commutative semigroup satisfy the ascending chain condition. The first short proof of this theorem was published by \textit{P. Freyd} [Proc. Am. Math. Soc. 19, 1003 (1968; Zbl 0191.01703)], it was based on the Hilbert Basis Theorem. The author's proof is based on \textit{L. E. Dickson}'s theorem [Am. J. Math. 35, 413-422 (1913; JFM 44.0220.02)]. The author mentions two other short proofs of Rédei's theorem.
0 references
congruences
0 references
finitely generated free commutative semigroups
0 references
ascending chain condition
0 references
