*-álgebra

En matemáticas, más específicamente en álgebra abstracta, un *-álgebra (o álgebra involutiva) es una estructura matemática que consta de dos anillos involutivostiene la estructura de un álgebra asociativa sobreLas álgebras involutivas generalizan la idea de la conjugación en un sistema numérico, por ejemplo los números complejos y conjugación compleja, matrices sobre los números complejos y la conjugada traspuesta, y operadores lineales sobre un espacio de Hilbert y el Operador adjunto.Aun así, puede pasar que una álgebra no admite ninguna involución en absoluto., el cual es un antiautomorphism y una involución.De una forma más precisa, dadosx , y ∈se cumplen las condiciones[1]​ Esto también puede ser llamado como anillo involutivo o anillo con involución.Note que si el anillo tiene unidad multiplicativa, digamosElementos tales queson llamados auto-adjuntos.[2]​ También, es posible definir *-versiones de objetos algebraicos, como ideales y subanillos, con el requisito de ser *-invariante, por ejemplo sies un *-anillo, con una involución * que es una álgebra asociativa sobre un *-anillo conmutativoA menudo el anillocorresponde a los números complejos (conSigue de los axiomas que * en( λ x + μ y{\displaystyle x,y\in A\,\,{\text{ y }}\,\,\lambda ,\mu \in R.}es un homomorfismo de *-álgeras que es compatible con las involuciones de) = φ ( x{\displaystyle \varphi (x^{*_{A}})=\varphi (x)^{*_{B}}}son las involuciones de[2]​ No toda álgebra admite una involución (no trivial).Considerando las matrices 2×2 sobre los números complejos,podemos tomar la siguiente subalgebra:Cualquier antiautomorfismo no trivialpara cualquier número complejoLuego podemos ver que este antiautomorfismo falla en ser idempotente (esto es,de este modo concluimos queno admite involución alguna.