The additive theorem for 2-transitive Galois groups (Girstmair; Dixon, Theorem 1') and its representation-theoretic engine
Kernel-checked proofs, in Lean 4 + Mathlib, of the homogeneous case and, at the roots, of the printed form (relations with value in K), with coefficients in any field K of characteristic 0, of the additive theorem for 2-transitive Galois groups (Girstmair, Manuscripta Math. 39 (1982) 81-97, Proposition 4, Assertion 3, p. 86, for every field whose characteristic does not divide |G|; stated by J. D. Dixon, Acta Arith. 82 (1997) 293-302, as Theorem 1', p. 301, with its proof omitted), of its representation-theoretic engine (classical: Huppert, Endliche Gruppen I, p. 597, Satz 20.2, as cited by…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-30-000002
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-30-000002/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-30-000002/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'