Esto es el contenido del primer teorema fundamental de la geometra proyectiva III.

1, que
aparte de las excepciones dimensionales bajas, el orden parcial ordenado del conjunto de
sub-espacios completamente determina el colector lineal original. Otra instancia de este
tipo es provista por una polaridad (estructura bsica) y su grupo (estructura derivada) ;
IV.5.
El anillo del colectar linear el cual vamos a estudiar en el presente capitulo refleja de
manera particularmente compleja las propiedades del colector lineal bsico. La
herramienta bsica en nuestra investigacin es lo que vamos a llamar la teora de los tres
acorralados de Galois la cual relata en una manera muy cercana los ideales correctos del
anillo, los sub-espacios del colector lienal y los ideales que quedan del anillo en el cual
hace posible el transladar propiedades del colector lineal dentro de las propiedades del
anillo y viceversa. En particular obtendremos una determinacin mutua projectivities e
isomorfismos del anillo y de anti-isomorfismos.
Para un tratamiento de estas cuestiones en un marco mas comprensivo el lector podra
consultar R Baer: Automorphism Rings Of PRimary Abelin Operator Groups, Annals of
Math, vol.44 (1943), 192-226.
V.I Definicin de endomorfismo anillo
Un endomorfismo de un colector lineal (F,A) es un mapeo de un solo valor (sigma) de
(alfa) en si mismo con las siguientes propiedades:
(Note que la imagen del elemento (alfa) en a dentro del mapeo sigma is elemto alfasigma
en a). Por tanto esto endomorfismos son solo lo que en teora de vectores de espacios van
debajo de los nombres de regular y singular transformacin lineal del espacio F en si
mismo A; y las transformaciones lineales que hemos discutido antes son casos especiales
de endomorfismos. Por otro lado una transformacin linear de (F,A) en s misma es un
endomorfismo si, y solo si, esta es lineal.
Si sigma es u endomorfismo de (F,A), entonces la totalidad de Asigma de los elementos de
alfasigma por alfa en A es un sub-espacio de A( como es fcilmente visto); en el rango de
A-sigma es comn llamado el rango de sigma. La totalidad de K(sigma) de los elementos x
en A de tal forma que Xsigma=0 es tambin un subespacio de Ay su rango es
comnmente llamado la nualidad de sigma. A menudo obtenemos referencias de K(sigma)
como el kernel de sigma; y el endomorfismo constituye una generalizacin de la
proyeccin de A sobre Asigma en la direccin del kernel K(sigma).
(1)
Este factor importante tal vez se exprese de la siguiente forma (1*) sisma induce a una
transformacin lineal (en el sentido estricto) de ----
Esta delaracion es bastante fcil verificada una vez que se ha realizado la equivalencia de
las siguientes declaraciones
De (1) se deduce claramente
(2)
Y esta formula contiene un caso especial
(3)
Que puede ser expresado en palabras de la siguiente manera: el rango de un colector
lineal es la suma de rango y nualidad de cada uno de los endomorfismos. Notamos que las
formulas (2) y (3) son equivalentes en caso que r(a) es finito; pero en el caso de infinito
r(A) es la mas fuerte.
Notamos que la totalidad de los endomorfismos de colector lineal (F,A) de P(F,A)-----; y
definimos la adicion y multiplicacin de los elementos sigma y sigma en las siguientes
reglas:
Una verifica que sin la dificultad que la suma de sigma + sigma y el producto de
sigmapor sigma de los endomorfismos de sigmapor sigma, es de nuevo un
endomorfismo del colector linear (F,A). Por tanto P es cerrado bajo estas operaciones. La
siguiente verifica que por ahora es casi ovbio que el factor de P es un anillo; y por tanto
estamos justificando en llamar P(F,A) el anillo enfdomorfico (mas corto: el anillo) del
colector lineal (F,A). (en la vieja literatura este anillo es comnmente llamado anillo
auomorfico de (F,A).)
Idempontencias y descomposicin de endomorfismos
El endomorfismo sigma es llamado idempotencia siempre sigma igual a sigmacuadrada.
Lso ejemplos mas simples de tal idempotencia son 0 y 1 definidos pos a0=0 y a1=a por
cada a en A.
Si sigma es una idempotencia entonces ; asentamos complemento sigma= 1-sigma.
Verificamos eso:
Por lo tanto 1-sigma es una idempotencia ortogonal a la idempotencia sigma; y las dos
idempotencias sigma y sigma prima= a 1- sigma son complementarias en la medida sigma
mas complemento de sigma es igual a uno.
Note que las idempotencias tau,omega sern llamadas ortogonales siempre que
satisfagan ----
(4) Si sigma is un endomorfismo idempotende entonces
Esto no es una consecuencia casi inmediata de la formula trivial:
..
Junto con la ortogonalidad y las relaciones idempotentes que tenemos solo verificadas.
Notemos en particular que sigma deja invariantes todos los elementos de Asigma y eso 1-
sigma deja invariantes todos los elementos en A(1-sigma). (por tanto la endomorfismos
idempotentes son estrictamente equivalentes de lo que comnmente es llamado una
proyeccin de A sobre asigma en la direccin de K(sigma).)
(5) si sigma1 hasta sigman son un numero finito de idempotencias mutualmente
ortogonales, y si ----
Demostrar:

