od tbehounek » 12. 2. 2007 15:44
Všechny invertibilní prvky okruhu tvoří grupu, neboť je mezi nimi neutrální prvek (1),
asociativita operace násobení je zděděna po okruhu, existence inverzního prvku plyne z
definice, a součin dvou invertibilních prvků je opět invertibilní.
Všechny invertibilní prvky okruhu tvoří grupu, neboť je mezi nimi neutrální prvek (1),
asociativita operace násobení je zděděna po okruhu, existence inverzního prvku plyne z
definice, a součin dvou invertibilních prvků je opět invertibilní.