dbpedia-owl:abstract
|
- V teorii okruhů či obecněji v abstraktní algebře se okruhovým homomorfismem rozumí homomorfismus mezi dvěma okruhy. Je to tedy každá funkce mezi dvěma okruhy, která je slučitelná se sčítáním a násobením v okruzích, neboli taková funkce f : R → S, která splňuje: f(a + b) = f(a) + f(b) pro všechna a a b z R f(ab) = f(a) f(b) pro všechna a a b z Rkde (R,+,·) a (S,+,·) jsou řečené okruhy.Platí, že složení okruhových homomorfismů je opět okruhový homomorfismus, z čehož plyne, že třída všech okruhů tvoří kategorii s okruhovými homomorfismy coby morfismy.
|