Eliminating a chosen summand [fdip-0020]

When some field values can be solved for, which equation remains on the others? A chosen partition gives one splitting of a field module. More generally, a specified split module and an invertible eliminated component determine a retained linear map. Triangular factorization explains its inverse and kernel before any pairing or probability law is chosen.

Perfect symmetric pairings turn this factorization into a congruence when the splitting is orthogonal. Positive real inner products then give the Schur positivity criterion, and cycle elimination makes the retained inverse comparison explicit. The later Gaussian elimination adds the measure and normalization needed to interpret a retained marginal.

How do we describe fields other than a distinguished solution? In the finite real specialization with counting inner product and symmetric positive-definite precision \(Q\), a source \(j\) singles out \(f=Q^{-1}j\), the unique solution of \(Qf=j\). Completing the square also makes it the minimizer of \(f^TQf-2j^Tf\). This extra positivity does not belong to the general ring-level elimination above. Even in this case, a solution does not specify probabilities for other fields. Statistical fluctuations require a law and the expected values of observables. The next chapter starts with a finite law; reference measure and Gaussian integrability later make that question precise for real-valued fields.