Definition:*-Algebra Isomorphism

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {A, \ast}$ and $\struct {B, \diamond}$ be $\ast$-algebras.

Let $\phi : A \to B$ be an *-algebra homomorphism.


We say that $\phi$ is a $\ast$-algebra isomorphism if and only if $\phi$ is a bijection.


Sources