← ACTM: Algebraic Combinatorial Transcendence Methodology / ACTM R04 · Structural classification of a hypothetical counterexample
Assuming a Four-Exponentials counterexample (a 'MID = 2' state): a, b and e^{g(a)}, e^{g(b)} (g ∈ PGL₂(Q)) are transcendental, trdeg Q(λ, a, b) ≥ 2, and the state is Type P (b a rational Möbius image of a; normal form λ, tλ, t²λ ∈ L_alg with t³λ ∉ L_alg, trdeg 2) or Type B (1, a, b, ab linearly independent over Q̄).
This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.
Loading…