definition A.62 Absolutely simple

Rests on

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

Supports

• depends_on lemma A.63 The invariant bilinear forms of an absolutely simple algebra form a line ¶
  • depends_on theorem A.64 Completeness of the factorised bilinear forms ¶
  • 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 ¶ ↺
• depends_on theorem A.64 Completeness of the factorised bilinear forms ¶ ↺