Definition[change | change source]
A wheel is an algebraic structure satisfying(for all values , , and ):
- Addition and multiplication are commutative and associative, with and as their respective identities.
Wheels replace the usual division with a unary operator applied to one argument similar (but not identical) to the multiplicative inverse , such that becomes shorthand for . Also, replaces the fraction .
Sources[change | change source]
- Carlström, Jesper: Wheels – on division by zero . Mathematical Structures in Computer Science, 14(2004): no. 1, 143–184 (also available online here Archived 2011-07-21 at the Wayback Machine).
References[change | change source]