Definition:*-Subalgebra

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {A, \ast}$ be a $\ast$-algebra over $\C$.

Let $B \subseteq A$ be a self-adjoint subalgebra of $A$.


We say that $B$ is a $\ast$-subalgebra of $A$.


Sources