MATEMATIKA 1

Čas 3.

Čas 3. 19.–23. oktobar 2020. 1 / 43

Sadržaj

1 Algebarske operacije
Binarne operacije
Osobine binarne operacije
Jedinstvenost neutrala i inverznog elementa

2 Algebarske strukture
Algebarske strukture sa jednom operacijom
Podgrupa
Algebarske strukture sa dve operacije

3 Morfizmi
Homomorfizam, izomorfizam
Jezgro homomorfizma
Slika homomorfizma

Čas 3. 19.–23. oktobar 2020. 2 / 43

Binarna operacija

Definicija
Algebarska operacija skupa G, dužine
n, ili n-arna operacija skupa G je ma
koja funkcija f : Gn → G. Za n kažemo
da je arnost ili dužina operacije f .

Oznake: +, −, ·, ∩, ∪, ∧, ∨, ×, ◦, ∗, . . .

Jedna oznaka - više značenja:

- simbolom · označavamo proizvod brojeva, skalarni proizvod vektora,
množenje skalara i vektora,
- simbolom × označavamo vektorski proizvod vektora i Dekartov proizvod
skupova.
√
Unarne operacije (dužine 1): ¬p, Ac , z̄, xn , x...

Čas 3. 19.–23. oktobar 2020. 3 / 43

Binarna operacija

Elementi a ∈ G i b ∈ G kao ured̄en

par (a, b) odred̄uju, proizvode element
c ∈ G.
Pišemo
c = a ∗ b.

Definicija
Neka je G 6= ∅. Binarna operacija skupa G je svako preslikavanje
∗ : G × G → G.

Čas 3. 19.–23. oktobar 2020. 4 / 43

Binarna operacija

Primeri binarnih operacija i skupova na kojima su definisane:

Uobičajene operacije + (sabiranje), − (oduzimanje), · (množenje)

definisane na skupu realnih brojeva R.
Operacija · se najčešće ne piše, već se podrazumeva

a · b = ab.

Operacije ∧ (konjunkcija), ∨ (disjunkcija), ⇒ (implikacija), ⇔

(ekvivalencija) definisane na skupu iskaza.

Operacije ∪ (unija), ∩ (presek), \ (razlika) definisane na skupu P (A)

Čas 3. 19.–23. oktobar 2020. 5 / 43

Binarna operacija
Kompozicija ili slaganje funkcija ◦ na skupu S, gde je, na primer,
S = {f | f : R → R, f bijekcija }
S = {f | f (x) = ax + b, a 6= 0, a, b ∈ R}
S = {f | f (x) = ax, a 6= 0, a ∈ R}
S = {f | f (x) = x + b, b ∈ R}.

Dekartov proizvod × na skupu {Ak | k ∈ N}, A 6= ∅,

An × Am = An+m .

Operacija "nadovezivanje"(konkatenacija)
string1 + string2 = string3 .

Čas 3. 19.–23. oktobar 2020. 6 / 43

Binarna operacija

Sabiranje ured̄enih n-torki (a1 , . . . , an ), (b1 , . . . , bn ) ∈ Rn

(a1 , . . . , an ) + (b1 , . . . , bn ) = (a1 + b1 , . . . , an + bn ).

Sabiranje vektora

Čas 3. 19.–23. oktobar 2020. 7 / 43

Binarna operacija

Modularna aritmetika u skupu Zn = {0, 1, . . . , n − 1}

a +n b ≡n a + b
a ·n b ≡n a · b.

Primer:
+3 0 1 2
0 0 1 2
a +3 b ≡3 a + b
1 1 2 0
2 2 0 1

·3 0 1 2
0 0 0 0
a ·3 b ≡3 a · b
1 0 1 2
2 0 2 1

Čas 3. 19.–23. oktobar 2020. 8 / 43

Binarna operacija

Primena modularne aritmetike:

1 u računarskim naukama,
2 postupcima detekcije grešaka,

broj penzionog čeka 1234567861

| P {z }7
= 43
3 Uopštenje pojma brojanja kada imamo ograničen skup elemenata za
dodeljivanje,

Danas je utorak. Koji je dan u nedelji za 29 dana?

4 Prenumeracija realne prave cikličnim ponavljanjem 0 do n − 1

Kilometraža je data sa 5 cifarskih mesta. Prvi vlasnik je prešao 68578km,

drugi 74321km, treći 12234km. Brojač pokazuje 55133.

Čas 3. 19.–23. oktobar 2020. 9 / 43

