Introduciremos, para usos futuros, la noción de norma de un elemento formula_44 de este anillo, que será el número real definido por formula_45