Rozszerzenie pierścienia skalarów - Iloczyn tensorowy modułów

3.6 Iloczyn tensorowy modułów

3.6.1 Rozszerzenie pierścienia skalarów

Pokażemy teraz jedno z zastosowań iloczynu tensorowego modułów dające możliwość konstrukcji rozszerzenia A−modułu M do modułu nad rozszerzeniem A⁰ pierścienia A. Przy tym pojęcie rozszerzenia traktujemy dość ogólnie uważając pierścień A⁰ za rozszerzenie pierścienia A jeśli istnieje homomorfizm pierścieni A → A⁰.

Niech f : A → A⁰ będzie homomorfizmem pierścieni. Wtedy pierścień A⁰ można traktować jako A−moduł z mnożeniem przez skalary zdefiniowanym następująco:

A × A⁰ → A⁰, (a, a⁰) 7→ f (a) · a⁰.

Niech M będzie A−modułem. Rozpatrzmy iloczyn tensorowy A−modułów A⁰ ⊗ M =: M⁰.

Pokażemy, że M⁰ można traktować jako A⁰−moduł z mnożeniem przez skalary z pierścienia A⁰ określonym na tensorach prostych następująco:

a⁰· (b⁰⊗ m) = a⁰b⁰⊗ m. (3.19) Formalny dowód możliwości przedłużenia tej definicji mnożenia przez skalary na dowolne tensory iloczynu A⁰⊗ M wykorzystuje pojęcie iloczynu tensorowego trzech modułów. Rozpatrujemy odwzorowanie 3-liniowe

β : A⁰× A⁰ × M → A⁰ ⊗ M, (a⁰, b⁰, m) 7→ a⁰b⁰ ⊗ m.

Na podstawie własności uniwersalnej iloczynu tensorowego istnieje dokładnie jeden homomorfizm A−modułów h : A⁰⊗A⁰⊗M → A⁰⊗M taki, że h(a⁰⊗b⁰⊗m) = a⁰b⁰⊗m.

Identyfikujemy teraz A⁰⊗ A⁰⊗ M oraz A⁰⊗ (A⁰⊗ M ) poprzez izomorfizm przepro-wadzający a⁰⊗ b⁰⊗ m na a⁰⊗ (b⁰⊗ m). Homomorfizm h złożony z odwzorowaniem dwuliniowym

⊗ : A⁰× A⁰⊗ M → A⁰⊗ (A⁰⊗ M ) daje A−dwuliniowe odwzorowanie

µ : A⁰× (A⁰⊗ M ) → A⁰⊗ M,