Binarna operacija

binarna operacija ∗ skupa {a, b, c, d} zadata Kejlijevom tablicom

a∗a = a
a∗b = c
a∗c = d
..
.

Definicija
Algebarska struktura je ured̄en par (G, ∗), G 6= ∅.

Čas 3. 19.–23. oktobar 2020. 10 / 43

Najvažnije osobine poznatih operacija
Sabiranje Osobina
(∀a, b, c ∈ R) a + (b + c) = (a + b) + c asocijativnost
(∀a, b ∈ R) a + b = b + a komutativnost
(∃0 ∈ R)(∀a ∈ R) a + 0 = 0 + a = a neutralni element
(∀a ∈ R)(∃(−a) ∈ R) a + (−a) = (−a) + a = 0 inverzni element

Množenje Osobina
(∀a, b, c ∈ R) a · (b · c) = (a · b) · c asocijativnost
(∀a, b ∈ R) a · b = b · a komutativnost
(∃1 ∈ R)(∀a ∈ R) a · 1 = 1 · a = a neutralni element
(∀a ∈ R \ {0})(∃a−1 ∈ R \ {0}) a · a−1 = a−1 · a = 1 inverzni element

U nekim strukturama se neutralni element označava sa 0 ili 1, a inverzni

1
element sa (−a) ili a−1 . Pritom, a−1 ne treba obavezno poistovećivati sa .
a
Na primer, u slučajevima f −1 (x), A−1 i slično, radi se samo o oznaci.
Čas 3. 19.–23. oktobar 2020. 11 / 43
Osobine binarne operacije
zatvorenost
(∀a, b ∈ G) a ∗ b ∈ G,

Primer: 1) (∀n, m ∈ N) n + m ∈ N,
2) 2 − 3 ∈
/N

asocijativnost
(∀a, b, c ∈ G) a ∗ (b ∗ c) = (a ∗ b) ∗ c,

Primer: 1) (∀n, m, k ∈ N) (n + m) + k = n + (m + k),

2) (4 − 3) − 2 6= 4 − (3 − 2).

komutativnost
(∀a, b ∈ G) a ∗ b = b ∗ a,

Primer: 1) (∀n, m, k ∈ N) n + m = m + n,
2) 4 − 3 6= 3 − 4.
Čas 3. 19.–23. oktobar 2020. 12 / 43
Osobine binarne operacije

postojanje neutralnog (jediničnog) elementa e

(∃e ∈ G)(∀a ∈ G) a ∗ e = e ∗ a = a,

Primer: 1) (∃1 ∈ N) (∀n ∈ N) 1 · n = n · 1 = n,

2) (∃0 ∈
/ N) 0 + n = n + 0 = n.

ako u G postoji neutralni element e i ako

(∀a ∈ G)(∃a0 ∈ G) a ∗ a0 = a0 ∗ a = e,

kažemo da je a0 inverzni (suprotni) element za a ∈ G,

1 1 1
Primer: 1) (∀ x ∈ R \ {0}) (∃ x ∈ R \ {0}) x · x = x · x = 1,
2) (2 ∈ N) ( 21 ∈
/ N) 2· 1
2 = 1
2 · 2 = 1.

Čas 3. 19.–23. oktobar 2020. 13 / 43

Osobine binarne operacije

element a ∈ G je regularan ako važi

   
(∀b, c ∈ G) a∗b=a∗c ⇒ b=c ∧ b∗a=c∗a ⇒ b=c .

Važi: a ∈ G je regularan ako (∃a0 ∈ G) a ∗ a0 = a0 ∗ a = e.

Primer: 1) (∀x, y ∈ R) (2 · x = 2 · y ⇒ x = y), 2 jeste regularan u

odnosu na množenje realnih brojeva, možemo skratiti sa 2,
2) (∀x, y ∈ R) (0 · x = 0 · y ; x = y), 0 nije regularan u odnosu na
množenje realnih brojeva.

Čas 3. 19.–23. oktobar 2020. 14 / 43

Jedinstvenost neutrala i inverznog elementa

Teorema
Ako u (G, ∗) postoji neutralni element, onda je on jedinstven.

Dokaz: Neka su e, f ∈ G dva neutralna elementa u (G, ∗). Tada važi

e = e ∗ f = f.

Prva jednakost važi jer je f neutral, a druga zato što je i e neutral.

Čas 3. 19.–23. oktobar 2020. 15 / 43

