Abstract:We examine the consequences of having a total division operation $\frac{x}{y}$ on commutative rings. We consider two forms of binary division, one derived from a unary inverse, the other defined directly as a general operation; each are made total by setting $1/0$ equal to an error value $\bot$, which is added to the ring. Such totalised divisions we call common divisions. In a field the two forms are equivalent and we have a finite equational axiomatisation $E$ that is complete for the equational theory of fields equipped with common division, called common meadows. These equational axioms $E$ turn out to be true of commutative rings with common division but only when defined via inverses. We explore these axioms $E$ and their role in seeking a completeness theorem for the conditional equational theory of common meadows. We prove they are complete for the conditional equational theory of commutative rings with inverse based common division. By adding a new proof rule, we can prove a completeness theorem for the conditional equational theory of common meadows. Although, the equational axioms $E$ fail with common division defined directly, we observe that the direct division does satisfies the equations in $E$ under a new congruence for partial terms called eager equality.

Sign properties and axiomatizations of the weighted division values

The Equal Surplus Division Value for Cooperative Games with a Level Structure

-equivalence classes, a new direction to find better weightwise perfectly balanced functions, and more

Notes on Equivalence and Minimization of Weighted Automata

On the Sign Changes in A Weighted Divisor Problem

A new approach to weighted Hardy-Rellich inequalities: improvements, symmetrization principle and symmetry breaking

Weighted Fairness Notions for Indivisible Items Revisited

Efficient Evaluations of Weighted Sums over the Boolean Lattice inspired by conjectures of Berti, Corsi, Maspero, and Ventura

Rings with common division, common meadows and their conditional equational theories

Tame maximal weights, relative types and valuations

Weighted Fair Division with Matroid-Rank Valuations: Monotonicity and Strategyproofness

New results on egalitarian values for games with a priori unions

A characterization of the Owen value via sign symmetries

Meadows and the equational specification of division

On the Weighted Top-Difference Distance: Axioms, Aggregation, and Approximation

Weighted Ehrhart Theory: Extending Stanley's nonnegativity theorem

Balanced measures, sparse domination and complexity-dependent weight classes

Weighted Brunn-Minkowski Theory II: Inequalities for Mixed Measures and Applications

Muckenhoupt Weights Meet Brezis--Seeger--Van Schaftingen--Yung Formulae in Ball Banach Function Spaces

THE NONEXISTENCE OF NEGATIVE WEIGHT DERIVATIONS ON POSITIVE DIMENSIONAL ISOLATED SINGULARITIES: GENERALIZED WAHL CONJECTURE