Okruhový homomorfismus

Technology
12 hours ago
8
4
2
Avatar
Author
Albert Flores

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 R

kde (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.

Vlastnosti

f(0) = 0 * f(−a) = −f(a) * Má-li a inverzní prvek vůči násobení v R, pak f(a−1) = (f(a))−1. Tedy f udává také grupový homomorfismus multiplikativní grupy jednotek z R do multiplikativní grupy jednotek z S. +more * Jádrem homomorfismu f, definovaným jako Ker(f) = {a in R : f(a) = 0} je ideál v R. * f je prosté zobrazení tehdy a jen tehdy, je-li ker(f) = {0}. * Obrazem f značeným Im(f) je nějaký podokruh S * Je-li f vzájemně jednoznačné zobrazení, pak inverzní zobrazení je také homomorfismus okruhů, zobrazení f se nazývá izomorfismus a o okruzích R a S se říká, že jsou izomorfní. * Z existence homomorfismu f plyne, že charakteristika okruhu S dělí charakteristiku okruhu R (to lze někdy využít pro snadný důkaz, že mezi nějakými okruhy nemůže existovat izomorfismus) * Pokud je R těleso, pak je f buď prostý homomorfismus, nebo zobrazuje všechny prvky na nulový prvek. * Pokud jsou R a S tělesa, pak obrazem homomorfismu je podtěleso * Pokud jsou R a S komutativní a S nemá dělitele nuly, pak je jádrem homomorfismu f prvoideál R. * Pokud jsou R a S komutativní, S je těleso a f je na, pak je jádro f maximální ideál R.

5 min read
Share this post:
Like it 8

Leave a Comment

Please, enter your name.
Please, provide a valid email address.
Please, enter your comment.
Enjoy this post? Join Cesko.wiki
Don’t forget to share it
Top