Clase 1
Clase 1
Clase 1
Álgebra Lineal 1
Primer Semestre
1C2019
f: A → B
Producto Cartesiano
El producto cartesiano de dos conjuntos es una
operación, que resulta en otro conjunto, cuyos
elementos son todos los pares ordenados.
A={1, 2, 3, 4}
B={a, b}
A x B = {(1,a), (1,b), (2,a), (2,b), (3,a), (3,b), (4,a), (4,b)}
Ejemplo 1
Halle el producto cartesiano de 𝐴 y 𝐵
𝐴 = 1,2,3 𝐵 = 1,2
Luego halle el producto de 𝐵 y 𝐴
Operación matemática
Una operación es la aplicación de un operador
sobre los elementos de un conjunto.
magma
semigrupo
monoide
grupo
grupo abeliano
Ejemplo 4
Determinar en cada caso si el par (𝐺,∗) es un
grupo:
• Si 𝐺 = 𝑅 y ∗→ 𝑥 ∗ 𝑦 = 𝑥 2 + 𝑦 2 para 𝑥, 𝑦 ∈ 𝐺
• Si 𝐺 = {𝑥/ 𝑥 = 2𝑘 𝑐𝑜𝑛 𝑘 ∈ 𝑍} y ∗→ 𝑥 ∗ 𝑦 =
𝑥. 𝑦 para 𝑥, 𝑦 ∈ 𝐺
• Si 𝐺 = {𝑥/ 𝑥 = 3𝑘 𝑐𝑜𝑛 𝑘 ∈ 𝑁} y ∗→ 𝑥 ∗ 𝑦 = 𝑥 +
𝑦 para 𝑥, 𝑦 ∈ 𝐺
Ejemplo 5
En 𝑄 definimos la operación 𝑎 ∗ 𝑏 = 𝑎 + 𝑏– 𝛼𝑎𝑏,
siendo 𝛼 un elemento fijo de 𝑄.
Demostrar que la estructura (𝑄,∗) cumple la
propiedad asociativa y tiene elemento neutro.
Comprobar que (𝑄,∗) no es un grupo y
determinar 𝑘 para que (𝑄– {𝑘},∗) sea un grupo.
Ejemplo 6
Verificar que (𝑅2𝑥2 , + ) es un grupo abeliano y
que (𝐻, + ) es un subgrupo siendo H el conjunto
de las matrices Reales anti simétricas de orden
2, es decir 𝐴 = −𝐴𝑡
Ejemplo 7
Se define ∗∶ 𝑄 × 𝑄 → 𝑄 mediante la ley de
composición interna 𝑎 ∗ 𝑏 = 𝑎 + 𝑏 + 𝑎 ∙ 𝑏
Analizar las propiedades de ∗ 𝑒𝑛 𝑄
Ejemplo 8
Se considera al par 𝐴,∙ siendo " ∙ " el producto
ordinario de números reales, y 𝐴 el subconjunto
de los números reales del tipo 𝑎 + 𝑏 2 con 𝑎 y 𝑏
racionales. Averigüe las características de esta
estructura algebraica.
Ejemplo 9
Verificar que el par 𝑍,∗ sea un grupo abeliano
Mediante 𝑎 ∗ 𝑏 = 𝑎 + 𝑏 + 3
Anillo
Dados, un conjunto no vacío A y dos leyes de
composición interna ⊛(aditiva) y ⊙(multiplicativa),
la terna ordenada (A , ⊛ , ⊙) tiene estructura de
Anillo si y solo si
• (A , ⊛ ) es un grupo abeliano
• ( A, ⊙ ) es un semigrupo
• La segunda operación (producto) ⊙ distribuye
doblemente sobre la primera (suma) ⊛
a ⊙ (b ⊛ c ) = ( a ⊙ b ) ⊛ (a ⊙ c )
(b ⊛ c ) ⊙ a = (b ⊙ a ) ⊛ ( c ⊙ a )
Anillos
Si además ( A, ⊙ )
• Posee elemento neutro en A, entonces
tenemos un Anillo con unidad.
• Es conmutativa, entonces tenemos un Anillo
conmutativo.
• Para elementos no nulos de A, dan siempre
producto no nulo (nunca dan cero), tenemos
un Anillo sin divisores de cero. Ejemplo 5-16. Rojo
Para demostrar que en un anillo no existen divisores de cero,
es suficiente probar que, si el producto de dos elementos cualesquiera es cero,
entonces alguno de los factores es cero
Dominio de integridad
La terna (A , ⊛ , ⊙) se llama
Dominio de integridad si y solo sí (A , ⊛ , ⊙)
• Es un anillo con unidad
• Es un anillo conmutativo
• Es un anillo sin divisores de cero
Cuerpo
Si (A , ⊛ , ⊙) es un anillo con unidad y todo
elemento no nulo de A es invertible respecto de
⊙, entonces se llama Anillo de división.
La terna (A , ⊛ , ⊙) se llama Cuerpo si y solo sí
(A , ⊛ , ⊙)
• Es un anillo con unidad
• Es invertible con respecto a ⊙
• Es un anillo conmutativo
Todo cuerpo es dominio de integridad.
La terna (A , ⊛ , ⊙)
° se (A,°)
distribuye (A,°) existe (A,°) sin elementos
(A,*) es (A,°) (A,°)
Estructura Algebraica sobre * el elemento divisores no nulos
abeliano asociativo conmutativa
doblement neutro de cero tienen
e inversa
anillo
anillo con unidad
anillo conmutativo
anillo sin divisores de cero
anillo de division
dominio de integridad
cuerpo
Ejemplo 10
Clasificar las siguientes ternas
𝑁, +,∙
𝑁0 , +,∙
𝑍, +,∙
Ejemplo 11
En 𝑍 2 se consideran la suma habitual de pares
ordenados y el producto definido por
𝑎1 , 𝑎2 ∙ 𝑏1 , 𝑏2 = 𝑎1 𝑏1 , 𝑎1 𝑏2 + 𝑎2 𝑏1
Comprobar que la terna 𝑍 2 , +,∙ es un anillo
conmutativo con identidad
Ejemplo 12
En 𝑍 2 se definen la adición y la multiplicación
mediante
𝑥, 𝑦 + 𝑥′, 𝑦′ = 𝑥 + 𝑥 ′ , 𝑦 + 𝑦′
𝑥, 𝑦 ∙ 𝑥 ′ , 𝑦′ = 𝑥𝑥′, 0
Verificar que 𝑍 2 , +,∙ es un anillo y si puede ser
un cuerpo
Ejemplo 13
El símbolo 𝑄 3 denota el subconjunto de los
números reales del tipo 𝑎 + 𝑏 3, siendo 𝑎 y 𝑏
números racionales. Investigar si 𝑄 3 , +,∙ es
un cuerpo
Referencias
• Rojo, Armando
Álgebra I - 18a ed. – Buenos Aires: El Ateneo, 1996
• Castellanos, Julio
Estructuras Algebraicas - Universidad Complutense
de Madrid - Departamento de Algebra
• MATHEMATICS
Graphically Organizing the Interrelationships of Basic
Algebraic Structures - link