Professional Documents
Culture Documents
l thuyt nhm ta c (Mn ;+) l nhm cng giao hon. Theo i s tuyn tnh ta bit
php nhn cc ma trn c tnh cht kt hp v c tnh cht phn phi i vi php cng
ma trn. Vy theo nh ngha : (Mn ; + ; .) l mt vnh.
Nhn xt :
Khi kim tra vnh X i hi trc ht phi kim tra (X;+) l nhm giao hon, nu iu
c kim tra trong phn nhm th ta c th khng cn phi kim tra li m ch
nhc rng iu c kim tra trc y trong l thuyt nhm ri. Cng nh
bn nhm nu nh mt i hi no trong nh ngha vnh (chng hn tnh cht kt
hp ca php nhn...) nu c m bo bi kt qu ca mt chuyn ngnh no
(chng hn i s tuyn tnh, s hc,...) th ta cng ch cn ni li rng iu c
theo chuyn ngnh m khng cn vit biu thc kim tra chi tit.
Ta nhn xt rng php cng trong vnh c cc tnh cht thng dng : kt hp,
giao hon, c n v, tn ti phn t i cho mi phn t; trong lc php nhn ch
i hi thm duy nht tnh cht kt hp. Tc l c th b sung thm cho php nhn cc
tnh cht thng dng cn li.
Khi php nhn trong vnh X c tnh cht giao hon ta gi vnh X l vnh giao hon.
Khi php nhn trong vnh X c thm n v (k hiu 1 hay e) ta gi vnh X l vnh c
n v.
Vnh (Mn ; +; .) kim tra v d 1 l vnh c n v (n v ca Mn l ma trn n v
E) tuy nhin khng l vnh giao hon.
2. V d 2 :
Cho X l vnh, Z l vnh cc s nguyn. Trn tp
X Z = {(x, n) : x X, n Z}
ta xc nh cc php ton :
(x1 , n1 ) + (x2 , n2 ) = (x1 + x2 , n1 + n2 )
(x1 , n1 )(x2 , n2 ) = (x1 x2 + n1 x2 + n2 x1 , n1 n2 )
Chng minh X Z l vnh c n v. Vnh ny c giao hon khng. Vi diu kin no
cho X th X Z giao hon?
Gii :
Theo cch xc nh php ton cng trong X Z (l php cng theo tng thnh phn !)
ta thy (X Z, +) l tch Decac ca hai nhm cng giao hon (X, +) v (Z, +) nn theo
l thuyt nhm ta c (X Z, +) l nhm cng giao hon. Vy ta cn phi kim tra php
nhn kt hp, v php nhn phn phi vi php cng. Tht vy :
(x1 , n1 ), (x2 , n2 ), (x3 , n3 ) X Z :
[(x1 , n1 )(x2 , n2 )](x3 , n3 ) = (x1 x2 + n1 x2 + n2 x1 , n1 n2 )(x3 , n3 )
= (x1 x2 x3 + n1 x2 x3 + n2 x1 x3 + x1 x2 n3 + n3 n1 x2 + n3 n2 x1 + n1 n2 x3 , n1 n2 n3 )
= (x1 , n1 )(x2 x3 + n2 x3 + n3 x2 , n2 n3 )
= (x1 , n1 )[(x2 , n2 )(x3 , n3 )] (1)
. . . a1j + a1i . . .
...
...
...
ctj
...
...
...
...
...
= ai1 + aj1 . . . aij + ajj . . . ain + ajn dng i
...
...
...
...
...
ctj
= Eij A
()
4. V d 4 :
Mt ma trn vung A = (aij )mn gi l ma trn tam gic nu aij = 0 khi i > j. Chng
minh rng tp MnT cc ma trn tam gic lp thnh mt vnh i vi php cng v nhn
ma trn.
Gii :
vMn
Theo ch trn ta ch vic chng minh MnT
hin nhin MnT 6= v E MnT
A = (aij ), B = (bij ) MnT :
A B = C = (cij ) vi cij = aij + bij
Nu i > j th aij = 0 = bij cij = 0 tc C l ma trn tam gic.
Vy : A B MnT
AB = C = (cij ) vi cij = ai1 b1j + ai2 b2j + . . . + ain bnj
Nu i > j th cij = [ai1 b1j + . . . + aij bjj ] + [a1j+1 bj+1j + . . . + a1n bnj ]
vi ai1 = . . . = aij = 0 v bj+1j = . . . = bnj = 0 cij = 0 tc A.B MnT .
Vy theo tiu chun vnh con : MnT
vMn tc MnT l vnh.
Bi Tp
1. Cho X l mt nhm cng giao hon. Gi End(X) l tp tt c cc t ng cu f : X X
; trong End(X) ta nh ngha cc php ton sau
Php cng : f, g End(X) th f + g : X X m x X : (f + g)(x) = f (x) + g(x)
Php nhn : f g : X X m x X : f g(x) = f [g(x)]
(a) Chng minh End(X) l vnh c n v vi hai php cng v nhn trn.
(b) Cho A l nhm con ca X. Gi N(A) tp tt c cc ng cu f End(X) m
f (A) = 0. Chng minh N (A) End(X).
(c) Vi mi s nguyn n Z ta xc nh nh x
n : X X m x X : n (x) = nx.
Chng minh rng n l t ng cu v H = {n : n Z} l vnh con giao hon c
n v ca End(X). C th khng nh rng H = Z(End(X)) khng, trong vnh
bn phi ng thc l tm ca vnh End(X).
2. Cho cc tp ma trn vung cp n sau :
(a) Mnc = {A = (aij )mn : ai1 = 0, i = 1, 2, . . . , n}
(b) MnF = {A = (aij )mn : ai1 = 0 = a1j , i, j = 1, 2, . . . , n}
Chng minh rng cc tp hp trn u l vnh vi hai php ton cng v nhn cc ma
trn.
3. CHo Z l nhm cng cc s nguyn. Chng minh vnh cc t ng cu ca Z, End(Z),
l mt vnh giao hon c n v, c tnh cht l tch hai phn t khc 0 l khc 0.
4. Cho X = Z Z l tch Decac ca nhm cng cc s nguyn Z vi chnh n. Chng
minh vnh cc t ng cu nhm End(Z Z) l vnh khng giao hon. Tm tm ca
End(Z Z).