Theorems · Definition · nonassociative algebras

LieModule.Cohomology.oneCochain

(R : Type u_1) →
  [inst : CommRing R] →
    (L : Type u_2) →
      [inst_1 : LieRing L] →
        [LieAlgebra R L] → (M : Type u_3) → [inst_3 : AddCommGroup M] → [Module R M] → Type (max u_2 u_3)

Lie algebra 1-cochains over L with coefficients in the module M.

Defined in

Mathlib.Algebra.Lie.Cochain

Cited by

9 results in Mathlib

Foundations

Depth 13 from the axioms · uses no axioms

Assumes

CommRingLieRingLieAlgebraAddCommGroupModule