które na szczególnych elementach (a⁰, (b⁰ ⊗ m) produktu A⁰ × (A⁰ ⊗ M ) działa na-stępująco

µ(a⁰, (b⁰⊗ m)) = a⁰b⁰⊗ m.

Występujące w tym dowodzie moduły i odwzorowania tworzą diagram przemienny A⁰⊗ (A⁰⊗ M )

A⁰⊗ M

A⁰× A⁰× M h A⁰× (A⁰⊗ M )

⊗ Y ⊗

Odwzorowanie µ pozwala traktować A−moduł A⁰⊗M jako A⁰−moduł jeśli mnożenie elementów modułu A⁰ ⊗ M przez skalary z pierścienia A⁰ określić równością

a⁰· t = µ(a⁰, t) dla wszystkich a⁰ ∈ A, t ∈ A⁰ ⊗ M.

Wystarczy sprawdzić własności (3.1) – (3.4) definicji A−modułu. Dla przykładu sprawdzimy pierwszą z nich i pokażemy, że

a⁰· (t₁+ t₂) = a⁰· t₁+ a⁰· t₂

dla a⁰ ∈ A⁰ oraz dowolnych t1, t2 ∈ A⁰⊗ M . Korzystając z dwuliniowości µ otrzymu-jemy

a⁰· (t₁ + t₂) = µ(a⁰, t₁+ t₂) = µ(a⁰, t₁) + µ(a⁰, t₂) = a⁰· t₁+ a⁰ · t₂.

Pokazaliśmy więc, że dla każdego A−modułu M i każdego rozszerzenia A⁰ pierścienia A iloczyn tensorowy A−modułów M⁰ = A⁰⊗ M ma naturalną strukturę A⁰−modułu.

Tak więc rozszerzeniu skalarów z A do A⁰ towarzyszy rozszerzenie modułu M do M⁰. Każdy element M⁰ można przedstawić w postaci skończonej sumy tensorów pro-stych

Xa⁰_i⊗ m_i, a⁰_i ∈ A⁰, m_i ∈ M.

Gdy M⁰ traktujemy jako A⁰−moduł sumę taką możemy zapisać w postaci

Xa⁰_i(1 ⊗ m_i), a⁰_i ∈ A⁰, m_i ∈ M.

Zatem M⁰ jest generowany jako A⁰−moduł przez zbiór ⁿ1 ⊗ m : m ∈ M^o.

Wprawdzie nie zawsze możemy identyfikować A−moduł M z pewnym A−podmodułem modułu M⁰, ale jest to możliwe w sytuacji opisanej w następującym lemacie.

Lemat 3.6.2. Niech M będzie A−modułem, i niech f : A → A⁰ będzie homomorfi-zmem pierścieni. Przypuśćmy, że spełniony jest następujący warunek:

Dla każdego niezerowego elementu m ∈ M istnieje funkcjonał liniowy ϕ : M → A taki, że f (ϕ(m)) 6= 0.

Wtedy odwzorowanie A−liniowe

τ : M −→ A⁰ ⊗_AM, m 7→ 1 ⊗ m jest injektywne.

Dowód. Musimy pokazać, że ker τ = 0 a więc, że

0 6= m ∈ M ⇒ 0 6= 1 ⊗ m ∈ A⁰⊗ M.

Weźmy więc m ∈ M , m 6= 0. Na podstawie założenia istnieje funkcjonał liniowy ϕ : M → A taki, że f (ϕ(m)) 6= 0. Rozpatrujemy odwzorowanie A−dwuliniowe

A⁰× M −→ A⁰, (a⁰, m) 7→ a⁰f (ϕ(m)).

Na podstawie własności uniwersalnej iloczynu tensorowego istnieje dokładnie jedno odwzorowanie A−liniowe ϕ⁰ : A⁰⊗ M → A⁰ takie, że ϕ⁰(a⁰⊗ m) = a⁰f (ϕ(m)). Zatem ϕ⁰(1 ⊗ m) = f (ϕ(m)) 6= 0 i wobec tego także 1 ⊗ m 6= 0.

Jako zastosowanie lematu 3.6.2 rozpatrzmy sytuację, gdy M jest skończenie ge-nerowanym A−modułem projektywnym i homomorfizm f : A → A⁰ jest włoże-niem (injektywnym homomorfizmem) pierścienia A w jego rozszerzenie A⁰. Zatem A jest podpierścieniem pierścienia A⁰ (jako A⁰ można wziąć, na przykład, ciało ułam-ków pierścienia całkowitego A). W tej sytuacji A−moduł M można traktować jako A−podmoduł M⁰ = A⁰ ⊗ M identyfikując element m ∈ M z tensorem prostym 1 ⊗ m ∈ M⁰. Rzeczywiście, na podstawie wniosku 3.4.8 spełnione są założenia lema-tu 3.6.2 i wobec tego określony w lemacie homomorfizm τ jest injektywny.

3.7 Zadania

1. Niech M będzie A−modułem. Udowodnić, że następujące warunki są równoważ-ne.

(a) Istnieją podmoduły M1, . . . , Mn modułu M takie, że M = M1⊕ · · · ⊕ Mn. (b) Istnieją endomorfizmy ϕ₁, . . . , ϕ_n modułu M takie, że ϕ₁ + · · · + ϕ_n = 1_M, ϕ_i◦ ϕ_j = 0 dla i 6= j oraz ϕ_i◦ ϕ_i = ϕ_i dla i, j = 1, . . . , n.

2. Niech A będzie pierścieniem przemiennym i niech a, b ∈ A. Udowodnić, że nastę-pujące warunki są równoważne.

(a) A = aA ⊕ bA (suma prosta A−modułów).

(b) ab = 0 i istnieją x, y ∈ A takie, że ax + by = 1.

(c) ab = 0 oraz a + b jest elementem odwracalnym pierścienia A.

3. Niech J = (X, Y ) = A · X + A · Y będzie ideałem w pierścieniu A = K[X, Y ] wie-lomianów dwóch zmiennych X, Y nad ciałem K. Udowodnić, że J nie jest wolnym podmodułem A−modułu wolnego A.

4. Niech R = M₂(R) będzie pierścieniem macierzy 2 × 2 nad ciałem R liczb rzeczy-wistych i niech

I =

x 0 y 0

∈ R : x, y ∈ R

)

