II.D82 — L² Inner Product

L² inner product on Z/M_k Z: ⟨f,g⟩_k = (1/M_k) Σ f(x)g(x). Represented as rational pair. Symmetric, bilinear, with orthogonal indicator basis.