Jedinstvenost neutrala i inverznog elementa

Teorema
Neka u (G, ∗) postoji neutralni element e i neka je ∗ asocijativna operacija.
Ako za element a ∈ G postoji inverzni element a0 ∈ G tada je on jedinstven.

Dokaz: Pretpostavimo suprotno, neka za a ∈ G postoje inverzni elementi

a0 , a00 ∈ G. Tada važi a ∗ a0 = |a0{z
∗ a} = e i |a ∗{za00} = a00 ∗ a = e,

a0 = a0 ∗ e = a0 ∗ (a ∗ a00 ) = (a0 ∗ a) ∗ a00 = e ∗ a00 = a00 .

Čas 3. 19.–23. oktobar 2020. 16 / 43

Inverzni element

Teorema
Neka u (G, ∗) postoji neutralni element e i neka je ∗ asocijativna operacija.
Ako su elementi a, b ∈ G invertibilni, tada su i elementi e, a ∗ b i a0 invertibilni i
važi
a) e0 = e, b) (a ∗ b)0 = b0 ∗ a0 , c) (a0 )0 = a.

Dokaz: a) Važi e ∗ e = e.

b) Na osnovu jedinstvenosti inverznog elementa dovoljno je da proverimo da

je b0 ∗ a0 inverzni za a ∗ b:

(a ∗ b) ∗ (b0 ∗ a0 ) = a ∗ (b ∗ b0 ) ∗ a0 = a ∗ e ∗ a0 = a ∗ a0 = e
(b0 ∗ a0 ) ∗ (a ∗ b) = b0 ∗ (a0 ∗ a) ∗ b = b0 ∗ e ∗ b = b ∗ b = e

c) Važi a ∗ a0 = a0 ∗ a = e, što se može shvatiti na način da je a inverzni

elementa za a0 , tj. (a0 )0 = a

Čas 3. 19.–23. oktobar 2020. 17 / 43

Algebarske strukture sa jednom operacijom

Definicija
Ako je ∗ zatvorena operacija u skupu G, algebarska struktura (G, ∗) je
grupoid.

Definicija
Ako je operacija ∗ asocijativna, za grupoid (G, ∗) kažemo da je polugrupa
(semigrupa).

Definicija
Ako u polugrupi (G, ∗) postoji neutralni element tada kažemo da je (G, ∗)
polugrupa sa jedinicom (monoid).

Primeri: 0 ∈ (N0 , +), 1 ∈ (N, ·).

Čas 3. 19.–23. oktobar 2020. 18 / 43

Algebarske strukture sa jednom operacijom
Definicija
Za grupoid (G, ∗) kažemo da je grupa ako su ispunjeni sledeći uslovi
1. operacija ∗ je asocijativna,
2. postoji neutralni element,
3. za svaki element postoji inverzni element.

Ponekad se izostavlja operacija i govori se o grupi G.

Primer
Rešavanje jednačine a ∗ x = b u grupi (G, ∗):

a∗x=b / ∗ a0 sleva,
0
∃a
⇔ a0 ∗ (a ∗ x) = a0 ∗ b
asoc.
⇔ (a0 ∗ a) ∗ x = a0 ∗ b
e
⇔ e ∗ x = a0 ∗ b
⇔ x = a0 ∗ b
Čas 3. 19.–23. oktobar 2020. 19 / 43
Algebarske strukture sa jednom operacijom
Definicija
Ako je operacija ∗ komutativna, za grupu (G, ∗) kažemo da je komutativna ili
Abelova grupa.

Teorema
Neka je (G, ∗) grupa. Važi
(G, ∗) je Abelova grupa ⇔ (a ∗ b)2 = a2 ∗ b2 .

Dokaz: Dokazujemo da je uslov komutativnosti ekvivalentan uslovu sa desne

strane

(a ∗ b)2 = a2 ∗ b2
⇔ (a ∗ b) ∗ (a ∗ b) = (a ∗ a) ∗ (b ∗ b) / asocijativnost
⇔ a ∗ (b ∗ a) ∗ b = a ∗ (a ∗ b) ∗ b / ∗ a0 sleva, ∗b0 zdesna,
⇔ (a ∗ a) ∗ (b ∗ a) ∗ (b ∗ b ) = (a ∗ a) ∗ (a ∗ b) ∗ (b ∗ b0 )
0 0 0

