ALGUNAS NOCIONES SOBRE ESTRUCTURAS ALGEBRICAS

1. Operacin
1.1 Definicin: Sea A, B dos conjuntos no vacos, f una relacin de de A
en B , decimos que f es una operacin cuando a cada elemento del
conjunto A le corresponde un nico elemento del conjunto B
la cual se representa por.
f :AB
x f ( x) = y; donde x A; y B.
Son sinnimos: Funcin, Relacin Operacional, Trasformacin, Ley de
composicin.

1.2 Clases de Operaciones: stas se clasifican de acuerdo a la forma

que tenga el conjunto de partida. Es decir si
A = A1 A2 A3 .... An ; Ai llamamos a
f :AB
x f ( x) = y; donde x A; y B.
a. Operacin Unitaria: si A = A1 simblicamente sera
f : A1 B

x f ( x) = y; donde x A1 ; y B.
b. Operacin Binaria: Si A = A1 A2 . Simblicamente
f : A1 A2 B
x f ( x) = y; donde x A1 A2 ; y B.
Donde la forma de x es un par ordenado de la forma
x = (a1 , a2 ) donde a1 A1 ; a2 A2 .
c. Operacin n aria : Si A = A1 A2 A3 .... An . simblicamente sera
f : A1 A2 A3 .... An B

x f ( x) = y; donde x A1 A2 A3 .... An ; y B.
Donde la forma de x es una n ada de la forma
x = (a1 , a2 ,..., an ) Donde ai Ai .
1.3 Clases de Operaciones Binarias.
a. Operacin Binaria Interna (OBI): Si f es una operacin binaria
(como se defini arriba) y se cumple que A1 = A2 simblicamente
f : A1 A1 A1

x f ( x) = y; donde x A1 A1 ; y B.
Obvio que es lo mismo si el subndice hubiese sido 2.
b. Operacin Binaria Externa (OBE): Si f es una operacin binaria
(como se defini arriba) y se cumple que B = A1 en tal caso se dir

que f es una operacin binaria externa definida en A1 por medio de

A2 a derecha, simblicamente
f : A1 A2 A1

x f ( x) = y; donde x A1 A2 ; y A1.
en forma anloga si B = A2 en tal caso se dir que f es una
operacin binaria externa definida
en A2 por medio de A1 a izquierda, simblicamente
f : A1 A2 A2
x f ( x) = y; donde x A1 A2 ; y A2 .
1.4 Propiedades de las OBI.
Por comodidad y para que el lector no se confunda representaremos
la operacin OBI por y por
Sean : A A A; : A A A; dos OBI, donde en A se ha definido al
menos una relacin de equivalencia que para nuestro caso ser la
igualdad; = entonces se dice que cumple con la propiedad:
A. Interna o clausurativa si solo si para todo a, b A se cumple que
a b = c donde c A (Toda OBI es clausurativa)
B. Asociativa si y solo si para todo a, b, c A se cumple que

a (b c ) = ( a b ) c
C. Existencia de elemento Neutro si y solo si para todo a A se
cumple que existe un nico elemento e A que cumple con
a e = a (llamado Neutro a derecha ) y que adems debe cumplirse
que e a = a (llamado neutro a izquierda).
D. Tiene la propiedad de la existencia del elemento inverso si y
solo si cumple la propiedad del elemento neutro e A y que para
todo a A se cumple que existe un nico elemento a , A llamado
elemento inverso de a que tiene la caracterstica que
a a , = e (Inverso a derecha) y adems a , a = e (Inverso a
izquierda)
E. Conmutativa si y solo si para todo a, b A; a b = b a .
F. Distributiva: se dice que distribuye a si se cumple que para
todo a, b, c A; a ( b c ) = ( ab ) ( ac )

1.5 ESTRUCTURA ALGEBRACA

Un conjunto A se dice que es una Estructura Algebraica si A y en A
se define un conjunto no vaco de operaciones {, , ,
, ,....} y un
conjunto no vaco de relaciones {=, , , , , , ,...}
1.6 PRINCIPALES ESTRUCTURAS ALGEBRAICAS
Las principales Estructuras Algebraicas que se pueden definir en el
conjunto A en el cual se han definido al menos las operaciones (PO),

llamada primera y (SO) llamada segunda operacin, y al menos una

relacin como la igualdad son:
El Grupo, A; PO ; El anillo A; PO; SO ; El anillo Unitario A; PO; SO ;
El anillo Conmutativo A; PO; SO ; Cuerpo A; PO; SO ; Campo

PROPIEDADES
Primera Operacin (PO)

GRUPO
GRUPO ABELIANO
ANILLO
ANILLO CONMUTATIVO
ANILLO UNITARIO
CUERPO
CAMPO

A; PO; SO las cuales deben de cumplir las propiedades que se muestran

en la tabla de abajo

x
(PO) es Interna x
(PO) cumple con asociativa x
(PO) cumple con elemento Neutro x
(PO) cumple propiedad de elementos inversos x
(PO) cumple conmutativa

x
x
x
x
x
x

segunda Operacin (SO)

(SO) es Interna
(SO) cumple con asociativa
(SO) cumple con elemento Neutro
(SO) cumple propiedad de elementos inversos en el conjuno menos el neutro de la (PO)
(SO) cumple conmutativa
(SO) distribuye a (PO)

ESPACIOS LINEALES SOBRE UN CAMPO

La principal estructura que trabaja el curso de lgebra Lineal es la de
Espacio Lineal sobre un Campo, regularmente este campo ser los
Reales y en tal caso lo llamaremos ESPACIOS LINEALES REALES o
tambin puede ser que el capo sea los complejos tal caso lo llamaremos
ESPACIOS LINEALES SOBRE LOS COMPLEJOS.
Definicin: El conjunto A en el cual se define una relacin de
equivalencia como la igualdad se dice que conforma un Espacio Lineal
sobre el Campo K (Los Reales o los Complejos con la suma y el
producto) si se cumple lo siguiente
En A se define una OBI que en nuestro caso ser + que cumple que
A; + es un Grupo Abeliano

x
x
x
x
x
x
x
x
x

x
x
x
x
x
x
x
x
x

x
x
x
x
x
x
x
x
x
x

x
x
x
x
x
x
x
x
x
x
x

x
x
x
x
x
x
x
x
x
x
x
x
x
x x x x x

En A se define una OBE que en nuestro caso ser i en A por medio

de K tal que en A; +,i se cumple que si , K y que u , v A
entonces
1. ( + )i u = ( i u ) + ( i u )
2. i ( u + v ) = ( i u ) + ( i v )
3.

( i )

i u = i ( i u

4. Si 1 es el neutro de i en el campo K ; +,i entonces 1 i u = u

Regularmente para nosotros en el curso de lgebra Lineal OBI es la operacin
+
y OBE es la operacin i tal cual como estn definidas en el conjunto A .