Produse tensoriale

3.1Produse tensoriale de module

Consideram inelele topologice asociative, Hausdorff i cu unitate. Toate modulele
topologice sunt Hausdorff si unitare. Vom considera doar omomorfisme continue .
Definiia 3.1.1. Fixm R un inel topologic si fie
R
A
,
B
R
respectiv R-module compacte
unitare drept i stng. func!ie continu fi " # x $ a

C, unde C este un grup #%elian

compact, se numete R-ec&ili%rata dac este liniar 'n fiecare varia%il, adic

(a
)
* a
+
, %,
-

(a
)
, %,*

(a
+
, %, i

(a, %
i
* %
+
, -

(a, %
)
,*

(a, %
+
, pentru orice
a, a
)
, a
+
A , %, %
)
, %
+
$, i

(ar, %, - fi (a, r%, pentru orice a #, % $, r R.

Remarca 3.1.2. .ac
R
A
,
B
R
sunt respectiv R-module compacte drept i stng, C un grup
#%elian compact,

" # x $

C, o aplica!ie R-ec&ili%rat i a " C

C
i
un omomorfism
continuu, atunci

" # x $

C
)
este o aplica!ie R-ec&ili%rat.
Definiia 3.1.3. perec&e (C,

, unde C este un grup #%elian compact i "

" # x $

C, este o aplica!ie R-ec&ili%rat se numete produs tensorial al lui

R
A
,
B
R
dac pentru
orice grup #%elian compact . i orice aplicatie R-ec&ili%rat

" " # x $

. exist un
unic omomorfism continuu
/

" C

. astfel 'nct urmtoarea diagram comut,

#

.
/

adic

-
/

0otm 'n acest ca1

(a, %, cu a %, unde a #, % $.

Fie (C,

, un produs tensorial al lui.

R
A
,
B
R
#firmam ca su%grupul C
)
al lui C
generat de elementele a %, a #, % $ este dens 'n C. 2ntr-adevar, notam cu p
omomorfismul canonic al lui C pe C3C
)
. Considerm aplicatia R-ec&ili%rata triviala
)

a lui
# x $ 'n C3C
)
, adica
)

(a, %, - 4 pentru orice a #, % $. #tunci

)

4- p o

.
.in definitia produsului tensorial urmea1a ca p - 4, prin urmare C - C
)
.
2n continuare vom demonstra existenta produsului tensorial pentru orice R-modul
compact drept
R
A si orice R-modul compact stng, B
R
el va fi notat cu #
/

B
R
.
Teorema 5.1.5. .ac
R
A
este un R-modul compact unitar drept i
B
R
este un R-modul
compact unitar stng atunci exist produsul tensorial. #
/

B
R
.
Demonstraie" Fie F grupul discret al tuturor aplicatiilor R-ec&ili%rate f din # x $ 'n T avnd
urmatoarea proprietate"
exista o vecinatate V a lui 1ero a lui R astfel 'nct f (av, %, - 4 pentru toti v V, a #,
% $.
Consideram grupul dual C - F5.
.efinim

