Registry · Proposition
II.P13
established
not_formalized
II.P13 — Character Decomposition
Every spectral character is idempotent-supported: there exist unique ring homomorphisms chi_+ and chi_- such that chi = e_+ chi_+ + e_- chi_-, with chi_+ determined by B-coordinate primes and chi_- by C-coordinate primes.