The initial meadows
Rings and Algebras
2008-06-16 v1
Abstract
A \emph{meadow} is a commutative ring with an inverse operator satisfying . We determine the initial algebra of the meadows of characteristic 0 and show that its word problem is decidable.
Cite
@article{arxiv.0806.2256,
title = {The initial meadows},
author = {Inge Bethke and Piet Rodenburg},
journal= {arXiv preprint arXiv:0806.2256},
year = {2008}
}
Comments
11 pages