Udowodnić twierdzenie (moduły, przedłużenie homomorfizmu)

Grupy, pierścienie, ciała, rozkładalność, klasyczne struktury algebraiczne...
qwack
Użytkownik
Użytkownik
Posty: 10
Rejestracja: 5 maja 2010, o 14:50
Płeć: Mężczyzna
Lokalizacja: Internet

Udowodnić twierdzenie (moduły, przedłużenie homomorfizmu)

Post autor: qwack » 7 lip 2010, o 16:20

Witam, potrzebuje udowodnić następujące twierdzenie (dowód ma być wprost, bo nie wprost udowodniłem a prof chce wprost):
Zbiór \(\displaystyle{ {{x_{t}}}_ {t \in T} \subset M}\) jest bazą R-modułu M wtedy i tylko wtedy gdy dowolne odwzorowanie \(\displaystyle{ h:B \rightarrow N}\) o wartościach w R-module N może być jednoznacznie przedłużone do R-homomorfizmu \(\displaystyle{ g:M \rightarrow N}\)

Awatar użytkownika
max
Gość Specjalny
Gość Specjalny
Posty: 3306
Rejestracja: 10 gru 2005, o 17:48
Płeć: Mężczyzna
Lokalizacja: Lebendigentanz
Podziękował: 37 razy
Pomógł: 778 razy

Udowodnić twierdzenie (moduły, przedłużenie homomorfizmu)

Post autor: max » 7 lip 2010, o 17:33

Jedna implikacja jest bezpośrednia. Dla dowodu drugiej, mówiącej, że z warunku w zadaniu wynika, iż \(\displaystyle{ M}\) jest wolny, można pokazać, że \(\displaystyle{ M \cong \bigoplus_{t\in T}R}\)

qwack
Użytkownik
Użytkownik
Posty: 10
Rejestracja: 5 maja 2010, o 14:50
Płeć: Mężczyzna
Lokalizacja: Internet

Udowodnić twierdzenie (moduły, przedłużenie homomorfizmu)

Post autor: qwack » 7 lip 2010, o 18:14

tzn. mógłbyś to rozpisać i co za suma ?

Awatar użytkownika
max
Gość Specjalny
Gość Specjalny
Posty: 3306
Rejestracja: 10 gru 2005, o 17:48
Płeć: Mężczyzna
Lokalizacja: Lebendigentanz
Podziękował: 37 razy
Pomógł: 778 razy

Udowodnić twierdzenie (moduły, przedłużenie homomorfizmu)

Post autor: max » 8 lip 2010, o 21:40

Ta suma to suma prosta rodziny modułów izomorficznych z \(\displaystyle{ R}\) indeksowanej elementami zbioru \(\displaystyle{ T}\).
Z którą implikacją masz problem?

qwack
Użytkownik
Użytkownik
Posty: 10
Rejestracja: 5 maja 2010, o 14:50
Płeć: Mężczyzna
Lokalizacja: Internet

Udowodnić twierdzenie (moduły, przedłużenie homomorfizmu)

Post autor: qwack » 13 lip 2010, o 15:00

Coś nie tak, z tego co profesor mi to nakreślił szkicowo to mam:
1. Pokazać jedyność \(\displaystyle{ g}\)
2. Sprawdzić poprawność \(\displaystyle{ g}\) i pokazać, że jest to homomorfizm.
3. Pokazać, że \(\displaystyle{ g|B=h}\).
A ty mi z wyskakujesz z \(\displaystyle{ R}\) izomorficznym z \(\displaystyle{ M}\) a jeśli już to \(\displaystyle{ M \cong B}\) bo \(\displaystyle{ B}\) jest bazą modułu wolnego \(\displaystyle{ M}\).

Awatar użytkownika
max
Gość Specjalny
Gość Specjalny
Posty: 3306
Rejestracja: 10 gru 2005, o 17:48
Płeć: Mężczyzna
Lokalizacja: Lebendigentanz
Podziękował: 37 razy
Pomógł: 778 razy

Udowodnić twierdzenie (moduły, przedłużenie homomorfizmu)

Post autor: max » 13 lip 2010, o 15:15

Przepraszam za niedoskonałość moich umiejętności przekazywania informacji.

Te trzy punkty, które wypisałeś to szkic dowodu implikacji mówiącej, że jeśli moduł jest wolny, to zachodzi warunek z zadania.
Wystarczy zadać homomorfizm \(\displaystyle{ g}\) jako \(\displaystyle{ g\left(\sum_{t\in T}r_{t}x_{t}\right) =\sum_{t\in T} r_{t}h(x_{t})}\) (gdzie dla prawie wszystkich \(\displaystyle{ t\in T}\) jest \(\displaystyle{ r_{t} = 0}\)) i te trzy warunki sprawdza się niemal automatycznie.

To o czym ja pisałem, to implikacja w drugą stronę. Przy czym wcale nie napisałem, że \(\displaystyle{ M}\) jest izomorficzny z \(\displaystyle{ R}\), tylko z sumą prostą modułów \(\displaystyle{ R}\) indeksowaną elementami rodziny \(\displaystyle{ T}\). Mogłem to zapisać inaczej:
\(\displaystyle{ M\cong \bigoplus_{t\in T}Rx_{t}}\) oraz \(\displaystyle{ Rx_{t}\cong R}\).
Zapis \(\displaystyle{ M\cong B}\) pozbawiony jest sensu, bowiem \(\displaystyle{ B}\) nie jest modułem.

ODPOWIEDZ