⇔ e ∗ (b ∗ a) ∗ e = e ∗ (a ∗ b) ∗ e ⇔ b∗a=a∗b
Čas 3. 19.–23. oktobar 2020. 20 / 43
Pregled algebarskih struktura sa jednom operacijom

Čas 3. 19.–23. oktobar 2020. 21 / 43

Primeri Abelovih grupa
−−→
(V0 , +) - skup vektora OM i operacija sabiranja vektora

Asocijativnost Komutativnost

Suprotni element
Čas 3. 19.–23. oktobar 2020. 22 / 43
Primeri Abelovih grupa

(R \ {1}, ∗), gde je x ∗ y = xy − x − y + 2.

Rezultat: Neutral: e = 2. Inverzni element: x0 = x
x−1 .

(Z3 , +3 ), (Z3 \ {0}, ·3 )

+3 0 1 2 ·3 0 1 2
0 0 1 2 0 0 0 0
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1

Da li je (Z4 \ {0}, ·4 ) grupa?

·4 0 1 2 3
0 0 0 0 0
1 0 1 2 3
2 0 2 0 2
3 0 3 2 1

Čas 3. 19.–23. oktobar 2020. 23 / 43

Podgrupa
Definicija
Neka je (G, ∗) grupa i neka je H ⊆ G. Ako je (H, ∗) grupa, tada tu grupu
nazivamo podgrupom grupe (G, ∗).

({e}, ∗) i (G, ∗) su trivijalne

podgrupe grupe (G, ∗)

Teorema
Neka je (G, ∗) grupa i neka je H ⊆ G. Ako za sve elemente skupa H važi
1. ako su a, b ∈ H tada je a ∗ b ∈ H,
2. ako je a ∈ H tada je a0 ∈ H,
tada je (H, ∗) podgrupa grupe (G, ∗).
Čas 3. 19.–23. oktobar 2020. 24 / 43
Podgrupa

Dokaz: Dokazaćemo da pod navedenim uslovima važe i ostale osobine

grupe.
Zatvorenost sledi direktno iz osobine 1.
Asocijativnost važi jer su a, b, c ∈ H ⊆ G, a G je grupa i važi

a ∗ (b ∗ c) = (a ∗ b) ∗ c.

U G postoji neutralni element e za koji važi relacija

a∗e=e∗a=a ∀a ∈ G

pa će važiti i za a ∈ H ⊆ G. Treba pokazati da je e ∈ H:

2. 1.
(a ∈ H ⇒ a0 ∈ H) ⇒ e = a ∗ a0 ∈ H.
Inverzni element za a ∈ H postoji (G grupa) i nalazi se u H na osnovu
osobine 2.

Čas 3. 19.–23. oktobar 2020. 25 / 43

Primeri podgrupa

Čas 3. 19.–23. oktobar 2020. 26 / 43

Primeri podgrupa

Čas 3. 19.–23. oktobar 2020. 27 / 43

Podgrupa

Da li je ({(a, b, 1) | a, b ∈ R}, +) podgrupa u (R3 , +)?

Da li je ({(a, a, a) | a, b ∈ R}, +) podgrupa u (R3 , +)?

Da li postoji podgrupa grupe (Z5 \ {0}, ·)?

·5 0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 2
3 0 3 1 4 2
4 0 4 3 2 1

Čas 3. 19.–23. oktobar 2020. 28 / 43

Distributivnost

Neka su ∗ i ◦ binarne operacije skupa G 6= ∅.

Možemo govoriti o (G, ∗), (G, ◦), ali i o (G, ∗, ◦).

Definicija
Kažemo da je binarna operacija ◦ distributivna u odnosu na binarnu
operaciju ∗ ako važi

(∀a, b, c ∈ G) a ◦ (b ∗ c) = (a ◦ b) ∗ (a ◦ c), (a ∗ b) ◦ c = (a ◦ c) ∗ (b ◦ c).

Primer: Množenje realnih brojeva je distributivna operacija u odnosu na

sabiranje
a(b + c) = ab + ac, (a + b)c = ac + bc.
Obrnuto, sabiranje u odnosu na množenje nije distributivno.

Čas 3. 19.–23. oktobar 2020. 29 / 43

Algebarske strukture sa dve operacije
Neka su ∗ i ◦ binarne operacije skupa G 6= ∅.

Definicija
Algebarska struktura (G, ∗, ◦) je prsten ako važi:
1. (G, ∗) je komutativna grupa,
2. operacija ◦ je asocijativna,
3. operacija ◦ je distributivna u odnosu na operaciju ∗.

