Given a commutative ring , a paraunital -algebra is a nonunital -algebra where there is an element and an involution such that for all . A paraunital -algebra is also called a paraunital ring.
A unital algebra is a paraunital algebra in multiple different ways:
where the element is given by the unit and the involution is given by the identity function .
where the element is given by the negation of the unit and the involution is given by negation
These were first defined in the specific context of composition algebras in the generalized Hurwitz theorem in Elduque 2021 but could be generalized from composition algebras to any -algebra.
This concept could be generalized from the category of -modules to any monoidal category:
A paraunital algebra object in a monoidal category is an object with morphisms , , and such that and the following diagrams commute:
where and are the left and right unitors of the monoidal category.
In the category of sets, paraunital algebra objects are called paraunital magmas, and in the category of abelian groups, paraunital algebra objects are called paraunital rings.
Last revised on October 4, 2023 at 15:18:14. See the history of this page for a list of all contributions to it.