Inversigebla elemento: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Oryanw (diskuto | kontribuoj) ŝati->kiel; ... |
Maksim (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 1:
{{polurinda movu|Unuo (ringa teorio)}}
En [[matematiko]], '''unuo''' en (
:''
kie 1<sub>''R''</sub> estas la multiplika [[identa ero]]. Tio estas, ''u'' estas ''inversigebla'' ero de la multiplika [[monoido]] de ''R''.
Bedaŭrinde, la termino ''unuo'' estas ankaŭ kutime uzata por nomi la identan eron 1<sub>''R''</sub> de la ringo, en esprimoj kiel ''ringo kun unuo'' aŭ ''unuobla ringo'', kaj ankaŭ ekz. ''
== Grupo de unuoj ==
La unuoj de ''R'' [[
En komuta _unital_ ringo ''R'', la grupo de unuoj ''U''(''R'') [[Grupa ago|(agas, operacias)]] sur ''R'' tra multipliko. La orbitoj de ĉi tiu ago estas nomitaj aroj de ''(asociitoj, asocianoj, kompaniano)''; en alia vortoj, estas [[ekvivalentrilato]] ~ sur ''R'' nomita ''
:''r'' ~ ''s''
Linio 20 ⟶ 21:
Oni povas kontroli, ĉu ''U'' estas _functor_ de la kategorio de ringoj al la [[kategorio de grupoj]]: ĉiu [[ringa homomorfio]] ''f'' : ''R'' → ''S'' konkludas [[grupa homomorfio]] ''U''(''f'') : ''U''(''R'') → ''U''(''S''), ekde ''f'' (mapoj, mapas) (unuoj, unuas) al unuoj. Ĉi tiu _functor_ havas restita adjunkto kiu estas la integrala [[Grupa ringo|grupa ringa]] konstruado.
Ringo ''R'' estas [[
== Ekzemploj ==
* En la ringo de entjeroj '''Z''', la unuoj estas ±1. La
*
* En la ringo ''M''(''n'','''F''') de ''n''×''n'' [[
[[Kategorio:Ringa teorio]]
[[Kategorio:Grupa teorio]]
[[en:Unit (ring theory)]]
|