A.3.10 Normalization
The normalization will be computed for a reduced ring
. The
result is a list of rings; ideals are always called norid in the
rings of this list. The normalization of
is the product of
the factor rings of the rings in the list divided out by the ideals
norid .
|