Adjoining a Unit

- Pure Mathematics -
Algebra Dictionary
A construction that embeds a nonunital algebraic structure (ring, algebra, or similar) into a unital one by formally adjoining a multiplicative identity element and extending the operations so that the new element acts as an identity.