Matrike nad glavnimi kolobarji

Definirali bomo relacijo leve ekvivalence na matrikah, katerih elementi pripadajo nekemu glavnemu kolobarju. Poiskali bomo Hermitovo normalno formo in obravnavali njene posledice. We will define the left equivalence relation on matrices whose elements belong to a principal ideal ring. We will find the Hermite normal form and explore some of its consequences.