(0.1) Principio de induccin finita.

Sea E un subconjunto de N tal que 0 E y que n E implique

que n + 1 E, para cualquier n N. Entonces E = N.
(0.2) Lema de Zorn. Todo conjunto ordenado inductivo posee (al menos) un elemento maximal.
(0.3) Axioma de Escolha. Existe una aplicacin f : B(C)\{ } C tal que f (D) D para
cualquier D B(C)\{ }.
Cualquier interseccin de subespacios de un k-espacio V es un subespacio de V . Esto permite
definir, para cualquier subconjunto M de V , el subespacio de V generado por M como la interseccin
< m >= V VM V
donde VM es el conjunto de todos los subespacios de V que contiene M. Es obvio que < m > es el
menor subespacio de V que contiene M, y un calculo rpido muestra que < m > consiste de todas
n

las sumas finitas de la forma ai i donde ai K, i M y n N

i=0

Dado cualquier subconjunto M de V , consideremos la aplicacin fM : K (M) V definida por

(a ) M a 1 . Diremos que M es un sistema de generadores de V cuando fM fuera
M

sobreyectiva. Esto ocurrir si y solamente si < m >= V

Diremos que M es un sistema linealmente independiente de V cuando fM fuera inyectiva. Esto
n

ocurrir si y solamente si para cualesquiera n N, a1 , . . . , an K y 1 , . . . , n M, a j j = 0

j=1

implicara que a1 = . . . = an = 0.
Diremos que M es una base de V cuando fM fuera inyectiva. En otras palabras, una base es un
sistema linealmente independiente de generadores de V .
Por ejemplo, V es un sistema de V , es un sistema linealmente independiente de V , y {(i j )iI } es
una base del K-espacio K (I) , cualquiera que sea el conjunto I (donde i j es el smbolo de Kronecker,
esto es, ii = 1 y i j = 0 cuando i = j)
(0.4) Sean M un sistema linealmente independiente de V e y V . Entonces y < m > si y solamente
si M {y} fuera un sistema linealmente independiente de V .
(0.5) Teorema Sean M S V tales que M sea un sistema linealmente independiente y S sea un
sistema de generadores de V .
Entonces existe una base de B de V tal que m B S
(0.6) Corolario Para cualquier conjunto B de V , las siguientes condiciones son equivalentes:
(i) B es una base de V ;
(ii) B es un sistema linealmente independiente maximal de V ;
(iii) B es un sistema de generadores minimal de V .
que, para cualquier conjunto I, K (I) es el conjunto de las familias (ai )iI XiI K de soporte finito, esto es,
ai = 0 para casi todos los i I. En particular, en la suma a existen apenas un nmero finito de parcelas no nulas.
1 Recordamos

 (0.7) Corolario Sean M y S un sistema linealmente independiente respectivamente un sistema de

generadores de V . Existe un subconjunto de S de S tal que M S = y M S sea una base de V .
(0.8) Teorema Si V posee una base de n < elementos, entonces todas las bases de V tendrn
exactamente n elementos.
Este teorema permite definir la dimensin de un K-espacio V como
{
n cuando V posee una base finita de n elementos.
dimK V =
cuando V no posee ninguna base finita.
(0.9) Corolario Sea dimK V = n < .
a) Todo sistema linealmente independiente M de V tiene a lo mas n elementos. en particular,
#M = n si y solamente si M fuera una base de V .
b) Todo sistema de generadores S de V tiene al menos n elementos. En particular, #S = n si y
solamente si S fuera una base para V .
UR Grupo conmutativo en relacin con la multiplicacin.
cualquier interseccin de subanillos de un anillo R es un subanillo de R. Esto permite definir, para
cualquier subconjunto M de R, el subanillo de R generado por M como la interseccin
[M] = R SM R
donde SM es el conjunto de todos los subanillos de R que contienen M. Es obvio que [M] es el
menor subanillo de R que contiene M, y un calculo fcil muestra que [M] consiste de todas las
sumas finitas de productos finitos
m

zi j

j=1 i=1

de elementos zi j M {x|x N}(i, j N). En particular, g = g1R es el conjunto de todos los

subanillos de R; por tanto [ ] = [{0R }] = [{1R }] es el menor subanillo de R, llamado sub anillo
primo de R.
Multiplicacin externa Z R R, siendo el producto de z R por m Z definido por
{
mz =

z+...+z
(m veces),
z . . . z (|m| veces),

cuando
cuando

m 0
m 0

Dado un subconjunto M y un subanillo R de R, entendemos por el subanillo de R obtenido de R

por la adjuncin de M el subanillo [R M] que ser denotado tambin por R [m].
Definimos par todo z R, el orden o(z) (en el grupo aditivo de R). A saber si el conjunto {m
N\{0}|m z = 0R } fuera no vacio, definimos o(z) como su menor elemento, caso contrario o(z) =
, obviamente, o(z) = 1 si y solamente si o(z) divide n. Ademas de eso, vale para todo z R

a) Si o(1R ) = entonces o(z) divide o(1R )

2

b) Si o(z) = o(1R ) entonces z es un divisor de zero de R.

(0.11)
a) car(R) = 1 si y solamente R fuera trivial.
b) Si R fuera un dominio, entonces car(R) = 0 o = p, un numero primo. En este caso tenemos
o(z) = respectivamente para todo z R.
La caracterstica definida por

car(R) =

si

o(1R ) =

si

o(1R ) = n = ("caracterstica positiva")

("caracterstica cero")

Obviamente, todo subanillo de R tiene la misma caracterstica que R. En particular, la caracterstica

depende apenas del subanillo primo de R.
Todo homomorfismo biyectivo f : R S es un isomorfismo.

a) ker f es un ideal de R.
b) ker f = R S es trivial.
c) ker f = {0R } f es injectivo.