Definition
Given a ring with , is a (multiplicative) unit if there exists , such that .
Corollaries
- , is a group (where is the multiplication in ).
Given a ring (R,+,⋅) with 1R, u∈R is a (multiplicative) unit if there exists v∈R, such that uv=vu=1R.