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
. 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
. Si esta en y esta en
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
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
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
Pag. 177
Si es un elemento en
Que
uno a uno y
mapeo aditivo de
. Por tanto,
es un isomorfismo del grupo aditivo de
[]
[]
Para cada en , en