equation 5.29 eq:lin-indepli2

Rests on

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

Supports

• depends_on proposition 5.45 prop:lin-matrix-unique ¶
  • depends_on proposition 5.125 prop:lin-matrix-algebra ¶
    • depends_on corollary 5.168 cor:rep-adjoint-faithful ¶
    • depends_on definition 5.162 Representation of an algebra ¶
      • depends_on definition 5.163 Faithful, equivalent, invariant ¶
        • depends_on corollary 5.168 cor:rep-adjoint-faithful ¶ ↺
        • depends_on proposition 5.164 The kernel is an ideal ¶
      • depends_on proposition 5.167 Adjoint representation ¶
        • depends_on corollary 5.168 cor:rep-adjoint-faithful ¶ ↺
      • depends_on proposition 5.164 The kernel is an ideal ¶ ↺
    • depends_on definition 9.21 Matrix exponential ¶
      • depends_on proposition 9.22 The exponential and its derivative ¶
        • depends_on theorem 9.23 Solution of a constant-coefficient system ¶
    • depends_on proposition 5.139 Dimension of the symplectic group ¶
      • depends_on proposition 24.5 Properties of the symplectic group ¶
        • depends_on remark 24.6 Connectedness, and what it rests on ¶
        • depends_on remark 24.7 Contrast with the orthogonal group ¶
      • depends_on remark 22.21 The count ¶
  • depends_on proposition 5.51 prop:lin-matrix-inverse ¶
  • depends_on proposition 5.54 prop:lin-same-dim-isomorphic ¶
  • depends_on proposition 5.167 Adjoint representation ¶ ↺