logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Algebra, zadanie nr 5861

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

geometria
post贸w: 865
2018-11-18 13:42:57

1. Zalozmy, ze $f, g: G\rightarrow H $ sa homomorfizmami grup, $a\in G$ jest generatorem grupy $G$ i $f(a)=g(a)$.
Udowodnic, ze $f=g$.

Homomorfizm jest okreslony na generatorze.
$G=\lt a \gt .$

Funkcje sa rowne jak maja rowne dziedziny (co jest spelnione) i dla kazdego argumentu przyjmuja te same wartosci.

Niech $n\in G$. Trzeba pokazac, ze $f(n)=g(n)$.
Niech $f(a)=g(a)=x\in H$.
Przyjme, ze dzialanie w $G$ i $H$ to $*$.

$f(n)=f(\underbrace{a*a*\ldots*a}_{n})=\underbrace{f(a)*f(a)+\ldots*f(a)}_{n}=x^{n}$
$g(n)=g(\underbrace{a*a*\ldots*a}_{n})=\underbrace{g(a)*g(a)+\ldots*g(a)}_{n}=x^{n}$
Czyli $f(n)=g(n)$ dla $n$ calkowitego nieujemnego.
$n$ calkowite ujemne:
$f(-n)=g(-n)={(x^{n})}^{-1}=x^{-n}$. Stad $f(n)=g(n)$ dla $k\in Z$.
A jak wykazac dla dalszych. Bo nie wiem co jest dziedzina w $G$.

2. Dana jest grupa $G$, jej element $a\in G$ oraz homomorfizmy grup $f:(Z, +)\rightarrow G$ i $g:(Z, +)\rightarrow G$ takie, ze $a=f(1)=g(1)$. Udowodnic, ze $f(k)=g(k)$ dla $k\in Z$.

Homomorfizm jest okreslony na generatorze.
$Z=\lt 1 \gt .$

Przyjme, ze dzialanie w $G$ to $*$.
Dla $k$ calkowitego nieujemnego:
$f(k)=f(\underbrace{1+1+\ldots+1}_{k})=\underbrace{f(1)*f(1)*\ldots*f(1)}_{k}=a^{k}$
$g(k)=g(\underbrace{1+1+\ldots+1}_{k})=\underbrace{g(1)*g(1)*\ldots*g(1)}_{k}=a^{k}$
Dla $k$ calkowitego niedodatniego:
$f(k)=g(k)=a^{k}$, $k$ calkowite nieujemne
$g(-k)=f(-k)={(a^{k})}^{-1}=a^{-k}$, $(-k)$ calkowite niedodatnie
Stad $f(k)=g(k)$ dla $k\in Z$.

Dobrze?

Wiadomo艣膰 by艂a modyfikowana 2018-11-19 10:21:20 przez geometria

tumor
post贸w: 8070
2018-11-20 10:02:34

1. Jakie艣 to takie wszystko rozwlek艂e.

$f(x)=f(a^k)=f^k(a)=g^k(a)=g(a^k)=g(x)$
gdzie $x=a^k$ jest elementem grupy generowanej przez $a$.

Nie rozumiem zdania \"co jest dziedzin膮 w G\", wydaje mi si臋 do艣膰 oczywiste, 偶e G jest dziedzin膮.
Zapis $f:G\to H$ do艣膰 wyra藕nie m贸wi, 偶e dziedzin膮 funkcji f jest zbi贸r G.
Nie wiem, czemu niby \"homomorfizm jest okre艣lony na generatorze\".
Generatorem jest $a$, a homomorfizm jest okre艣lony na grupie generowanej przez $a$, nie tylko na generatorze.

2. Dla k dodatnich oczywi艣cie $f(k)=k*f(1)=k*a=k*g(1)=g(k)$

(Zwracam uwag臋, 偶e w powy偶szym mamy zapis addytywny, nie multiplikatywny)

Dla k ujemnych b臋dzie identycznie, skoro $f(-1)=g(-1)=-a$ (zapis ci膮gle addytywny).

Bowiem $f(-1)+f(1)=f(0)=e=g(0)=g(-1)+g(1)$
czyli
$f(-1)+a=e=g(-1)+a$


geometria
post贸w: 865
2018-11-20 15:45:17

2. Ale teoretycznie nie wiem jakie dzialanie jest w grupie $G$, wiec moze byc to dzialanie $*$ i wowczas zapisane multiplikatywnie.


tumor
post贸w: 8070
2018-11-21 11:10:30

Zapisy addytywne i multiplikatywne znacz膮 to samo. Dotycz膮 struktury, nie jakiej艣 konkretnej realizacji tej struktury (tzn r贸偶ne grupy mog膮 by膰 izomorficzne, w niekt贸rych nam si臋 艂atwiej my艣li mno偶eniem, w innych dodawaniem, ale to nie ma znaczenia, to tylko konwencje zapisu).

strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj