Grupo: Conjunto (G, +) con una operacin binaria ms (+) bien definida cerrada en ese conjunto que cumple

con: i) ii) iii) Es asociativa Existe un elemento e que es neutro Para todo a(que pertenece a G) existe un a t. q. a+a=e

Si a+b = b+a Entonces es un grupo conmutativo o abeliano Anillo: Conjunto G, con un par de operaciones binarias bien definidas y cerradas que cumplen con: i) ii) iii) iv) v) (G, +) Es un grupo abeliano (G, ) ES un semigrupo (Es decir solo es asociativo, no hay identidad ni inverso) Tiene leyes de distribucin a(b+c)=ab + ac ^ (b+c)a=ba + ca A los elementos con inversa multiplicativa se les llama unidades Si hay identidad es un anillo con identidad, unitario o unidad monoide

A los elementos con inversa multiplicativa se les llama unidades Si todos los elementos menos el neutro son unidades es un semicampo Un semicampo conmutativo es un campo Espacio vectorial: Un espacio vectorial sobre un campo K es un conjunto V con una operacin binaria +: V x V V Y por una funcin : K x K V Que cumple con: i) Para la suma: a) Cumple con la propiedad conmutativa b) Cumple con la propiedad asociativa c) Tiene un elemento neutro Para la multiplicacin: a) Cumple con la propiedad asociativa b) Cumple con la propiedad distributiva

ii)

Subespacio vectorial: Un subconjunto w de un espacio vectorial V sobre K se llama subespacio vectorial de V si tiene la estructura del espacio vectorial con las mismas operaciones de V. Se denomina transformacin lineal, funcin lineal o aplicacin lineal a toda aplicacin cuyo dominio y codominio sean espacios vectoriales y se cumplan que:

i) ii)

T(u + v) = Tu + Tv T(v) = Tv

Isomorfismo: Homomorfismo biyectivo tal que su inversa es tambin un homomorfismo; cumple con: i) ii) (gf)(v)=v (fg)8w)=w g= f=

Kernel: Es el conjunto de todos los elementos de v que se transforman en cero. Imagen: Conjunto de los vectores w t. q. exista una imagen de algn elemento de V.

Suma directa: Un coproducto o suma directa para una familia

una categora C, es un objeto S de C, junto a una familia de morfismos tal que para cualquier objeto B y una familia de morfismos morfismo . tal que .

de objetos en ( , existe un nico )

No hay una notacin uniforme para los coproductos o sumas directas y algunas veces se denota Combinacin lineal: Sea V un espacio vectorial sobre K, sea G un subespacio de V, decimos que v , un vector de V es una combinacin lineal de elementos de G si existe un numero finito de elementos de G (g1, g2, , gn) tales que puedan escribir a v como: V= 1g1+2g2++ngn V=igi <G>: El conjunto generado por <G> es el subespacio ms pequeo de V que contiene a G. i) Si f no es uno a uno, existen vectores (1, 2,,n) i0 t. q. se transforman en 0 F(1, 2,,n)= 1v1+2v2++nvn=0 ii) iii) iv) v) vi) Si f no es inyectiva (1 a 1) {v1.vn} es linealmente dependiente Si f no es sobre hay vectores de V que no pueden escribirse como una combinacin lineal Si f no es sobre {vi.vn} no genera todo v Si f es biyectiva {v1vn} es independiente y genera todo v (es base) Cualquier espacio V (cuya base, de dimensin n, tenga n elementos) es isomorfo a kn

Dimensin: Numero de elementos que hay en la base. Una funcin lineal est completamente determinada por lo que le sucede a los vectores de la base