. Sprawdzić, że

(a) I jest ideałem lewostronnym pierścienia R.

(b) I jest projektywnym R−modułem.

(c) I nie jest wolnym R−modułem.

5. Niech P będzie R−modułem projektywnym. Udowodnić, że dla każdego niezero-wego elementu p ∈ P istnieje funkcjonał liniowy ϕ na P taki, że ϕ(p) 6= 0.

6. Udowodnić, że jeśli P jest podmodułem R−modułu wolnego, to dla każdego nie-zerowego elementu p ∈ P istnieje funkcjonał liniowy α : P → R taki, że α(p) 6= 0.

7. Niech A będzie podpierścieniem ciała K różnym od K i niech K będzie ciałem ułamków pierścienia A. Traktując K jako A−moduł udowodnić, że

(a) Hom_A(K, A) = 0 (nie istnieją niezerowe funkcjonały liniowe na A−module K), (b) K nie jest projektywnym A−modułem.

8. Niech I oraz J będą ideałami pierścienia przemiennego A.

(a) Udowodnić, że jeśli A−moduły A/I oraz A/J są izomorficzne, to I = J .

(b) Wskazać przykład pierścienia A i ideałów I, J takich, że pierścienie A/I oraz A/J są izomorficzne, ale I 6= J .

9. Udowodnić, że pierścień przemienny A jest pierścieniem całkowitym wtedy i tylko wtedy gdy ma następującą własność:

Dla każdego A−modułu M i dla każdego skończonego układu m₁, . . . , m_r ∈ M , jeśli m₁, . . . , m_r są liniowo niezależne, to także am₁, . . . , am_r są liniowo niezależne dla każdego niezerowego a ∈ A.

10. Udowodnić, że jeśli nad pierścieniem przemiennym A każdy skończenie genero-wany A−moduł jest wolny, to A jest ciałem.

11. Niech A będzie pierścieniem całkowitym i niech F będzie A−modułem wolnym rangi 2 z bazą ⁿu, v^o. Niech S = A(au + bv) będzie podmodułem wolnym rangi 1 modułu F . Udowodnić, że S jest składnikiem prostym modułu F wtedy i tylko wtedy gdy istnieją elementy c, d ∈ A takie, że ad − bc = 1.

12. Niech M, N będą R−modułami i niech S < M oraz T < N . Udowodnić, że M ⊕ N

S ⊕ T

∼= M S ⊕N

T .

(Ułamki oznaczają moduły ilorazowe, ⊕ oznacza zewnętrzną sumę prostą (iloczyn kartezjański)).

Rozdział 4

Moduły nad pierścieniami ideałów głównych

Ostatnie zmiany 9.12.2007 r.

W tym rozdziale rozpatrujemy wyłącznie moduły nad pierścieniami przemien-nymi. Przedstawimy tutaj dwa główne twierdzenia o modułach nad pierścieniami ideałów głównych: o strukturze modułów torsyjnych i o strukturze modułów skoń-czenie generowanych. Następnie sformułujemy szczegółowo wnioski wynikające z tej teorii dla skończenie generowanych grup abelowych.

Przypomnijmy, że A−moduł M jest sumą prostą swoich podmodułów N₁, . . . , Nk, jeśli każdy element m ∈ M ma jednoznaczne przedstawienie w postaci

m = n₁+ · · · + nk, n_i ∈ N_i, i = 1, . . . , k.

W szczególności, jeśli podmoduły Ni są cykliczne oraz Ni jest generowany przez element m_i ∈ M, to fakt, iż M jest sumą prostą podmodułów N_i oznacza dwie rzeczy: po pierwsze, każdy element m ∈ M można przedstawić w postaci

m = a₁m₁+ · · · + a_km_k, a₁, . . . , a_k ∈ A

oraz, po drugie, przedstawienie to jest jednoznaczne w tym sensie, że jeśli mamy inne przedstawienie

m = b₁m₁+ · · · + b_km_k, b₁, . . . , b_k ∈ A,

to a₁m₁ = b₁m₁, . . . , a_km_k = b_km_k. Nie wymagamy więc jednoznaczności współ-czynników a_i ∈ A ale jednoznaczności składników a_im_i ∈ N_i.

4.1 Moduły torsyjne

