Dual Number Meadows
The class of dual number meadows is introduced. By definition this class is a quasivariety. Dual number meadows contain a non-zero element the square of which is zero. These structures are non-involutive and coregular. Some properties of the equational theory of dual number meadows are discussed and an initial algebra specification is given for the minimal dual number meadow of characteristic zero which contains the dual rational numbers. Several open problems are stated.
Copyright (c) 2019 Jan Aldert Bergstra
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Authors retain copyright and, if appropriate, performance rights but licence the journal to publish submissions. The lead author confirms that the submission is bound by the CC Attributtion Share Alike 4.0 licence.