Primer: (Z, +, ·) je komutativan prsten sa jedinicom.

Definicija
Prsten (G, ∗, ◦) je telo ako je
- (G \ {e}, ◦) grupa,
gde je e neutralni element u odnosu na operaciju ∗.

Čas 3. 19.–23. oktobar 2020. 30 / 43

Algebarske strukture sa dve operacije

Definicija
Prsten (G, ∗, ◦) je polje ako je

- (G \ {e}, ◦) je Abelova grupa,

gde je e neutralni element u odnosu na operaciju ∗.

Primeri polja: (Q, +, ·), (R, +, ·), (C, +, ·).

Čas 3. 19.–23. oktobar 2020. 31 / 43

Rešavanje jednačine

Primer
Primer: Neka je (M, +, ·) telo i E neutralni element za operaciju ·. Odrediti
rešenje jednačine
AX + X = B, A, B, X ∈ M.
Rešenje:

AX + X = B,
⇔ (A + E)X = B / · (A + E)−1 sleva,
⇔ (A + E)−1 (A + E)X = (A + E)−1 B
⇔ EX = (A + E)−1 B
⇔ X = (A + E)−1 B

Napomena: U telu operacija · nije komutativna. Ne važi:

X(A + E) = B, X = B(A + E)−1 .

Čas 3. 19.–23. oktobar 2020. 32 / 43

Primer polja

(R2 , +, ·) je polje, gde su operacije + i · definisane sa

(a, b) + (x, y) = (a + x, b + y)
(a, b) · (x, y) = (ax − by, ay + bx).

Proverom utvrd̄ujemo:
1. (R2 , +) je Abelova grupa,
2. (R2 \ {(0, 0)}, ·) je Abelova grupa,
3. · je distributivna u odnosu na +.
Napomena: Operacija · definisana sa

(a, b) · (x, y) = (ax, by)

nije zatvorena u skupu R2 \ {(0, 0)}.

Čas 3. 19.–23. oktobar 2020. 33 / 43

Morfizmi

Definicija
Za preslikavanje f : G1 → G2 , gde su (G1 , ∗) i (G2 , ◦) grupe kažemo da je
homomorfizam grupe G1 u grupu G2 ako važi

(∀a, b ∈ G1 ) f (a ∗ b) = f (a) ◦ f (b).

Čas 3. 19.–23. oktobar 2020. 34 / 43

Morfizmi
Definicija
Neka su (G1 , ∗) i (G2 , ◦) grupe. Preslikavanje f : G1 → G2 je izomorfizam
grupe G1 na grupu G2 ako je f homomorfizam i bijekcija.

Primer: f (x) = ln x je izomorfizam grupe (R+ , ·) na (R, +):

f (x · y) = ln(x · y) = ln x + ln y = f (x) + f (y).

Teorema
Ako je preslikavanje f izomorfizam grupe (G1 , ∗) na grupu (G2 , ◦), tada je
inverzno preslikavanje f −1 izomorfizam grupe (G2 , ◦) na grupu (G1 , ∗).

Primer: f −1 (x) = ex je izomorfizam grupe (R, +) na (R+ , ·):

f −1 (x + y) = ex+y = ex · ey = f −1 (x) · f −1 (y).

Čas 3. 19.–23. oktobar 2020. 35 / 43

Morfizmi

Definicija
Homomorfizam f : G → G grupe (G, ∗) na samu sebe nazivamo
endomorfizam.

Definicija
Izomorfizam f : G → G grupe (G, ∗) na samu sebe nazivamo automorfizam.

Definicija
Za preslikavanje f : G1 → G2 , gde su (G1 , ∗, ◦) i (G2 , ~, }) polja kažemo da
je homomorfizam polja G1 u G2 ako važi

(∀a, b ∈ G1 ) f (a ∗ b) = f (a) ~ f (b) ∧ f (a ◦ b) = f (a) } f (b)

Čas 3. 19.–23. oktobar 2020. 36 / 43

Osobine
Teorema
Neka je f homomorfizam grupe (G1 , ∗) na grupu (G2 , ◦). Tada važi
1. f (e∗ ) = e◦ ,
 n
2. f (an ) = f (a) , n ∈ N,
0 0
3. f (a ) = (f (a)) ,
4. ∗ je komutativna operacija ako i samo ako je ◦ komutativna.

hom
Dokaz: 1) f (e∗ ) = f (e∗ ∗ e∗ ) = f (e∗ ) ◦ f (e∗ ). Neka je f (e∗ ) = b.

