We are often interested in the units of a ring because we want to be able to cancel in the same way as we are able to do in over the real numbers. This is an essential feature of solving for unknowns in equations (which is a focus in many courses you most likely have taken).
Proposition: Let and
. The residue class
is invertible in
if and only if
.
The proposition above gives us a way of determining if an arbitrary element is invertible. For example, consider the ring ,
The element is not invertible since
.
The element is invertible since
.
We can determine any unit in this way. Suppose I want to find all units of the ring, then I may do the following:
Step 1: List all positive integers less than .
Step 2: Note that
Therefore,
Note that determining the every unit for a larger ring such as
Exercises
Determine the units of
.
List all the integers from
Determine the units of
.
Determine the units of
Suppose that we additionally want to find the inverse of each invertible element in . We can test each unit with every other unit (including itself). To do this, we take the product of every pair of units and reduce modulo
until we obtain
, then we remove the pair from the list and continue.
The integers corresponding to units in are:
,
,
,
,
,
,
,
.
Therefore, the inverse of
Therefore,
Therefore, the inverse of
Therefore,
Therefore, the inverse of
Therefore, the inverse of
Exercises
Determine the units and their inverses of
.
List all the integers from
You may not be interested in every unit of a particular ring (especially for larger rings); however, you may want to determine if an element is invertible and find its inverse.
For example, is invertible in
?
Therefore,
Exercises
Find the inverse of
, if it exists.
Find the inverse of
, if it exists.
Find the inverse of
, if it exists.
Find the inverse of
, if it exists.