Complex normed star modules and algebras #
Facts about star modules and star algebras over the complex numbers.
Main definitions #
Multiplication by -I as a real-linear equivalence between the skew-adjoint and self-adjoint
elements of a star module.
The imaginary part of an element of a star module, as a real-linear map.
The real part of an element of a star module, as a real-linear map. This is simply an
An element of a complex star module can be decomposed into self-adjoint "real" and