ESTRUCTURAS

ALGEBRAICAS

AL2 2016 CSS

 LEY DE COMPOSICION INTERNA
Ley de composición interna: Dado un conjunto
G no vacío; se define como ley de composición
interna a la operación binaria *, tal que:

a, b  G, asigna un elemento c  G

a*b c : c  G

AL2 2016 CSS

 OPERACION BINARIA ADITIVA:
SUMA
Suma: si la ley de composición interna, en un
conjunto G no vacío, se define como operación
binaria aditiva, se lo representa por ” +”, y se
verifica que:

a, b  G,  c= a+b
tal que: c  G

AL2 2016 CSS

 OPERACION BINARIA
MULTIPLICATIVA:PRODUCTO
Producto: si la ley de composición interna, en
un conjunto G no vacío, se define como
operación binaria multiplicativa, se lo
representa por “∙” , y se verifica que:

a, b  G,  c= a ∙ b
tal que: c G

AL2 2016 CSS

 ESTRUCTURAS ALGEBRAICAS
Estructura de grupo aditivo: Dado un
conjunto G no vacío, con una operación
binaria aditiva ” +”, definida en G.
Entonces el par (G, +) es un grupo aditivo
si se verifican los siguientes axiomas:
a) a, b, c  G : (a+b)+c = a+(b+c)
b)  0  G tal que : a+0 = 0+a = a
c) a  G  -a tal que : a+(-a) =(-a)+a = 0
AL2 2016 CSS
 ESTRUCTURAS ALGEBRAICAS
Estructura de grupo multiplicativo: Dado un
conjunto G, no vacío, con una operación
binaria multiplicativa “∙”, definida en G.
Entonces el par (G, ∙) es un grupo
multiplicativo si se verifican los siguientes
axiomas:
a) a, b, c  G : (a ∙ b) ∙ c = a ∙(b ∙ c)
b)  e  G tal que : a ∙ e = e ∙ a = a
c) a  G  a-1 tal que : a ∙ a-1 = a-1 ∙ a = e
AL2 2016 CSS
 ESTRUCTURAS ALGEBRAICAS
Observación: Si en particular, si la ley de
composición interna “*” es conmutativo
en G, es decir

a*b = b*a a, b  G

y (G, *) es un grupo, entonces se dice que

es un grupo conmutativo o abeliano.
AL2 2016 CSS
 ESTRUCTURAS ALGEBRAICAS
Estructura de anillo: Dado un conjunto A
no vacío, con las operaciones binarias “+”
y “∙”; entonces la terna (A, +, ∙) es un anillo
si se verifican los siguientes axiomas:
a) (A, +) es un grupo abeliano;
b) a, b, c  A, se verifican
I) (a ∙ b) ∙ c = a ∙ (b ∙ c)
ii) (a + b) ∙ c = a ∙ c + b ∙ c
a ∙ (b + c) = a ∙ b + a ∙ c
AL2 2016 CSS
 ESTRUCTURAS ALGEBRAICAS
Observaciones:
a) Si  e  A tal que : a ∙ e = e ∙ a = a, se
dice que es un anillo con elemento
identidad.
b) Si a, b  A tal que : a ∙ b = b ∙ a, se
dice que es un anillo conmutativo.
c) Si a ∙ b = 0 implica que : a = 0 o b = 0,
se dice que el anillo es un anillo de
integridad o anillo sin divisores cero.
AL2 2016 CSS
 ESTRUCTURAS ALGEBRAICAS
Dominio de integridad: Dado un conjunto
A no vacío, con las operaciones binarias
“+” y “∙”; tal que la terna (A, +, ∙) sea un
anillo. Se define como dominio de
integridad, si se verifican los siguientes
axiomas:
i. Si  e  A tal que : a ∙ e = e ∙ a = a.
ii. Si a, b  A : a ∙ b = b ∙ a.
iii. Si a ∙ b = 0 implica que : a = 0 o b = 0,
o ambos cero. AL2 2016 CSS
 ESTRUCTURAS ALGEBRAICAS
Estructura de cuerpo: Dado un
conjunto K no vacío, con las
operaciones binarias “+” y “∙”;
entonces la terna (K, +, ∙) es un cuerpo
(o campo) si es un dominio de
integridad y si todo elemento a  K,
excepto el elemento neutro de “+”
(cero) , admite inverso.
AL2 2016 CSS
ESPACIOS VECTORIALES

AL2 2016 CSS

 ESPACIOS VECTORIALES
• Dado un cuerpo K y un conjunto no vacío V, con reglas
de suma y producto por un escalar. Entonces V es un
espacio vectorial sobre el cuerpo K, si:
• A1)  u, v, w  V, (u+v)+w=u+(v+w)
• A2)  0  V, tal que  v  V, v + 0 = 0 + v = v
• A3)  v  V, ! –v, tal que v + (-v) = 0
• A4)  u, v  V, u+v=v+u
• M1)  k  K ; y u, v  V, k(u + v) = ku + kv
• M2)  a, b  K; y v  V, (a + b)v = av + bv
• M3)  a, b  K; y v  V, (ab)v = a(bv)
• M4)  v  V ; y 1  K, se cumple 1v = v

AL2 2016 CSS

 Teorema 5.1
Si V es un espacio vectorial sobre un cuerpo K.
Entonces:
•  k  K; y 0  V. k0 = 0.
•  v  V ; y 0  K. 0v = 0.
• Si kv = 0, con v  V ; y k  K. k = 0; o v = 0.
•  k  K; y v  V. (-k)v = k(-v) = -kv.

AL2 2016 CSS

 ESPACIOS VECTORIALES USUALES
• Espacio vectorial Kn
Si v  Kn  v=(a1 ,a2 ,a3 ,a4 , ,an ) ; ai K
• Espacio vectorial de matrices Kmn
Si v  K mn
 v=  aij mn ; aij K

• Espacio vectorial de polinomios P(t)

Si v  P(t)  v=a0 +a1t+a2 t2 +a3t3 +a4 t4 +  antn ; ai K
• Espacio vectorial de funciones F(X) de X en K
Si v  F(X)  v=f (x) ; t.q. x  X
AL2 2016 CSS
 SUBESPACIOS VECTORIALES

Si V es un E.V. s/ K, y W  V un subconjunto de
V, entonces W es un subespacio vectorial de V;
si W es un espacio vectorial sobre K para las
mismas operaciones de suma de vectores y
producto por escalar del espacio vectorial V

AL2 2016 CSS

 Teorema 5.2
Si V es un E.V. s/K, y W  V. Entonces W es un
subespacio vectorial de V si y sólo si:
• W   ( no vacio)
•  u, v  W → u + v  W (cerrado para la
suma)
•  k  K ; y v  W → kv  W (cerrado para el
producto por escalar)

AL2 2016 CSS

 Corolario 5.3
Si V es un E.V. s/K, y W  V. Entonces W es un
subespacio vectorial de V si y sólo si:

• 0W
•  a, b  K; y u, v  V → au + bv  W

AL2 2016 CSS

 Teorema 5.4
Si V es un E.V. s/K, y U, W son dos
subespacios vectoriales de V.
Entonces U  W es un subespacio vectorial
de V.

Corolario: La intersección de un número

cualquiera de subespacios vectoriales de
un espacio vectorial V, es un subespacio
vectorial de V

AL2 2016 CSS

 Teorema 5.5

El conjunto solución W de un sistema

homogéneo con “n” incógnitas AX = 0 es un
subespacio de Kn

AL2 2016 CSS