ι — Mathlib · SciLib

English

The canonical linear map from M to ExteriorAlgebra R M is the injection into the exterior algebra given by the Clifford algebra construction.

Русский

Каноническое вложение M в ExteriorAlgebra R M задаётся встроением через конструирование CliffordAlgebra.

LaTeX

$$ ExteriorAlgebra.ι R : M →ₗ[R] ExteriorAlgebra R M$$

Lean4

/-- The canonical linear map `M →ₗ[R] ExteriorAlgebra R M`.
-/
abbrev ι : M →ₗ[R] ExteriorAlgebra R M :=
  CliffordAlgebra.ι _

Похожие утверждения