08/09/14
Pero los factores (5.1) y (5.2) juntos establecen nuestra proposicin (5) Si por lo contrario
---- entonces denotamos por sigmai la nica determinacin el determinado unvocamente
endomorfismo de A lo que deja invariante cada elemento de Ai y que mapeo sobre 0
todos los elementos en ---. Es muy fcil ver que las sigmas son mutuamente ortogonales
idempotents cuya suma es 1 y el Satisfacer ---. S e les llama el endomorfismo
(complementario) de descomposicin perteneciente a su descomposicin directa de A; y
si combinamos estas observaciones con (5), entonces vemos que "descomposiciones
directas en un nmero finito de componentes" y "sistemas de un nmero finito de
impotencias mutuamente ortogonales con suma 1" son conceptos equivalentes en la
medida en que la descomposicin directa y los sistemas de impotente determinar s una
a una moda.
Si no se da una descomposicin directa de A en infinitos sumandos A(subsigma), entonces
es posible de nuevo para definir descomposicin del endomorfismo Sigma que dejan
invariantes cada elemento en A, y que eliminan a los elementos en el componente
restante. Se verifica una vez ms que la sigma que dejan invariante cada elemento de
Sigma son mutuamente impotencias ortogonales; pero no podemos afirmar que su suma
es 1, desde sumas de infinitos sumandos no estn definidos en el anillo de P. Son varias
maneras de circumveting estas dificultades. Uno se basa en el hecho de que muchos
demostrarse que la sigma, forma el sistema mximal de idempotencias mutuamente
ortogonales; otro se basa en el hecho de que a cada elemento alfa en A existe slo un
nmero finito de sigma que no se asigna a alfa a 0 hecho que hace posible definir la suma
infinita de la sigma de una manera sensata. (Para mas detalles, el lector puede consultar,
por ejemplo. R Baer: The Descomposition of Abelain Groups in to Direct Summands,
Quaterly Journal of Mathematics vol. 6 (1935), pp 222-232.)
Representacion del anillo enodomosfimo por matrices.
Esta representacin puede ayudar al lector a conectar los conceptos que hemos
introducido en este momento con el concepto que ya est familiarizado. Pero habr poca
oportunidad para nosotros para hacer cualquier uso de esta representacin.
Pp.171
Suponemos (F,A) es un colector lineal del rango finito n. Seleccione una base B de A que
consta de los elementos

; y la consideracin B como un conjunto ordenado de

elementos. Si sigma es un endomorfismo de A, entonces:
y por lo tanto podemos mapear el endomorfismo sigma al unvocamente determinada
matriz n por n sigma ^ b (donde i indica la fila y la columna j en la que se encuentra el
elemento

). Cabe sealar que nuestro mapeo depende esencialmente de la eleccin de

la base B y que ya se puede cambiar si permutamos los elementos en B.
De la formula
(R)
inferimos que el endomorfismo sigma est completamente determinada por la
correspondiente matriz sigma^b. As, la cartografa --- es una correspondencia uno a uno.
La lectura de la frmula (R) de derecha a izquierda vemos cmo definir a una matriz dada