Zbadamy najpierw strukturę modułów torsyjnych nad całkowitymi pierścieniami ideałów głównych. Nie będziemy tu zakładać, że rozpatrywane moduły są skończenie generowane.

Definicja 4.1.1. Niech A będzie dowolnym pierścieniem i niech M będzie A−modułem.

Element m ∈ M nazywamy elementem torsyjnym, jeśli istnieje element a ∈ A, a 6= 0 taki, że am = 0.

Moduł M nazywamy modułem torsyjnym, jeśli każdy element modułu M jest tor-syjny.

Moduł M nazywamy modułem ograniczonym, jeśli istnieje element a ∈ A, a 6= 0 taki, że dla każdego elementu m ∈ M mamy am = 0.

A−moduł M nazywa się modułem beztorsyjnym, jeśli jedynym elementem torsyjnym modułu M jest element zerowy 0 ∈ M.

Przykład 4.1.1. Każdy moduł ograniczony jest modułem torsyjnym.

W grupie abelowej M element m ∈ M jest torsyjny jeśli ma skończony rząd. Je-śli w grupie abelowej M każdy element ma rząd skończony, to M jest torsyjnym Z−modułem. Natomiast jeśli w grupie abelowej M rzędy wszystkich elementów są wspólnie ograniczone, to M jest ograniczonym Z−modułem. W szczególności każda skończona grupa abelowa jest ograniczonym Z−modułem.

Przestrzenie wektorowe nie dostarczają przykładów modułów torsyjnych: każda nie-zerowa przestrzeń wektorowa V nad ciałem K jest beztorsyjnym K−modułem.

Ogólniej, każdy moduł wolny F nad pierścieniem A bez dzielników zera jest beztor-syjny.

Rzeczywiście, jeśli dla pewnego f ∈ F oraz 0 6= a ∈ A mamy af = 0, to przedsta-wiając f jako kombinację liniową f =^Px_ib_i elementów b_i pewnej bazy modułu F otrzymamy dla elementu af przedstawienie 0 = af =^Pax_ib_i. Stąd ax_i = 0 i wobec tego x_i = 0 dla każdego i. Zatem f = 0.

Także każdy moduł projektywny nad pierścieniem bez dzielników zera (jako skład-nik prosty modułu wolnego) jest beztorsyjny.

Natomiast jeśli pierścień A ma dzielniki zera, to moduł wolny nad A zawsze zawiera elementy torsyjne. Na przykład, pierścień A = Z/6Z traktowany jako A−moduł jest modułem wolnym, ale element 2 + 6Z jest elementem torsyjnym gdyż (3 + 6Z)(2 + 6Z) = 0 ∈ Z/6Z.

Jeśli τ jest endomorfizmem przestrzeni wektorowej V nad ciałem K, to przestrzeń V traktowana jako K[X]−moduł V_τ (zob. przykład 3.1.4) jest modułem ograni-czonym (a więc także torsyjnym). Rzeczywiście, jeśli p_τ ∈ K[X] jest wielomianem minimalnym endomorfizmu τ, to dla każdego v ∈ V mamy

p_τv = p_τ(τ )(v) = 0_V(v) = 0 ∈ V.

Niech M będzie ograniczonym A−modułem. Zbiór Ann M =ⁿx ∈ A : xM = 0^o

nazywamy anihilatorem modułu M . Oczywiście 0 ∈ Ann M ale wobec ograniczoności modułu M zbiór Ann M zawiera także elementy niezerowe pierścienia A. Łatwo stwierdzić, że Ann M jest niezerowym ideałem pierścienia A. Jeśli A jest pierścieniem ideałów głównych, to istnieje element a ∈ A taki, że

Ann M = (a) = aA.

Element a ma więc następującą własność: aM = 0 i jeśli xM = 0, to a | x. Element a nazywamy minimalnym elementem ograniczającym (lub anihilującym) modułu ograniczonego M . Element ograniczający a jest odwracalny tylko wtedy gdy M jest modułem zerowym. Zatem anihilator niezerowego modułu ograniczonego jest niezerowym ideałem właściwym pierścienia A.

Przykład 4.1.2. Jeśli τ jest endomorfizmem przestrzeni wektorowej V nad cia-łem K, to wielomian minimalny p_τ endomorfizmu τ jest elementem ograniczającym K[X]−moduł V_τ (zob. przykład 4.1.1). Faktycznie p_τ jest minimalnym elementem ograniczającym K[X]−moduł V_τ. Jeśli bowiem f ∈ K[X] jest jakimkolwiek wielo-mianem anihilującym V_τ, to dla każdego v ∈ V mamy

