Totalizer and Equalizer in Modular Lattices

• Totalizer and equalizer operators are defined on complete modular meet-continuous lattices (idioms) to encapsulate closure, dimension, and length phenomena.
• The totalizer acts as a minimal inflator, using a step-function formulation at d(0) to sharply partition the lattice and dominate via right-composition.
• The equalizer is the largest idempotent inflator beneath a given operator, providing a universal right-inverse that clarifies closure properties in module-theoretic contexts.

A totalizer and an equalizer are two operators arising in the study of the lattice of inflators on a complete modular meet-continuous lattice, also referred to as an idiom. These operators encode universal properties connected to closure, dimension, and length phenomena in algebraic and order-theoretic structures. The totalizer delivers a minimal inflator that dominates via right-composition, while the equalizer is the maximal idempotent inflator beneath a given one, both providing deep insight into the internal architecture of idioms and related module-theoretic settings (Bárcenas et al., 2015).

1. Complete Modular Meet-Continuous Lattices and Inflators

Let $A=(A,\le,\bigvee,\bigwedge,0,1)$ denote a complete modular meet-continuous lattice (idiom). An inflator on $A$ is a monotone function $d\colon A\to A$ such that $a\le d(a)$ for all $a\in A$. The set of all inflators, $I(A)$, ordered pointwise, forms a complete lattice. Joins and meets are computed pointwise, and inflator composition gives $I(A)$ a (typically non-commutative) monoidal structure with identity $d_0(a) = a$ and greatest element $d_\top(a) = 1$.

Crucially, for any $d, d' \in I(A)$,

$A$0

These structures make $A$1 a fertile ground for abstract closure operators, dimension theory, and algebraic analysis.

2. Definitions and Characterizations of Totalizer and Equalizer

Given $A$2, two central subsets emerge: $A$3 Both are nonempty, containing $A$4 and $A$5 respectively. The equalizer of $A$6 is the join of $A$7,

$A$8

and the totalizer is the meet of $A$9,

$d\colon A\to A$0

By construction,

$d\colon A\to A$1

These operators serve, respectively, as a universal right-inverse and left-inverse up to the appropriate inflation properties.

3. Structural Properties and Universal Rules

The totalizer and equalizer operators obey several key relations for arbitrary $d\colon A\to A$2 and any nonempty family $d\colon A\to A$3:

• $d\colon A\to A$4
• $d\colon A\to A$5, $d\colon A\to A$6
• $d\colon A\to A$7
• $d\colon A\to A$8
• $d\colon A\to A$9 is idempotent: $a\le d(a)$0
• $a\le d(a)$1; $a\le d(a)$2 iff $a\le d(a)$3 is idempotent

Thus, $a\le d(a)$4 is the largest idempotent inflator beneath $a\le d(a)$5.

4. Concrete Description and Partitioning via Totalizers

The totalizer $a\le d(a)$6 has a precise step-function formulation: $a\le d(a)$7 Hence, $a\le d(a)$8. The totalizer acts as a sharp transition at $a\le d(a)$9, mapping all $a\in A$0 to $a\in A$1 and fixing others. Based on this, an equivalence relation $a\in A$2 is defined by $a\in A$3, partitioning $a\in A$4 into step-intervals: $a\in A$5 There is a bijection between totalizers in $a\in A$6 and such step-intervals.

5. Iteration, Length, and Dimension Connections

Transfinite iteration of an inflator produces closure operators. For $a\in A$7, consider: $a\in A$8 The closure $a\in A$9 allows the definition of $I(A)$0–length: $I(A)$1 has $I(A)$2–length iff $I(A)$3, equivalently, $I(A)$4.

Dimension is studied via stable inflators $I(A)$5. For $I(A)$6 and a second-level inflator $I(A)$7, $I(A)$8 has $I(A)$9–dimension if $I(A)$0. The following are equivalent:

1. $I(A)$1
2. $I(A)$2
3. $I(A)$3 has $I(A)$4–dimension

This framework connects operator iteration directly to length and dimension theoretic notions.

6. Module-Theoretic Applications: Gabriel Preradical and Strong Atomicity

A prominent application is in module theory, where for a ring $I(A)$5, the lattice of hereditary torsion theories $I(A)$6-tors is an idiom. The map

$I(A)$7

produces $I(A)$8 as a prenucleus. Here,

• $I(A)$9
• $d_0(a) = a$0 is idempotent $d_0(a) = a$1 iff $d_0(a) = a$2 has Gabriel dimension (or is left-semiartinian), with $d_0(a) = a$3 if and only if $d_0(a) = a$4 has Gabriel dimension, and $d_0(a) = a$5 iff $d_0(a) = a$6 is left-semiartinian

Strong atomicity in idioms is similarly characterized. For the socle inflator $d_0(a) = a$7,

$d_0(a) = a$8

7. Interpretive Significance and Operator-Theoretic Synthesis

The totalizer $d_0(a) = a$9 functions as a minimal “step-function” inflator encoding the threshold $d_\top(a) = 1$0 where inflation becomes universal, thus partitioning $d_\top(a) = 1$1 into intervals indexed by this critical level. The equalizer $d_\top(a) = 1$2 is the universal largest closure operator under $d_\top(a) = 1$3. The interplay of iteration ($d_\top(a) = 1$4), totalization, and equalization reflects how algebraic and order-theoretic properties manifest as length, closure, and dimension within the monoid $d_\top(a) = 1$5.

These operators thus provide unified frameworks for understanding closure, length, and dimensional phenomena in modular meet-continuous lattices and their module-theoretic parallelisms (Bárcenas et al., 2015).