CORBES DE SHIMURA I APLICACIONS - Universitat de Barcelona
CORBES DE SHIMURA I APLICACIONS - Universitat de Barcelona
CORBES DE SHIMURA I APLICACIONS - Universitat de Barcelona
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
1.1. Definicions i exemples 3<br />
La teoria <strong>de</strong> K−àlgebres centrals i simples permet donar una altre<br />
<strong>de</strong>finició (cf. [Pie82]), potser més operativa, d’àlgebra <strong>de</strong> quaternions.<br />
Denotem S(K) el conjunt <strong>de</strong> les K−àlgebres centrals i simples,<br />
<strong>de</strong> dimensió finita sobre K.<br />
El teorema <strong>de</strong> Wed<strong>de</strong>rburn-Artin, que s’obté combinant el lema <strong>de</strong><br />
Schur amb la forma matricial <strong>de</strong>ls endomorfismes, dóna l’estructura<br />
general <strong>de</strong> les àlgebres semisimples. En particular, aquest teorema<br />
prova que una K−àlgebra simple és isomorfa a una àlgebra <strong>de</strong> matrius<br />
Mn(D), on D és una K−àlgebra <strong>de</strong> divisió, <strong>de</strong>terminada mòdul<br />
isomorfisme.<br />
Els dos teoremes que citem a continuació són els consi<strong>de</strong>rats com<br />
a resultats fonamentals <strong>de</strong> la teoria <strong>de</strong> les àlgebres centrals i simples.<br />
El primer teorema generalitza el fet que els únics automorfismes<br />
<strong>de</strong> Mn(K) són els automorfismes interns (és a dir, els <strong>de</strong> “conjugació<br />
per una matriu”).<br />
1.1.5 Teorema. (Skolem-Noether) Si A ∈ S(K), aleshores tenim<br />
Aut(A) = {γu(x) = uxu −1 , u ∈ A ∗ } = Inn(A) ≃ A ∗ /K ∗ .<br />
1.1.6 Definició. Si A és una K−àlgebra i X és un subconjunt <strong>de</strong><br />
A, llavors el centralitzador <strong>de</strong> X en A es <strong>de</strong>fineix com<br />
CA(X) = {a ∈ A | ax = xa ∀x ∈ X}<br />
En particular, CA(A) = Z(A). Si l’àlgebra és central, aleshores<br />
CA(CA(A)) = CA(K) = A. El teorema següent generalitza això a<br />
les subàlgebres simples.<br />
1.1.7 Teorema. (<strong>de</strong>l doble centralitzador) Si A ∈ S(K), B és<br />
una subàlgebra simple i CA(B) és el centralitzador <strong>de</strong> B en A, llavors:<br />
1. CA(B) és simple.<br />
2. dimK(B)dimK(CA(B)) = dimK(A).<br />
3. CA(CA(B)) = B.<br />
1.1.8 Corol . lari. Si A ∈ S(K) i F n’és un subcòs maximal, llavors<br />
CA(F) ≃ Mn(F) i dimK(A) = n 2 [F : K] 2 .