f (τ )(v) = f v = 0 ∈ V

i wobec tego f (τ ) = 0V jest endomorfizmem zerowym przestrzeni V . Dzielimy f przez p_τ z resztą,

f = gp_τ+ r,

gdzie r = 0 lub r 6= 0 i stopień r jest mniejszy od stopnia p_τ. Wobec p_τ(τ ) = 0_V otrzymujemy stąd 0_V = r(τ ), skąd wynika, że r = 0 (gdyż p_τ jest wielomianem najniższego stopnia zerującym się na τ ). A więc p_τ | f oraz Ann V_τ = p_τK[X].

Zanotujmy teraz bardzo prosty fakt, który okaże się użyteczny w kilku miejscach naszej dyskusji modułów torsyjnych nad pierścieniami ideałów głównych. Przyjmu-jemy umowę, że pierścień ideałów głównych jest automatycznie pierścieniem całko-witym (przemiennym, bez dzielników zera).

Lemat 4.1.2. Niech A będzie pierścieniem ideałów głównych, a, b ∈ A, nwd(a, b) = 1. Jeśli M jest A−modułem, m ∈ M oraz am = 0, bm = 0, to m = 0.

Dowód. Wobec naszych założeń istnieją elementy x, y ∈ A takie, że ax + by = 1.

Zatem

0 = axm+bym = 1m = m.

Następująca definicja wprowadza do rozważań podmoduły o kluczowym znacze-niu dla opisu struktury modułów torsyjnych.

Definicja 4.1.3. Niech A będzie pierścieniem ideałów głównych i niech M będzie A−modułem. Niech p ∈ A będzie elementem pierwszym (nierozkładalnym) pierście-nia A. Wtedy zbiór

T_p(M ) := {m ∈ M : ∃ ` ∈ N p^`m = 0}

jest podmodułem modułu M. Podmoduł T_p(M ) nazywa się p−prymarną częścią modułu M lub p−prymarną składową modułu M.

Lemat 4.1.4. Niech A będzie pierścieniem ideałów głównych i niech M będzie A−modułem ograniczonym. Niech a ∈ A będzie minimalnym elementem ogranicza-jącym modułu M i niech p będzie elementem pierwszym pierścienia A.

(a) Jeśli p - a, to Tp(M ) = 0.

(b) Jeśli p | a, to Tp(M ) 6= 0.

Dowód. (a) Niech m ∈ T_p(M ). Wtedy p^`m = 0 dla pewnej liczby naturalnej `.

