Inverz

Iz MaFiRaWiki

(Razlika med različicami)
Različica od 22:45, 11 december 2005
AndrejBauer (Pogovor | prispevki)

← Prejšnja različica
Različica od 22:46, 11 december 2005
AndrejBauer (Pogovor | prispevki)

Naslednja različica →
Vrstica 11: Vrstica 11:
V kategoriji je inverz [[morfizem|morfizma]] ''f : A &rarr; B'' tak morfizem ''g : B &rarr; A'', da velja ''g f = 1<sub>A</sub>'' in ''f g = 1<sub>B</sub>''. Za zglede glej [[izomorfizem]]. V kategoriji je inverz [[morfizem|morfizma]] ''f : A &rarr; B'' tak morfizem ''g : B &rarr; A'', da velja ''g f = 1<sub>A</sub>'' in ''f g = 1<sub>B</sub>''. Za zglede glej [[izomorfizem]].
 +
 +[[Kategorija:Algebra]]
 +[[Kategorija:Pojmovnik]]

Različica od 22:46, 11 december 2005

Inverz v algebrski strukturi

Denimo, da je * operacija na množici A in e nevtralni element za to operacijo. Tedaj je 'inverz elementa x ∈ A glede na operacijo * tak element y ∈ A, da velja x * y = y * x = e. Če inverz obstaja, je enoličen in ga označimo z x-1.

Zgledi:

Inverz v kategoriji

V kategoriji je inverz morfizma f : A → B tak morfizem g : B → A, da velja g f = 1A in f g = 1B. Za zglede glej izomorfizem.

Osebna orodja