" # x $ C astfel" daca (a, %, # x $, atunci punem

(a, %,(f, "- f

(a, %, pentru orice f F. 6ste usor de demonstrat ca n este o aplicatie R-ec&ili%rata. Fie, de
exemplu, a #, r R, % $. #tunci pentru orice f F,

(ar, %,(f, - f (ar, %, -

f (a, r%, - n(a, r%,(f ,, prin urmare

(ar,%, -

(a, r%,.
#firmam ca

este continua. Fie 7 orice vecinatate a lui 1ero a lui C. #tunci exista un

8
4 si o su%multime finita 9 a lui F astfel 'nct T(9,

7..eoarece toate aplicatiile f

9 sunt continue 'n (4, 4,, exista vecinatatile :, V ale lui 1ero ale lui # si respectiv $, astfel
'nct f (: x V,

(

, pentru orice f 9. #tunci

(: x V,

7. 2ntr-adevar,
daca f 9, u :, v V, atunci

(u, v,(f, - f (u, v,

(

, si deci

(u, v,
T(9,

,. #m demonstrat ca

(: x V,

7, prin urmare

este continua 'n (4, 4,.

;ema <.).=. .ac #,$ sunt R-module 1ero-dimensionale compacte drept i stng atunci
#>R$ este 1ero-dimensional.
.emonstratie" Fie f ? F@ atunci f este o aplicatie R-ec&ili%rata continua a lui # x $ 'n T. Fie V
o vecinatate a lui 1ero a lui T care nu contine un su%grup nenul. Aentru orice a ? # exista o
vecinatate :
a
si un su%grup desc&is V
(a,
al lui $ astfel 'nct f (:
a
x V
( a ,
, C V. 6xista
a
i
, . . . , a
n
? # astfel 'nct # - :
ai
: ... : :
a
B. 0otam V4 - V
ai
. ... . V
a
C. %tinem imediat
ca f (#, V
4
, C V, prin urmare f (#, V
4
, - 4.
2ntr-adevar, fie a, a
i
, a
+
? #, %, %
i
,%
+
? $, deoarece n este R-ec&ili%rata avem # (ai * a+, %, -
n (ai * a+ * #o, % * $D, - n ((ai * #o, * (a+ * #o, , % * $D, - n (ai * #o, % * $, * n
(a+ * #o, % * $o, - # (ai, %, * # (a+, %,@
# (a, %i * %+, - n (a * #o, %i * %+ * $o, - n (a * #o, (%i * $o, * (%+ * $o,, - n (a *
#o, %i * $o, * n (a * #o, %+ * $o, - # (a, %i, * # (a, %+, si # (ar, %, - n (ar * #o, % *
$o, - n ((a * #o, r,% * $o, - n (a * #o, r (% * $E,, - n (a * #
o
, r% * $
o
, - #
(a, r%,.
.in proprietatea universalaa a produsului tensorial existaa un omomorfism continuu a "
#
>R
$ #
(#3#
D, >r ($3$,, a (n (a, %,, F # (a, %, pentru orice (a, %, ? # x $.
# x $ -# #>
r
$
# G . a
( #3 #
, >R
( $3 $
4
,
Fie #
i
" (#3#

, x ($3$

, # #>R$, #
i
(a * #
o
, % *$

,
- n (a, %, aplicatia R-ec&ili%rata
din Remarca <.).H. #tunci exista un omomorfism continuu fi " (#3#

,
>R
($3$
4
, a #
>R
$,
fi (n
i
(a
*
#
4
,%
*
$
o
, ,
-
n ( a, %,
.
#tunci a o fi
- )(a3#o,>r($3$E, s
i fi o a
-
R
$.
I
Corolarul <.).)). .ac #R, R$ sunt R-module compacte drept i stng, atunci #>R$ este
1ero-dimensional.
Fie #R un R-modul compact drept si R$ un R-modul compact stng peste un inel topologic
R. .aca J C #,K C $, atunci vom nota cu LJ>KM 'nc&iderea su%grupului lui #>R$ generat
de elementele de forma /n-
4
x5 >Ni, xi ? J, Ni ? K, n ? u.
Teorema <.).)+. .ac #R i R$ sunt R-module compacte 1ero-dimensionale stng i drept
atunci familia L:>$M * L#>VOP, unde : parcurge toate su%grupurile desc&ise ale lui # i V
parcurge toate su%grupurile desc&ise ale lui $, este un sistem fundamental de vecintti ale
lui 1ero al lui #>R$.
.emonstrare" Qu%grupul (x > N " x ? #, N ? $, este dens 'n #>R$. Fie : un su%grup
desc&is al lui # si V un su%grup desc&is al lui $. 6xista su%multimile simetrice finite F C #,
9 C $ astfel 'nct # - F * :, $ - 9 * V. Aentru orice x ? F, N ? 9, u ? :, v ? V, (x
* u, > (N * v, - x > N * x > v * u> N * u> v. .eoarece #3: este finita, exista R ? u
astfel 'nct R# C :. Consideram su%multimile finite H - S(lx, > N " l ? L4, R F )M, x ?
F, N ? 9T, H
i
- LlMH. 6ste evident ca C - H
i
* L:>$M *
L#>VM, prin urmare L:>$M * L#>VM
este desc&isaa.
Fie 7 un su%grup desc&is al lui #>
R
$. .in continuitatea aplicatiei n " # x $ # #>
r
$ si
compactitatea lui # si $ exista un su%grup desc&is : al lui # si un su%grup desc&is V al lui $
astfel 'nct :>$ C 7, #>V C 7 / L:>$M * L#> VM C 7. I
Teorema <.).)U. Fie R un inel compact cu unitate. .ac RV (VR, este un R-modul compact
unitar stng (drept, atunci grupurile R i R4RV (R i V4RR, sunt i1omorfe.
.emonstraie" Consideram aplicatia a " V F R4V, m F ) 4 m. #tunci a este un
omomorfism continuu de grup. Consideram aplicatia & " R x V F V, (r, m, F rm.
6vident, & este o aplicatie R-ec&ili%rata continua. #tunci exista un omomorfism continuu de
grup
A " R4V F V astfel 'nct A(r 4 m, - rm, m W V. .aca m W V, atunci Aa(m, - A()
4 m, - lm - m, prin urmare A o a - )
V
@ daca r W R, m W V, atunci aA(r 4 m, -
a(rm, - ) 4 rm - r 4m. .eoarece multimea Sr 4 m " r W R, m W VT este densa 'n
R4V, a o A - )Rg
V
. Re1ulta ca grupurile topologice V si R4V sunt i1omorfe. I
Remarca <.).)X. .ac #R, #R sunt R-module compacte drepte peste un inel topologic R, R$,
R$
4
sunt R-module compacte stngi i a " #R F #R, A " R$ FR $
4
. #vem un omomorfism
natural de grup a4A " #4R$ F #
4
4R$
4
, astfel 'nct a4A (a 4 %, - a (a, 4A (%, pentru toti a W
#, % W $.
5.1 Aroduse tensoriale de module compacte
Vom considera module topologice Hausdorff si inele topologice asociative, Hausdorff si cu
unitate.
Fixam un inel topologic comutativ cu unitate R. Fie #
)
, . . . , #
n
, $ R-module compacte.
.efini!ia <.+.). func!ie continu f " #
)
x ... x #
n
F $ se numete n-liniar dac pentru orice
i W L),nP i orice elemente x
)
, ...,x
i-)
,x
i*)
, . . . , x
n
, xY W #Y , aplicaia x F f (x
)
, . . . , x
i -
)
, x, x
i *)
, . . . , x
n
, este un omomorfism de R-module al lui #
i
'n $.
.efini!ia <.+.+. perec&e (C, n,, unde C este un R-modul compact i n " #
)
x ... x #
n
F C
este o aplicatie n-liniar, se numete produs tensorial al lui #
)
, . . . ,#
n
dac pentru orice R-
modul compact . i orice aplicaie n-liniar f " #
)
x ... x #
n
F . exist un R-omomorfism
continuu unic f " C F . astfel 'nct a - f o n.
0otam ca daca exista un produs tensorial, este unic pna la un i1omorfism topologic. Fie (C,
n, un produs tensorial al lui #
)
, . . . , #
n
. #tunci su%grupul C
)
al lui C generat de elementele
n(a
)
, . . . , a
n
,, cu a
i
W #
i
, este dens 'n C. 0otam cu p omomorfismul canonic al lui C pe C3C
)
.
Consideram aplicatia n-liniara, triviala n
)
a lui #
)
x ... x #
n
'n C3C
)
, adica n
)
(a
)
, . . . , a
n
, - 4
pentru orice a
)
W #
)
, . . . , a
n
W #
n
. #tunci n
)
- 4on - pon. .in definitia produsului
tensorial p - 4, prin urmare C - C
)
.
Fie acum (C, n, si (C
)
, n
)
, doua produse tensoriale ale lui #
)
, . . . , #
n
. #tunci exista omo-
morfismele continue a " C F C
)
si A " C
)
F C astfel 'nct n
)
- a o n, n - A o n
)
.
#tunci
(a o fi,(n
i
(a
i
, . . . , a
n
,, - a (fi (n
i
(a-M/,..., a
n
,,, - a (n(a
i
, . . . , a
n
,, - n
i
(a-M/,..., a
n
, pentru
orice a
i
? #
i
, . . . , a
n
? #
n
, prin urmare a o fi - )
Cl
. 2n mod analog, fi o a - )
C
. .eci, C si C
i
sunt
i1omorfe topologic.
;ema <.+.U. .ac R# este un R-modul topologic discret, unde R este un inel topologic
ar%itrar, atunci #R este un R-modul compact.
.emonstratie" Fie 9 o su%multime finita a lui #, e 8 4 si V o vecinatate a lui 1ero a lui R
astfel 'nct V I 9 - 4. #tunci #5V C T(9, e,. 2ntr-adevar, daca ? ? #5 , v ? V, atunci
?v(9, - ?(v9, - 4, prin urmare ?v ? T(9, e,. #m demonstrat ca #5V C T(9, e,.
Fie r ? R, 9 o su%multime finita a lui # si e 8 4. #tunci T(r9, e, C T(9, e, deoarece
daca ? ? T(r9, e, atunci ?r(9, - ?(r9, C T(9, e,. I
#vem nevoie de o lema duala.
;ema <.+.X. .ac R# este un R-modul topologic compact atunci #R este un R-modul topo-
logic discret.
.emonstratie" Fie ? ? #5 si V o vecinatate a lui 1ero a lui T care nu contine un su%grup
nenul. Fie : o vecinatate a lui 1ero a lui # astfel 'nct ?(:, C V. Re1ulta din compactitatea
lui # ca exista o vecinatate 7 a lui 1ero a lui R astfel 'nct 7 I # C :. .aca Z ? 7, atunci
?Z(#, - ?(Z#, C ?(:, C V ce implica ?Z - 4, prin
urmare ?7 - 4. I
Teorema <.+.<. .ac #
i
, . . . , #
n
sunt R-module unitare compacte atunci exist produsul
tensorial #
i
>. . . >#
n
.
.emonstrare" Fie F grupul tuturor aplicatiilor continue f din #
i
x ... x #
n
'n T cu proprietatile"
5.2 f (tai, . . . , an, - f (ai, ta+, . . . , an, - . . . - f (ai, . . . , tan, pentru toti t ? R, a5 ? #
5.3 exista o vecinatate V a lui 1ero a lui R astfel 'nct f (va
i
, . . . , a
n
, - 4 pentru toti
v ? V, a5 ? #5.
.efinim actiunea lui R pe F astfel" daca t ? R, f ? F, atunci punem (tf ,(a-P[, . . . , a
n
, - f (ta
i
,
. . . , a
n
, pentru orice (a
i
, . . . , a
n
, ? F. 6ste clar ca F devine un R-modul topologic discret.
.aca C este dualul lui F atunci conform ;emei <.+.U C este un R-modul topologic compact.
.efinimn " #
i
x. . . x#
n
# C astfel" daca (a-M/,..., a
n
, ? #
i
x. . . x#
n
atunci n(a
i
, . . . , a
n
,(f, "-
f(a
i
, . . . , a
n
, pentru orice f ? F. 6ste usor de aratat ca n este o aplicatie n-liniara. Fie
i ? L), nM, x ? #i, t ? R, si aY , Y - ), . . . , i F ), i * ), . . . , n elemente fixate
respectiv 'n #
i
, . . . ,#
i - i
, #
i *i
, . . . , #
n
. #tunci pentru orice f ? F,
\ 9
( a
l
,
...
, a
iFl
, t x, a
i*i
,
...
, a
n
, ( f , f ( a
i
,
...
, a
i-ii
tx, a
i*i
,
...
, a
n
, si

( t n( a
i
,
...
, a
i-i
, x, a
i*i
,
...
, a
n,
, ( f , n( a
i
,
...
, a
iFl
, x, a
i*i
,
...
, a
n
, ( t f ,
( t f , ( a
i
,
...
, a
i-i
, x, a
i*i
,
...
, a
n
, f ( a
l
,
...
, a
i-i
, tx, a
i*i
,
...
, a
n
,
.
<.+ Aroduse tensoriale de module compacte X] #m demonstrat ca n este o aplicatie n
-liniara.
Fie (a
)
, . . . , a
n
, W #
)
x . . . x #
n
astfel 'nct V - Si " a
i
- 4T - 4. .eoarece
fiecare
? W 9 este continua 'n (a
)
, . . . , a
n
,, exista vecinatatile :
i
ale lui 4
i
, i W V, astfel 'nct
?
(ni3V
a
i
x
nY /V
:
Y,
C R ( ,
p
entru toti ? g V
.
#t unc i
/(ni3V a
x
nY 3V
:
Y,
C 7
#m demonstrat ca n este o aplicatie continua.
Vom arata acum ca C este produsul tensorial al lui #
)
, . . . ,#
n
. Fie a " #
)
x . . . x #
n
F J
o aplicatie n-liniara 'ntr-un R-modul compact J. Vom defini un R-omomorfism # " J5
F F astfel" pentru orice ? W J5, ? o a " #
)
x . . . x #
n
F T este un element al lui F.
Aunem #(N, - Koa, N W J5. #firmam ca # este un R-omomorfism. 2ntr-adevar, fie / ?
+
W
J5. #tunci pentru orice ai W #i, #(?) * ?+,(a), . . . , an, - (?) * ?+,(a(a), . . . , an,, -
?)a(a), . . . , an, *?+a(a), . . . , an,
-
#( ?
)
, ( a
)
,
. . .
, a
n
,
*
#( ?
+,
( a
)
,
. . .
, a
n
,
-
( #( ?
)
,
*
#( ?
+// . . .
, a
n
,
/
#( ?
) *
?
+, -
#( ?
)
,
*
#( ?
+
,
.
Fie t W R, ? W J5. #tunci pentru orice (a
)
, . . . , a
n
, W #
)
x . . . x #
n
,
#(t?,(a), . . . , an, - ((t?, o a,(a
&
..., an, - (t?,(a(a
&
. . . , an,, - ?(ta(a), . . . , an,,
si
t#(?,(a), . . . , an, - t(#(?,,(a
&
..., an, - #(?,(ta
&
..., an,, -
(? o a,(ta
)
, . . . , a
n
, - ?(a(ta
)
, . . . , a
n
,, - ?(ta(a
)
, . . . , a
n
,, - (t?,(a(a
)
, . . . , a
n
,,, prin
urmare #(t?,- t#(?,.
Fie #
5
" F
5
F J
55
omomorfismul conYugat al lui #. Conform ;emelor <.+.U, <.+.X, J
55
este i1omorf topologic cu J ca un R-modul. Aunem g " F5 F J, g - u
- )
o #5, unde u este
i1omorfismul topologic canonic al lui J pe J55. #firmam ca a - a o n. 2ntr-adevar, fixam
(a
)
, . . . , a
n
, W #
)
x . . . x #
n
. #tunci a(a
)
, . . . , a
n
, - a(n(a
)
, . . . , a
n
,, / a(a), . . . , an, - u
-
)
(#5(n(a), . . . , an,,, G
u(a(a), . . . , an,, - #5(n(a), . . . , an,, G
u( a ( a
)
,
...
, a
n
, , / ( a
)
,
...
, a
n
, o #
.
:ltima egalitate este adevarata G pentru orice K W J5, u(a(a), . . . , an,,(K, - (n(a),
. . . , an, o #,(K, G
K(a(a), . . . , an,, - n(a), . . . , an,(#(K,, G
K(a(a), . . . , an,, - n(a), . . . , an,(K o a, G
5.4 (a(a
)
, . . . , a
n
,, - (K o a,(a
)
, . . . , a
n
, care este adevarata.
:nicitatea lui a. 6ste suficient sa aratam ca multimea Sn(a
)
, . . . , a
n
, " a
i
W #
i
T generea1a
#
)
4...4#
n
ca un modul topologic. 6ste %inecunoscut din teoria dualitatii ca daca su%modulul
. - SSn(a
)
, . . . , a
n
, " a
i
W #T separa punctele lui F, el este dens 'n F. #tunci exista
(a
)
, . . . , a
n
, W #
)
x . . . x #
n
astfel 'nct 4 - ?(a
)
, . . . , a
n
, - n(a
)
, . . . , a
n
,(?,, adica . separa
punctele lui F. I
Vom nota mai Yos n(a
)
, . . . , a
n
,, unde a
i
W #
i
, cu a
)
4 . . . 4 a
n
.
Teorema <.+.=. .ac #
i
, . . . ,#
n
sunt R-module compacte 1ero-dimensionale peste un inel
topologic comutativ R cu unitate atunci #
i
>...>#
n
este 1ero-dimensional.
.emonstrare" Fie ? ? F, atunci ? este o aplicatie continua a lui #
i
x ... x #
n
'n T care satisface
conditiile i,, ii, din Teorema <.+.<. Fie V o vecinatate a lui 1ero a lui T care nu con!ine un
su%grup nenul. Aentru orice a
i
? #
i
, i ? L+, nM exista vecinatatile :\ - :(a
+
, . . . , a
n
, ale lui
1ero si :
ai
ale lui a
i
astfel 'nct ?(:\ x :
a+
x ... x :
an
, C V. .eoarece #
+
x . . . x #
n
este un
spatiu compact exista o acoperire finita S:
a+ i
x . . . x :
an i
" i ? L), mMT a lui #
i
x . . . x
#
n
. Fie :i - :(a+, i, . . . , a
n
, i, . . . . . :(a+,
m
, . . . , a/m,. 6vident, ?(:i x #+ x . . . x
#n, C V. Fixam u ? :, x
U
? #
U
, . . . , x
n
? #
n
. #tunci ?(u, #
+
, x
U
, . . . , x
n
, este un su%grup
al lui V, prin urmare este egal cu 1ero. #m demonstrat ca ?(:
i
x #
+
x ... x #
n
, - 4. 2n mod
analog exista vecinatatile :
+
, ...,:
n
ale lui 1ero respectiv 'n #
+
, . . . , #
n
, pentru care ?(#
i
x :
+
x ... x #
n
, -
5.5 , . . . , ?(#i x #+ x ... x :n, - 4.
Fie F.i, i ? L), nM su%multimi finite respectiv ale lui #
i
, . . . , #
n
, astfel 'nct #
i
- F.i * :. ,
ii ? L), nM. Re1ulta ca ?(#
i
, . . . , #
n
, C ?(F
i
, . . . , F
n
,. .eoarece orice element al lui ?
(F
i
, . . . , F
n
, este continut 'ntr-un su%grup 1ero-dimensional al lui T, aceasta su%multime este
continuta 'ntr-un su%grup finit al lui T. .eci exista un numar natural m astfel 'nct m? - 4.
#m demonstrat ca F este un grup torsiune, deci C este 1ero-dimensional. I
:rmatoarea Teorema arata ca 'n ca1ul modulelor compacte conexe notiunea de produs
tensorial este trivialaa.
Teorema <.+.]. .ac unul din grupurile #
i
, . . . , #
n
, n 8 ), este conex atunci #
i
>...> #
n
- 4.
.emonstratie" Aastram notatia Teoremei anterioare. Aresupunem pentru simplitate ca #
i
este
conex. Fie V o vecinatate a lui 1ero a lui T care nu contine su%grupuri nenule. Fixam ? ? C.
6xista o vecinatate V a lui 1ero a lui #
i
astfel 'nct ?(V x #
+
x ... x #
n
, - 4 pentru orice ? ? C
(din aceleasi argumente ca 'n demonstrata Teoremei anterioare,. .eoarece #
i
este generat de
V, ?(#
i
x . . . x #
n
, - 4. #m o%tinut ca F - 4, deci C - 4. I
Fie #
i
, . . . , #
n
R-module compacte si J5 C #5, i ? L), nM un R-modul compact stng peste
un inel topologic R. Vom nota cu LJ
i
>...>J
n
M 'nc&iderea su%grupului lui #
i
>...>#
n
generat
de elementele de forma x
i
> ... > x
n
, J. ? J5, i ? L), nM.
Teorema <.+.^. .ac #
i
, . . . ,#
n
sunt R-module compacte 1ero-dimensionale peste un inel
topologic comutativ R atunci familia L:
i
>...>#,BP * ... * L#
i
>...>:
n
M, unde :. parcurge
toate su%grupurile desc&ise ale lui #., i ? L), nM este un sistem fundamental de vecint: ale
lui 1ero al lui #
i
>...>#
n
.
.emonstrare" Qu%grupul (x
i
> ... > x
n
" x. ? #., i ? L), nM, este dens 'n #
i
>...>#
n
. Fie :.
su%grupuri desc&ise ale lui #., i ? L), nM. 6xista su%multimile simetrice finite F. C #. ,
5.6 W L), nP astfel 'nct #
i
- F
i
* :
i
. Aentru orice x
i
W F
i
, u
i
W :
i
, (x
)
* u
)
, 4 ...
4 (x
n
* u
n
, W
x) 4 ... 4 x
n
* L:)4...4#BP * ... * L#) 4...4:
n
M.
.eoarece #
i
3:
i
, i W L),nP sunt finite, exista R W 0* astfel 'nct R#
i
C :
i
, i W L),nP.
Consideram su%multimile finite H - S(lx
)
, 4 ... 4 x
n
" l W L4, R F )M, x
i
W F
i
, i W L), nMT.
6ste evident ca C - H
)
* L:
)
4...4#
n
P * ... * L#
)
4...4:
n
P, prin
urmare L:
)
4...4#
n
P * ... *
L#
)
4...4:
n
P este desc&isa.
Fie 7 un su%grup desc&is al lui #
)
4...4#
n
. .in continuitatea aplicatiei n " #
)
x ... x #
n
F
#
)
4...4#
n
si compactitatea lui #
i
exista un su%grup desc&is :
i
al lui #
i
astfel 'nct :
)
4...4#
n
C
7,...,#
)
4...4:
n
C 7.Re1ulta ca L:
)
4...4#
n
P * ... * L#
)
4...4:
n
P C 7. I
Vom demonstra
Teorema <. +. H. .ac R este un inel discret comutativ cu unitate, #, $, C trei R-module
unitare compacte 1ero-dimensionale, atunci exist un unic R-i1omorfism topologic
(#4$,4C F #4$4C pentru care (a 4 %, 4 c\F a 4 % 4 c.
.emonstraie" Fixam c W C si consideram aplicatia # x $ F #4$4C, (a, %, F a % c. 6ste
clar ca aceasta aplicatie este continua si %iliniara. 6xista un R-omomorfism continuu f
c
" #4$
F #4$4C astfel 'nct f
c
(a, %, - a 4 % 4 c pentru orice a W #, % W $.
Consideram aplicatia a " (#4$, x C F #4$4C, a(x, N, - f
N
(x,. #firmam ca aceasta
aplicatie este %iliniara. .aca x
)
, x
+
W #4$, atunci pentru orice N W C, f
N
(x
)
* x
+
, -
fN(x), * fN(x+,, deci a(x) * x+, N, - a(x), N , * a(x+, N,. Fie N), N+ W C. #tunci
fN
)*
N
+
este un omomorfism continuu al lui #4$ 'n #4$4C. .aca a W #, % W $, atunci f
Ni
*
N+
(a
4 %, - a 4% 4 (N) * N+, - a 4 % 4 N) * a 4 % 4 N+ - fN
)
(a 4 %, * fN
+
(a 4 %, - (fN
)
* fN
+
,(a 4
%,. .in continuitatea lui f
Ni
, f
N+
, f
Ni
*
N+
o%!inem ca f
Ni
*
N+
- f
Ni
* f
N+
. Re1ulta ca pentru orice x
W #4$, a(x, N
)
* N
+
, - a(x, N
)
, * a(x, N
+
,. Fie t W R, x W #4$, N W C. 6vident,
a(tx, N, - ta(x, N,. Fie t W R, N W C. #tunci pentru orice t\ W R, t(f
N
(t\ a4%,, -
t(t\a4%4N, - tt
4
(a4%4N, - (t\ a4%4t N, - f
t N
(t\ a4%,. Re1ulta ca t(f
N
(d,, - f
t N
(d, pentru
orice d W . unde . este su%modulul lui #4$ generat de multimea Sa 4 % " a W #, % W
$T. .in continuitatea lui f
N
si f
t N
o%tinem t(f
N
(x,, - f
t N
(x, pentru orice x W #4$, adica
ta(x, N, - a(x, tN,.
Vom arata mai Yos continuitatea lui a. Fixam c W C si fie 7 o vecinatate a lui 1ero 'n #4$
4 C. .eoarece f
c
este continua exista o vecinatate : a lui 1ero a lui #4$ astfel 'nct fc(:,
C 7. #tunci a(:, c, - f
c
(:, C 7.
Fie 7 un su%grup desc&is al lui #4$4C. .eoarece aplicatia n " #x$ xC F #4$4C este
continua, exista su%grupurile desc&ise : si V respectiv ale lui # si $, astfel 'nct :4$ 4 C C
7, #4V4C C 7.Conform Teoremei <.+.^, L:4$M * L#4VP este o vecinatate a lui 1ero a lui
#4$. #tunci a(L:4$M * L#4VM, C, C 7.Fie c W C@ atunci a(L:4$M * L#4VP, c, -
f
c
(L:>$M * L#>VM, C fc(:>$, * f
c
(#>V, C (#>$>C, * (#>V>C, C 7. #m
demonstrat continuitatea lui a 'n (4, 4,.
Fixam x ? #> $. Fie 7 un su%grup desc&is al lui #> $> C. 6xista un su%grup desc&is H
al lui C astfel 'nct #>$>H C 7. #tunci a(#>$, H, C 7. 2ntr-adevar, fie & ? H.
#tunci
a(#>$, &, - f&(#>$, -
f&Y > % " a ? #, % ? $, C f&(a > % " a ? #, % ? $, C fa > %, " a ? #, % ? $, F (a >
% > & " a ? #, % ? $, C 7
r
.
.in proprietatea universala a produselor tensoriale exista un omomorfism f " (#>$,>C #
#>$>C astfel 'nct f ( x >c , - f
c
(x,, x ? #>$, c ? C. .aca x - a>%, a ? #, % ?
$, c ? C atunci f ( ( a %, c, - fc(a > %, F a > % > c. Consideram aplicatia (a, %, c, i
8 a > % > c a lui # x $ x C 'n (#>$,>C. #ceasta aplicatie este U-liniara, prin urmare
exista un omomorfism continuu g " #>$>C # (#>$,>C pentru care g(a > % > c, -
a > % > c. 6ste clar ca f o g
si g o f sunt aplicatii identice. I
Teorema <.+.)4. .ac # i $ sunt dou R-alge%re compacte peste un inel discret comutativ R
cu unitate atunci exist o structur de R-alge%r compact pe # > R$ astfel 'nct (a > %,(a\ >
%\, - aa\ > %%\ pentru a, a\ ? #, %, %\ ? $.
.emonstratie" 0otam C - #>
R
$. Consideram aplicatia #x$ J #J $ # C, (a, %, a\ , %\ , a
aa\ > %%\. #ceasta aplicatie este X-liniara prin urmare exista un R-omomorfism continuu fi
i
"
#>$>#>$ # #>$, fi
i
(x > N > x\ > N\, - xx\ > NN\. .in Teorema <.+.H exista un R-
omomorfism continuufi
+
" (#>$,>(#>$, # C, f i
+
( ( x > N, > (x\ >
N\ ,, - xx\ > NN\.
Aunem pentru orice x,N ? C, xN - fi
+
(x >N , .
#firmam ca aceasta regulii da o structurii de R -alge%ra compacta pe C. Fie 7
xN
o vecinatate
a lui xN. 6xista o vecinatate :
x
>
N
a lui x>N astfel 'nct fi
+
(:
x
>
N
, C 7
xN
. Fie :
x
, :
N
respectiv vecinatatile lui x si N, astfel 'nct :
x
>:
N
C :
x
/
N
. #tunci :
x
I :
N
- fi
+
(:
x
>:
N
, C
7
xN
. #m demonstrat ca 'nmultirea este continua. #sadar #>$ este un inel compact.
#firmam ca este o R-alge%ra. Fie a ? R, x, x\ ? #, N, N\ ? $. #tunci a ( ( x >N,(x\ >N \ , ,
- a(xx\ > NN\, - a(x > N,(x\ > N\ ,. .in continuitatea 'nmultirii o%tinem a(xN, - (ax,N
pentru orice x, N ? #>R$. 2n mod analog a(xN, - x(aN,, oricare ar fi x, N ? #>R$. I
Corolarul <.+.)). .ac # i $ sunt dou inele topologice compacte finit generate cu unitate
atunci #>$ este un inel topologic finit generat.