b=b◦b / ◦ b0 sleva
⇔ b0 ◦ b = b0 ◦ (b ◦ b)
⇔ e◦ = (b0 ◦ b) ◦ b
⇔ e◦ = e◦ ◦ b
⇔ e◦ = b.
Čas 3. 19.–23. oktobar 2020. 37 / 43
Osobine

Dokaz: 2) Dokazujemo tvrd̄enje matematičkom indukcijom.

Za n = 2 važi, na osnovu definicije homomorfizma

 2
f (a ∗ a) = f (a) ◦ f (a) = f (a) .

 k
Neka važi za n = k ∈ N, f (ak ) = f (a) . Dokazaćemo da važi za n = k + 1.

 k  k+1
hom
f (ak+1 ) = f (ak ∗ a) = f (ak ) ◦ f (a) = f (a) ◦ f (a) = f (a) .

Čas 3. 19.–23. oktobar 2020. 38 / 43

Osobine

Dokaz: 3)
hom
e◦ = f (e∗ ) = f (a0 ∗ a) = f (a0 ) ◦ f (a),
hom
e◦ = f (e∗ ) = f (a ∗ a0 ) = f (a) ◦ f (a0 ).
 0
Zaključujemo da je f (a) = f (a0 ).

4)
hom
f (a ∗ b) = f (a) ◦ f (b)
hom
f (b ∗ a) = f (b) ◦ f (a).

Čas 3. 19.–23. oktobar 2020. 39 / 43

Jezgro homomorfizma

Definicija
Neka je f homomorfizam grupe (G1 , ∗) na grupu (G2 , ◦). Skup
Ker f = {a ∈ G1 | f (a) = e◦ } naziva se jezgro homomorfizma f .

Čas 3. 19.–23. oktobar 2020. 40 / 43

Jezgro homomorfizma

Teorema
Jezgro homomorfizma Ker f grupe G1 na G2 je podgrupa grupe G1 .

Dokaz: Na osnovu teoreme Ker f će biti podgrupa ako važi:

1) (∀a, b ∈ Ker f ) a ∗ b ∈ Ker f , 1) (∀a ∈ Ker f ) a0 ∈ Ker f .

1) Neka su a, b ∈ Ker f .
f (a ∗ b) = f (a) ◦ f (b) = e◦ ◦ e◦ = e◦ ⇒ a ∗ b ∈ Ker f.
2) Neka je a ∈ Ker f ,
(
f (e∗ ) = f (a ∗ a0 ) = f (a) ◦ f (a0 ) = e◦ ◦ f (a0 ) = f (a0 )
f (e∗ ) = e◦ (osobina homomorfizma)
0 0
⇒ f (a ) = e◦ ⇒ a ∈ Ker f.

Čas 3. 19.–23. oktobar 2020. 41 / 43

Slika homomorfizma

Definicija
Neka je f homomorfizam grupe (G1 , ∗) na grupu (G2 , ◦). Skup
Im f = {a ∈ G2 | (∃x ∈ G1 ) f (x) = a} naziva se slika homomorfizma f .

Čas 3. 19.–23. oktobar 2020. 42 / 43

Slika homomorfizma
Teorema
Slika homomorfizma f , u oznaci Im f , grupe G1 na G2 je podgrupa grupe G2 .

Dokaz: Na osnovu teoreme Im f će biti podgrupa ako važi:

1) (∀a, b ∈ Im f ) a ◦ b ∈ Im f , 2) (∀a ∈ Im f ) a0 ∈ Im f .

1) Neka su a, b ∈ Im f . Tada postoje x, y ∈ G1 takvi da je a = f (x), b = f (y) i

hom f
a ◦ b = f (x) ◦ f (y) = f (x ∗ y) ⇒ x ∗ y → a ◦ b ∈ Im f.

2) Neka je a ∈ Im f , tada postoji x ∈ G1 i a = f (x). Važi:


 e◦ = f (e∗ ) = f (x ∗ x0 ) hom
= f (x) ◦ f (x0 ) = a ◦ f (x0 )
 e = f (e ) = f (x0 ∗ x) hom = f (x0 ) ◦ f (x) = f (x0 ) ◦ a
◦ ∗

f
Zbog jedinstvenosti, a0 = f (x0 ) ⇒ x0 → a0 ∈ Im f .
Čas 3. 19.–23. oktobar 2020. 43 / 43