Results Glossary Entry Canonical mathematics The Boundary Ring (I.D19) is the τ-internal commutative ring on the K2 labelled boundary, with the split-complex scalars (D10) as its scalar algebra. The ring structure carries the polarity grading from Prime Polarity (T06) and is the subst…
Results · Mathematics Glossary · Definition MathG-D15-boundary-ring B_τ Canonical

Boundary Ring and Scalars

The Boundary Ring (I.D19) is the τ-internal commutative ring on the K2 labelled boundary, with the split-complex scalars (D10) as its scalar algebra. The ring structure carries the polarity grading from Prime Polarity (T06) and is the substrate on which the master constant ι_τ (D01) and the central theorem invariant (T04) live. With 15 incoming edges, it is the most-referenced algebraic-substrate definition in Book I.

Mathematics Glossary Primary: I.D19

τ-Definition

The Boundary Ring (I.D19) is the τ-internal commutative ring on the K2 labelled boundary, with the split-complex scalars (D10) as its scalar algebra. The ring structure carries the polarity grading from Prime Polarity (T06) and is the substrate on which the master constant ι_τ (D01) and the central theorem invariant (T04) live. With 15 incoming edges, it is the most-referenced algebraic-substrate definition in Book I.

Categorical invariant. A graded commutative ring B_τ with scalar algebra ℝ[j]/(j²−1), graded by Prime Polarity (T06), and equipped with the K2 boundary topology.

Primary registry anchor: I.D19

Supporting items: I.D20, I.T05, I.D18

τ-Derivation Chain

  1. I.K0 — Universe Postulate
  2. I.D20 — Split-Complex Scalars — scalar algebra
  3. I.T05 — Prime Polarity — grading
  4. I.D19 — Boundary Ring — graded commutative ring with split-complex scalars

Lean modules referenced: TauLib.BookI.Polarity.H4BoundaryAlgebra

Mathematical content

Definition B_τ
Definition

The Boundary Ring B_τ is a graded commutative ring with: (a) scalar algebra ℝ[j]/(j²−1); (b) grading by Prime Polarity {+, −, 0}; (c) addition and multiplication as expected; (d) equipped with the K2 boundary topology (a τ-Stone Space, D14).

Consequences:

  • Master constant ι_τ ∈ ℝ ⊂ B_τ (specifically in the polarity-0 component).
  • Central theorem rank-(3, 15) invariant ∈ B_τ (in calibrated split-complex codomain D09).
  • The framework's algebraic substrate — every τ-categorical algebra is a B_τ-module.

Lean Coverage

Status: Formalized

Module: TauLib.BookI.Polarity.H4BoundaryAlgebra

Lean kind: structure

Lean symbol: Tau.BookI.Polarity.boundaryRing

Cross-domain bridges

This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert