Grupový okruh je termín z matematiky, přesněji z abstraktní algebry, kterým se označuje okruh a zároveň modul vytvořený daným způsobem z libovolné dané grupy a okruhu.
Definice Pro zadanou grupu a zadaný okruh je grupový okruh definován takto: nosičem je množina všech zobrazení s konečným nosičem, přičemž jednotlivá zobrazení se tradičně zapisují jako formální lineární kombinace, tedy v podobě nebo . součet dvou prvků a je definován součtem jejich funkčních hodnot, tedy , respektive tradičním zápisem
násobení prvku skalárem z okruhu je definováno „standardně po složkách“, tedy , respektive tradičním zápisem
okruhové násobení prvků a je definováno
Literatura
Kategorie:Teorie okruhů