2009/01/07 by J.A. Bergstra, J. A. Bergstra, Bergstra, J. A. +6
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topics in Algebra #FOS: Mathematics #Rings and Algebras (math.RA) #Rings, Modules, and Algebras #math.RA
paper · pdf · doi:10.48550/arxiv.0901.0803
arxiv created 2009/01/07 · openalex publication_date 2009/01/07 · arxiv updated 2009/12/01 · openalex created_date 2024/04/11 · openalex updated_date 2026/07/28
A skew meadow is a non-commutative ring with an inverse operator satisfying two special equations and in which the inverse of zero is zero. All skew fields and products of skew fields can be viewed as skew meadows. Conversely, we give an embedding of non-trivial skew meadows into products of skew fields, from which a completeness result for the equational logic of skew fields is derived. The relationship between regularity conditions on rings and skew meadows is investigated.