un endomorfismo sigma de tal forma que sigma^b=(b_ij) ; y as vemos que la

cartografa total --- es de uno a uno de mapeo del anillo P sobre la totalidad F_n de n por n
matrices con coeficientes en F.
En Fn suma y la multiplicacin se puede definir de la manera habitual por las normas:
Usando estas definiciones el lector encontrara como verificar estas formulas:
Lo cual muestra que nuestro mapeo de P sobre F_n es un isomorfismo.
Si B y B son bases de A entonces el mapeo sigma y sigma constituye isomorfismo de P
sobre F . El lector deber verificar que estos dos isomorfismos difieren solo por un
automorfismo interior de F el cual es inducido por la matriz de F la cual conecta estas dos
bases de B y B.
Si el colector lineal (F,a) tiene un rango infinito , entonces unas consideraciones muy
similares aplica. Solo esta vez no vamos a conseguir todas las matrices, pero solo el fila
finita de matrices. Adems algn cuidado es necesario en considerar los varios posibles
ordenamientos de una base la cual quiz sea esencialmente un tipo diferente de orden.
172
V.2 La teora de los tres acorralados de Galois.
Desde el anillo endomorfismo P del colector lineal (F,A) contiene un elemento idenridad 1,
esto es posible para definir ideales corrector en P subconjuntos no vacous los cuales
satisfacen
Y los ideales correctos en P son subconjuntos no vacuos H de P que satisfacen
Asi i el derecho tambin como el izquierdo contienen idelaes suma y diferencias de sus
elementos (y ambos estn cerrados bajo la multiplicacin tambin) Pero los ideales
correctos
Figura
Contienen con cualquier elemento j toda su mano derecha multiplica jj por j en P y los
ideales que quedan contienen con cualquier elemento todos sus mltiplos de la mano
izquierda.
Si S es cualquier subconjunto del anillo P, donde la totalidad L(S) delos elementos X en P
tal que xS=0 es claramente un ideal izquierdo; y tales ideales izquierdos que
denominados anillito izquierdo, a saber el anillito izquierdo determinado por S. Asi mismo
denotamos por R(S) la totalidad de los elemento y en P como tal Sy=0. Claramente R(S) es
el ideal derecho; de tal forma que ese ideal derecho que denominamos anillito derecho, a
saber el anillito derecho es determinado por S. ( la pregunta bajo cuales circunstancias
todos los ideales son anillitos y sern vistos en la siguiente seccin).
La teora de los tres acorralados de Galois con la cual estamos preocupados en esta
seccin consiste en la construccin de una proyectividad entre los subespacios de A y los
anilitos izquierdos de P y las dualidades entre los subespacios de A y los anillitos derechos
de P y entre los anillitos izquierdos.
173
Para obtener estas correspondencias necesitamos apartar de las operaciones L y R ya
definido otras cuatro operaciones.
Si S es un subconjunto de A, entonces N(S) es la totalidad de los elementos sigma en P tal
que --; y Q(S) es la totalidad de los elementos sigma p tal que ---
En esto no es difcil de ver que N(S) es una idea verdadera; y Q(S) seria una idea izquierda
en P siempre S es cerrada bajo adicion. La idea derecha N(S) tal vez sea llamada
aniquilador de S; y Q(S) es algn tipo de cociente de S por A- si S pasa a ser un subespacio
de A, entonces Q(S) es realmente el aniquilador del espacio cociente A/S.
Si j es un subespacio de P, entonces denotamos po K(S) la totalidad de los elemtos x en A
tal que xJ=0 (o xsigma=0 para cada sigma en J). Es muy fcil el verificar que este Kernek
K(J) de J es un subespacio J denotamos el conjunto de todos los elementos AJ por A in A y j
en J y notamos que, en general AJ necesita no ser un subespacio de A. algunas dificultades
se elevaran de esta posibilidad; ver, sin embargo, V.3, Colorario 1 abajo.
El principal contenido de --- tal vez ahora sea indicado de la siquiente manera.
Teorema: las correspondencias N(s) y K(phi) son dualidades reciprocas entre los
subespacios S de A y los anillitos derechos phi de P.
Teorema B: las correspondencias Q(S) y Aphi son proyetividades reciprocas entre los
subespacios S de A y los anillos pequellos de teta de P.
Teorema c: las correspondencias L(phi) y R(teta) son dualidades reciprocas entre los
anillitos derechos phi y los anillitos izquierdos teta de P.
La demostracin de estos tres teoremas ser efectuada en un numero de pasos, en el
curso de estas pruebas esperamos el tener un numero de factores redondeando las
teoras.
Proposicin 1: (K(N(S))=S=AQ(S) para todo subespacio S de A.
PRUEBA: Se deduce de la definicin de N(S) que SN(S)=0; y por tantose deduce de la
definicin del operados K que S es meno o igual (K(N(S)). Para probar la ecuacin
consideramos un elemto w en A, pero no en S. Entonces tal vez formemos --, y de donde
el teorema de la complementacin (II.1) nosotros inferimos que la existencia de un
subespacio w de tal forma que A es igual a --. Existe solo uno y nico endomorfismo sigma
de tal forma que Ssigma=0 y tal que xsigma=0 por x en Fw+W (una de las
descomposiciones endomorficas pertenecientes a nuestra composicin directa ---)
Naturalmente sigma pertenece a N(S) y porque de w=wsigma w diferente de 0 el
elemento w no pertenece a K(N(S)). Por lo tanto S<K(N(S)) entonces S=K(N(S)).
Desde la definicin de la operacin Q se deduce que AQ(S) menos o igual que S.
Consideremos ahora que un elemento de S en s. Entonces Fs es un subespacio de S y de A;
y desde el principio de complementacin deducimos quela existencia del subespacio T de
A de tal forma que A=Fs
Existe un y solo un endomorfismosigma de A tal que s=ssigma y Tsigma=0; y este
endomorfismo tiene la propiedad: --
174
Consecuentemente pertenece a y pertenece a . As vemos
que o ya que tenamos la intencin de probar.
Proposicin 2: [] .
Esto se verifica comprobando la equivalencia bastante obvia de las siguientes
afirmaciones:
Pertenece a pertenecientes a y la equivalencia de las
siguientes declaraciones:
Pertenece a pertenece a [].
Combinando la proposicin 1 y al proposicin 2 encontramos que
[] [] [()] []
Para cada subespacio S de A; y esto lo reafirmamos como
Proposicin 3: [] y []
OBSERVACION: La proposicin 3 es justo una mejora en la importante y fcilmente verifica
la relacin:

Proposicin 4: []

PRUEBA: Desde que J es un anillito izquierdo, tenemos que para algn
subconjunto de . Ahora se deduce de la proposicin 1 y 2 que
[] [] []
Desde que H es un anillito derecho,, tenemos para algn subconjunto M de P.
El subconjunto AM de A genera un subespacio S de A. Se verifica fcilmente que
y ahora se deduce a partir de la proposicin 1 y 2 que
[] []
Completando la prueba.
PRUEBA DEL TEOREMA A: De la proposicin 1,3 y 4 deducimos que
[] [
[]
Estas ecuaciones ponen en evidencia que las operaciones K(H) por H es un anillito derecho
en P y N(S) es un subespacio de A son correspondencias
Pag 175
recprocas entre el sistema de todos los subespacios de A y el sistema de todos los anillitos
derechos en P. Ello implica en particular que tanto la correspondencia son uno a uno y
exhaustiva.
Si S es un subespacio del subespacio T en K, entonces ; y si son
subespacios de P, entonces , como sigue inmediatamente de la definicin de
N y K. Consecuentemente K y N son dualidades recprocas entre el sistema de todos los
subespacios de A y el sistema de todos anillitos derechos en P.
PRUEBA DEL TEOREMA B: De las Proposiciones 1,3 y 4 deducimos que
[] Para cada subespacio S de A
para cada anillito derecho J en P
Ahora se verifica [similar a la prueba anterior] que la asignacin de S sobre Q (S) y de J a AJ
constituye proyectividades recprocas entre el sistema de todos los subespacios de A y el
sistema de todos los anillitos izquierdos en P.
OBSERVACION: Este teorema B muestra que el anillito derecho en P constituye una fiel
representacin de la geometra proyectiva de todos los subespacios de A. Para hacer esta
representacin realmente til que necesitaramos en la caracterizacin interna de los
anillitos; vase al respecto en la siguiente seccin.
PRUEBA DEL TEOREMA C: Si J es un anillito derecho, entonces AJ es un subespacio de A
[Teorema B]; y se sigue de las proposiciones 2, 3, 4 que
[] []
Y similarmente tenemos para cada anillito derecho de H
[] [[]] []
y ahora es casi obvio que L y R son dualidades recprocas entre el sistema de todos los
anillitos izquierdos y el sistema de todos los anillitos derechos en P.
OBSERVACION 3: Esto es bastante fcil de ver que la interseccin de cada numero de
anillitos derechos es otra vez anillito derecho; y una declaracin anloga sostiene que vale
para anillitos izquierdos. Esta situacin es diferente para la suma de anillitos.
Aunque hemos de ser capaces de demostrar en la siguiente seccin que la suma de un
numero finito de anillitos es otra vez un anillito, la correspondiente declaracin para
infinitos anillitos ser demostrado ser generalmente falsa.
Esta conexin entre el colector lineal y este anillo es incluso ms cerca que las relaciones
expresadas en los resultados anteriores parecen indicar. Veremos a continuacin que en
cierto modo el colector lineal est contenida en su anillo. Al mismo tiempo, queremos
mostrar que el anillo contiene tambin el espacio adjunto. Con esto en mente, queremos
recordar algunos hechos.
Si (F, A) es mltiple lineal, entonces adjunto espacio se indicar con
Pag 176

. Hemos introducido en II.3 como el espacio de todas las formas lineales sobre [y en
II.3 denotamos este espacio adjunto por , una notacin que evitamos en la presente
seccin, ya que podra dar lugar a confusin con el operador L acaba de presentar]. Ya que
los elementos de son multiplicadores adecuados de

, hablaremos tambin del

colector lineal

. Si esta en y esta en

, luego el efecto de la forma lineal en el

elemento b denota por un ab; y es un elemento de . Toda esta configuracin
podemos indicar, por tanto, por

Recordamos ademas que para

consiste en todo b en

tal que ; y que para

consiste en todo en
tal que .
Proposicin 5: Supongamos que para un punto de un hiperplano en el
colecor linear . Entonces existe un isomorfismo del campo sobre el subcampo
del anillo o, un isomorfismo del grupo aditivo sobre el subgrupo
y un isomorfismo

del grupo aditivo

sobre el subgrupo [del grupo aditivo

del anillo ] con las siguientes propiedades:
(a)

PRUEBA: , ya que P es un punto, y el isomorfismo a construirse depender de la
eleccin del elemento de p.
Para todo elemento en existen solo y dolo un endomorfismo

de con las
siguientes propiedades:

Es bastante claro que afecta uno a uno aditivamente al mapeo de sobre
. Este mapeo es multiplicado tambin, desde

y en consecuencia es un isomorfismo del campo sobre el subanillo de
de modo que es un subcampo de .
Para todo elemento en existen un y solo un isomorfismo

de A con las siguientes

propiedades:

Es bastante claro que un mapeo uno a uno y aditivo de sobre [que aniquila el
hiperplano se determina por completo una vez que determinamos su valor sobre y
por lo tanto en ]
La ecuacin

para subespacios de es casi una consecuencia

inmediata de

. Si esta en y esta en , encontramos que

Pag. 177

Si es un elemento en

, entonces es una forma linear sobre ; y un solo valor de

mapeo

de en se define por la regla

Que

es en realidad un endomorfismo en , es una consecuencia inmediara de

y . Asimismo se ve fcilmente que

uno a uno y
mapeo aditivo de

en . Si es un endomorfismo en , entonces existen para

cada una y solo una en tal que tal que ; y bastante fcil ver que el
mapeo de sobre constituye una forma lineal sobre tal que

. Por tanto,

es un isomorfismo del grupo aditivo de

sobre el subgrupo del anillo . Enseguida

verificamos:

[]

[]

Para cada en , en

y en de modo que tenemos tambin