Professional Documents
Culture Documents
Module T Do
Module T Do
1.1 Modun tự do
1.1.1 Tập sinh, tập độc lập tuyến tính
Định nghĩa 1.1.1. Cho M là Môđun tự do (trên R) với ∅ ̸= S ⊂ M . Môđun sinh bởi tập
S hữu hạn, kí hiệu: ⟨S⟩ với định nghĩa
Chú ý 1.1.2. 1. M = ⟨M ⟩.
2. Nếu tồn tại tập S hữu hạn, sinh ra M(⟨S⟩ = M ) thì M được gọi là mođun hữu hạn
sinh.
3. Nếu tồn tại phần tử s sao cho M = ⟨s⟩ thì M được gọi là mođun cyclic.
Định nghĩa 1.1.3. Tập S được gọi là độc lập tuyến tính nếu với
X
ai si = 0, si ∈ S, ai ∈ R ⇒ ai = 0, ∀i
Tập S được gọi là cơ sở của mođun M nếu S vừa là tập độc lập tuyến tính vừa là tập sinh.
Vậy S là cở sở X
⇔ ∀u ∈ M, u = as s | s ∈ S, as ∈ R
s∈S
1
1.1 Modun tự do 2
Chứng minh. ” ⇒ " Trong trường hợp M = 0, hiển nhiên đúng. Ta sẽ chứng minh cho
trường hợp M ̸= 0.
Lấy S là cơ sở của M với a ∈ S. Khi đó φs : R → Rs, r → rs là đẳng cấu mođun. Ta
sẽ chứng minh M
M= Rs
s∈S
Với a0 ∈ S, lấy X
c ∈ Rs0 ∩ Rs.
s0 ̸=s∈S
Và do đó s1 = s2 = · · · = sn = 0
Suy ra X
c ∈ Rs0 ∩ Rs = 0
s0 ̸=s∈S
Và như vậy M
M= Rs
s∈S
2. Rs ∼
=R
Rs ∼
M M
Mi = = R
M M M
Mi ∼ R ∼
M
⇒ = = R
i
L
Vậy Mi là mođun tự do.
Với u, v ∈ F X X
u= as s; v= bs s
Vậy (F, +, .) là mođun trên R, với quy ước 1s = s; as = a.s trong mođun F.
Trường hợp S = ∅ => ⟨s⟩ = {0}.
i
S F
j̄
j
ī
F′
Từ (1)(2) suy ra
(
īj̄j = j(3)
(1.1.1)
j̄ īi = i(4)
∃!j0 : F ′ → F ′ thõa j0 .j = j(**) mà īj̄ thõa (**) do (3), 1′F thoã (**) suy ra īj̄ = 1′F .
1.2 Modun xạ ảnh. 4
j
S F′
j
j0
′
F
F/Kerf ∼
= Imf = A, (F tự do)
P
f
γ
B δ
C D
Định lý 1.2.2. P là xạ ảnh khi và chỉ khi P là hạng tử trực tiếp của môdun tự do.
i p
Chứng minh. (=>) P xạ ảnh, nhúng P vào dãy khớp ngắn 0→A→
− F→
− P → 0 (∗)
Xét sơ đồ:
P
β
1p
F p P 0
Theo giả thiết, tồn tại môdun A sao cho P ⊕ A=F là môdun tự do, xét sơ đồ:
F =P ⊕A
π i
α
P
β γ
B σ C
Giả sử S là cơ sở của F, với mọi s∈S
Do γπ(s) ∈C nên tồn tại b∈B để γπ(s)=σ(b)
Ta có ánh xạ β: S→B , s 7−→ α(s) = b
Do đó tồn tại duy nhất α: F → B thoả α(s)=α(s)=b => σα(s)=γπ(s) với mọi s ∈ S. Suy
ra σα = γπ => σαi = γπi = γ
Đặt β = αi : P → B
Ta có: γβ=γ. Nên P xạ ảnh.
3. P xạ ảnh khi và chỉ khi P hạng tử trực tiếp của môdun xạ ảnh