𝕂-algebra

Subalgebra

A subalgebra 𝑊 of a algebra (𝑉, ⋅) is a vector subspace 𝑊 ⊆𝑉 that is closed under ( ⋅), #m/def/ralg i.e. 𝑊 ⋅𝑊 ⊆𝑊.

Specifications

• Lie subalgebra
• Unital subalgebra also demands the identity be included

#state/tidy | #lang/en | #SemBr