Pokazać, że (Q i∈IGi

1. Zestaw zadań 1: Produkty grup. Produkty i koprodukty grup abelowych.

(1) Niech {Gi : i ∈ I} będzie rodziną (możliwie nieskończoną) grup, niech Y

i∈I

G_i = {f : I →[

i∈I

G_i : f (i) ∈ G_i}

będzie produktem kartezjańskim rodziny zbiorów {Gi : i ∈ I}. Jeżeli f, g ∈ Q

i∈IG_i, to iloczyn f · g definiujemy jako funkcję f · g : I →S

i∈IG_i daną wzorem f · g(i) = f (i)g(i).

Pokazać, że (Q

i∈IG_i, ·) jest grupą, którą nazywamy iloczynem prostym zewnętrznym.

Ponadto definiujemy odwzorowania π_i :Q

i∈IG_i → G_i wzorem πi(a) = a(i),

dla i ∈ I. Pokazać, że π_i, i ∈ I, są dobrze określonymi epimorfizmami grup, które nazywamy epimorfizmami kanonicznymi.

(2) Niech {G_i : i ∈ I} będzie rodziną (możliwie nieskończoną) grup, niech Y

i∈I

G_i = {f : I →[

i∈I

G_i : f (i) ∈ G_i}

będzie produktem kartezjańskim rodziny zbiorów {G_i : i ∈ I}. W zbiorze Q

i∈IG_i rozpatrzmy podzbiór

a

i∈I

wG_i = {f ∈Y

i∈I

G_i : f (i) = 1_Gi dla prawie wszystkich i ∈ I}.

Iloczyn f · g, dla f, g ∈ `w

i∈IGi definiujemy jak w grupie Q

i∈IGi. Pokazać, że (`w

i∈IGi, ·) jest grupą, którą nazywamy słabym iloczynem prostym zewnętrznym. W przypadku, gdy grupy G_i, i ∈ I, są abelowe, piszemy na ogół`

i∈IG_i, a w przypadku, gdy Gi, i ∈ I, są abelowe i zapisane w notacji addytywnej, piszemy na ogół P

i∈IG_i. Ponadto definiujemy odwzorowania ι_i : G_i →Qw

i∈IG_i wzorem π_i(a) = a, gdzie a(j) =

(a, gdy j = i, 1Gj, gdy j 6= i,

dla i ∈ I. Pokazać, że ιi, i ∈ I, są dobrze określonymi monomorfizmami grup, które nazywamy monomorfizmami kanonicznymi.

(3) Niech (G, ·) będzie grupą, niech {H_i : i ∈ I} będzie rodziną (możliwie nieskończoną) podgrup normalnych grup G. Pokazać, że następujące warunki są równoważne:

(a) G =`w i∈IG_i,

(b) każdy element g ∈ G \ {1} ma jednoznaczne przedstawienie w postaci g = h_i1h_i2. . . h_in,

gdzie i₁, . . . , i_n są różnymi elementami zbioru I oraz h_ik 6= 1, k ∈ {1, . . . , n}.

(4) Niech (G, ·) będzie grupą, niech {Hi : i ∈ I} będzie rodziną (możliwie nieskończoną) podgrup normalnych grup G. Wówczas, jeżeli

(a) G =S

i∈IH_i oraz (b) dla każdego k ∈ I, N_k∩D

S

i∈I\{k}H_iE , to G ∼=`w

i∈IH_i.

1

2

(5) Niech {G_i : i ∈ I} będzie rodziną grup, H pewną grupą, niech {φ_i : H → G_i : i ∈ I} będzie rodziną homomorfizmów grup. Pokazać, że wówczas istnieje dokładnie jeden homomorfizm φ : H →Q

i∈IG_i taki, że

π_i◦ φ = φ_i,

dla i ∈ I. Ponadto pokazać, że jeśli grupa G ma powyższą własność, to wówczas G ∼=Q

i∈IG_i. (6) Niech {G_i : i ∈ I} będzie rodziną grup abelowych, H pewną grupą abelową, niech {φ_i : G_i →

H : i ∈ I} będzie rodziną homomorfizmów grup. Pokazać, że wówczas istnieje dokładnie jeden homomorfizm φ :`

i∈IG_i → H taki, że

φ ◦ ι_i = φ_i,

dla i ∈ I. Ponadto pokazać, że jeśli grupa abelowa G ma powyższą własność, to wówczas G ∼=

`

i∈IGi.

(7) Pokazać, że powyższe twierdzenie jest fałszywe, jeśli rozważane grupy nie są abelowe (wskazówka:

wystarczy ograniczyć się do przypadku rodziny dwóch grup nieabelowych).

Zadanie domowe: zadania 4, 6 i 7 należy rozwiązać na następne zajęcia.