Ponieważ p - a i p jest elementem pierwszym, mamy nwd(p^`, a) = 1 i wobec tego na podstawie lematu 4.1.2 otrzymujemy m = 0.

(b) Załóżmy, że p | a. Wtedy a = ph dla pewnego h ∈ A oraz a - h (gdyż w przeciwnym razie p byłby elementem odwracalnym). Wobec tego h nie należy do anihilatora modułu M . Istnieje zatem taki element m ∈ M , że m₁ := hm 6= 0.

Wtedy pm₁ = phm = am = 0, co oznacza, że m₁ ∈ T_p(M ). Zatem T_p(M ) 6= 0.

A oto dwa szczególne przypadki sytuacji rozpatrywanej w lemacie 4.1.4.

Przykład 4.1.3. Jeśli M jest skończoną grupą abelową rzędu n, to n jest elementem ograniczającym grupę M , ale niekoniecznie jest minimalnym elementem ogranicza-jącym M . W każdym razie minimalny element ograniczający M jest dzielnikiem liczby n i wobec tego jeśli liczba pierwsza p nie dzieli n, to nie dzieli także mini-malnego elementu ograniczającego M . Wobec tego na podstawie lematu 4.1.4, jeśli liczba pierwsza p nie dzieli n, to p−prymarna składowa grupy M jest podgrupą zerową:

p - n ⇒ Tp(M ) = 0.

Jeśli natomiast p | n, to udowodnimy później, że T_p(M ) 6= 0 (zob. twierdzenie 4.3.17). Wynika to wprawdzie natychmiast z twierdzenia Cauchy’ego (zob. twier-dzenie 1.2.10), przypominamy jednak, że dowód twierdzenia Cauchy’ego dla grup abelowych odłożyliśmy do rozdziału 4 i właśnie jest ono konsekwencją twierdzenia 4.3.17 (zob. wniosek 4.3.18). Jeśli M jest grupą cykliczną rzędu n, to sytuacja jest prosta, gdyż n jest minimalnym elementem ograniczającym M i wobec tego dla liczby pierwszej p | n mamy T_p(M ) 6= 0 na podstawie lematu 4.1.4.

Przykład 4.1.4. Niech pτ będzie wielomianem minimalnym endomorfizmu τ prze-strzeni wektorowej V nad ciałem K. Wtedy p_τ jest minimalnym elementem ogra-niczającym K[X]−modułu V_τ (zob. przykład 4.1.2). Jeśli wielomian nierozkładalny q ∈ K[X] nie dzieli pτ, to q−prymarna składowa K[X]−modułu Vτ jest podmodu-łem zerowym:

T_q(V_τ) = 0.

Natomiast jeśli wielomian nierozkładalny q ∈ K[X] dzieli wielomian p_τ, to q−składowa modułu V_τ jest niezerowa. Obydwa stwierdzenia są konsekwencją lematu 4.1.4.

Zgodnie z definicją, prymarna składowa T_p(M ) składa się z elementów modułu M anihilowanych przez jakąkolwiek potęgę elementu pierwszego p. Pokażemy teraz, że dla modułu ograniczonego w składowej p−prymarnej występują tylko elementy anihilowane przez niezbyt wysokie potęgi elementu p.

Lemat 4.1.5. Jeśli p^` jest najwyższą potęgą elementu pierwszego p dzielącą mini-malny element anihilujący a modułu ograniczonego M , to

T_p(M ) =ⁿm ∈ M : p^`m = 0^o.

Dowód. Oczywiście, zbiórⁿm ∈ M : p^`m = 0^ozawiera się w T_p(M ). Z drugiej stro-ny, jeśli m ∈ T_p(M ) i p^km = 0 dla pewnej liczby naturalnej k > `, to nwd(p^k, a) = p^` i wobec tego xp^k+ ya = p^` dla pewnych x, y ∈ A. Stąd 0 = xp^km + yam = p^`m.

Przystępujemy teraz do dowodu głównego twierdzenia strukturalnego dla modu-łów torsyjnych.

Twierdzenie 4.1.6. Niech M będzie A−modułem, gdzie A jest pierścieniem ide-ałów głównych. Jeśli M jest modułem torsyjnym, to M jest sumą prostą wszystkich swoich składowych prymarnych:

M =^M

Tp(M ),

gdzie p przebiega wszystkie parami niestowarzyszone elementy pierwsze pierście-nia A.

Dowód. Udowodnimy najpierw, że M = ^P_pT_p(M ). Niech m ∈ M oraz am = 0 dla 0 6= a ∈ A. Gdyby a był elementem odwracalnym, to m = 0 i wobec tego m = 0 + · · · + 0 jest sumą elementów należących do prymarnych składowych modułu M. W przeciwnym razie

a = up^k₁¹· · · p^k_r^r,

gdzie u jest elementem odwracalnym oraz pi są parami niestowarzyszonymi elemen-tami pierwszymi pierścienia A. Połóżmy

P_i = a/p^k_iⁱ.

Elementy P₁, . . . , Pr są względnie pierwsze, zatem w pierścieniu (ideałów głównych) A istnieją elementy a₁, . . . , a_r takie, że

a₁P₁+ · · · + a_rP_r= 1.

Stąd otrzymujemy

a₁P₁m + · · · + a_rP_rm = m,

przy czym a_iP_im ∈ T_p_i(M ) gdyż p^k_iⁱ· a_iP_im = a_iam = 0. Zatem M =^P_pT_p(M ).

Przypuśćmy teraz, że

m ∈ T_p(M ) ∩^X

T_p_i(M ),

gdzie p, p_i są parami niestowarzyszonymi elementami pierwszymi pierścienia A. Wte-dy istnieją liczby naturalne k, k₁, . . . , k_r takie, że

p^km = 0 oraz p^k₁¹· · · p^k_r^rm = 0,

i wobec nwd(p^k, p^k₁¹· · · p^k_r^r) = 1 z lematu 4.1.2 otrzymujemy m = 0. Udowodniliśmy zatem, że T_p(M ) ∩^P_p_iT_p_i(M ) = 0 i wobec tego M = ^L_pT_p(M ).

W dokumencie Algebra Wykłady dla Studiów Doktoranckich (Stron 91-99)