Matematyka.pl

Zadanie: Niech \(\displaystyle{ Hom(G_{1},G_{2})}\) będzie zbiorem wszystkich homomorfizmów grupy abelowej \(\displaystyle{ G_{1}}\) w grupę abelową \(\displaystyle{ G_{2}}\). Sprawdzić, że dodawanie określone wzorem \(\displaystyle{ (f+g)(x)=f(x)+g(x)}\) \(\displaystyle{ (f,g\in Hom(G_{1},G_{2}), x\in G_{1})}\) jest działaniem w tym zbiorze. Sprawdzić, że względem tego dodawania zbiór \(\displaystyle{ Hom(G_{1},G_{2})}\) jest grupą abelową.

Sprawdziłam zgodność z dodawaniem. Sprawdziłam też łączność i przemienność - brakuje mi elementu neutralnego i odwrotnego. Czy ma ktoś pomysł jak to wykazać?

aa1 pisze: ↑16 lis 2022, o 13:01brakuje mi elementu neutralnego i odwrotnego. Czy ma ktoś pomysł jak to wykazać?

Zastanów się: elementem neutralnym jest homomorfizm \(\displaystyle{ e}\) taki, że dla dowolnego homomorfizmu \(\displaystyle{ f}\) zachodzi równość \(\displaystyle{ f+e=f}\), czyli dla dowolnego \(\displaystyle{ x\in G_1}\) zachodzi równość \(\displaystyle{ (f+e)(x)=f(x)+e(x)=f(x).}\) Co nam to mówi o homomorfizmie \(\displaystyle{ e}\) ?

JK

aa1 pisze: ↑16 lis 2022, o 13:01 i odwrotnego.

Mogę tak zapisać?
Niech \(\displaystyle{ f\in Hom(G_{1},G_{2})}\)
Dla \(\displaystyle{ g:G_{1}\to G_{2}}\)
\(\displaystyle{ g(x)=-f(x)}\) dla \(\displaystyle{ g\in Hom(G_{1},G_{2})}\)
\(\displaystyle{ f+g=g+f=e}\)
Zatem \(\displaystyle{ g=-f}\)

Ale co ten zapis ma oznaczać?

JK

Wykazanie, że istnieje element odwrotny

aa1 pisze: ↑16 lis 2022, o 14:32Dla \(\displaystyle{ g:G_{1}\to G_{2}}\)
\(\displaystyle{ g(x)=-f(x)}\) dla \(\displaystyle{ g\in Hom(G_{1},G_{2})}\)

To, że \(\displaystyle{ g:G_{1}\to G_{2}}\) jest homomorfizmem należałoby wykazać, a nie stwierdzić. Zresztą dwukrotne użycie "dla" nie wpływa dobrze na sformułowanie tego rozumowania. Lepiej jest napisać: rozważmy funkcję \(\displaystyle{ g}\) zadaną wzorem ... Jest ona homorfizmem bo...

aa1 pisze: ↑16 lis 2022, o 14:32 \(\displaystyle{ f+g=g+f=e}\)

A co to jest \(\displaystyle{ e}\) i dlaczego zachodzi ta równość?

JK

e to element neutralny

Czego? Tu jest dużo różnych grup i trzeba być starannym.

Zbioru homomorfizmów \(\displaystyle{ Hom(G_{1},G_{2})}\).(Chyba)
Trochę się w tym pogubiłam

A już ustaliłaś, czym jest ten element neutralny w grupie homomorfizmów?