Dual Cardinals: An Involutive Extension of the Aleph Hierarchy

We extend the aleph hierarchy by adjoining, to each infinite cardinal ℵ_α, a formal multiplicative dual 0_α and a level-specific neutral residue c_α. The resulting structure C is a commutative idempotent semigroup with an involution σ exchanging ℵ_α ↔ 0_α and fixing c_α. The cancellation rule ℵ_α · 0_α = c_α reflects an elementary obstruction: in any associative monoid, idempotence and inverse-style cancellation to an identity are incompatible, so the product of an aleph and its dual cannot be a unity and must instead be a distinct residue. We describe the construction at the natural level of generality — the signed extension of an arbitrary linear order — and then specialize to the ordinals, where the residues c_α, recovered as the multiplicative norm N (x) = x · σ (x), admit interpretation in terms of cardinal arithmetic. Two independent extensions of C are available. Adjoining a unity 1 produces a monoid; this is a one-time move. Adjoining extremal symbols at level ∞ produces a bounded structure C*, which can be iterated indefinitely: the chain C* ⊂ C₁ ⊂ C₂ ⊂ ⋯ has no terminus, by a constructive no-maximum theorem proved within the algebra and independent of Cantor's set-theoretic argument. The asymmetry — unity adjoinable once, extremes adjoinable forever — is a structural feature of the construction. The construction does not contradict ZFC. The new elements are not cardinalities, in the same sense that 0. 5 is not a cardinality; they exist as adjoined elements of an explicitly constructed structure, the way an indeterminate exists in a polynomial ring. We show that C does not embed multiplicatively into Conway's surreals — cardinal idempotence is incompatible with field cancellation — but that the size order on C defaults to the surreal order via a natural map. Under the unification + = ·, subtraction and division collapse to a single involutive operation, making C* operationally minimal: the four classical arithmetic operations reduce to one binary operation and one involution.