Registry · Proposition
IV.P109
tau-effective
formalized
IV.P109 — No primitive mixing
No primitive mixing: alpha_s^* is distinct from alpha_em^* and alpha_wk^*; no tau-admissible endomorphism intertwines Fix(s) with Fix(EM) or Fix(wk), because the fixed-point subalgebras intersect only at iota_tau (which is not a derived coupling).
Book IV
Part 5
Ch. 42