definition 15.49 $k$-trace

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on lemma 15.50 Every $k$-trace comes from a linear functional ¶
  • depends_on theorem A.64 Completeness of the factorised bilinear forms ¶
  • depends_on theorem 15.53 The factorised forms are exactly the balanced ones ¶
    • depends_on proposition 15.55 Completeness fails for $k\ge3$ ¶
  • depends_on theorem 15.54 Completeness in the bilinear case ¶
    • depends_on definition 15.66 Gram form of a functional ¶
      • depends_on corollary 15.70 Signature of the factorised form ¶
      • depends_on lemma 15.67 Multiplication is $B_{\psi}$-self-adjoint ¶
        • depends_on theorem 15.68 Positive Gram forms are positive sums of real characters ¶
      • depends_on theorem 15.68 Positive Gram forms are positive sums of real characters ¶ ↺