Superalgebra

A superalgebra $𝑉$ over $𝕂$ $𝐾$ is a $ℤ 2$ -graded algebra #m/def/ralg

𝑉 = 𝑉 (0) \oplus 𝑉 (1) 𝑉 (𝑖) 𝑉 (𝑗) \subseteq 𝑉 (𝑖 + 𝑗)

i.e. an algebra split into even and odd pieces with a product respecting the grading.

#state/develop | #lang/en | #SemBr