Wikilibros

Diferencia entre revisiones de «Cursos/E M T/1º Electromecánica - Matemáticas/Texto completo»

Explorar historial interactivamente
← Edición anteriorEdición siguiente →
Contenido eliminado Contenido añadido
VisualWikitexto
Sin resumen de edición
Página reemplazada por «{{Borrar|Creada con error de nombrado]]»
Línea 1:
{{Borrar|Creada con error de nombrado]]
<noinclude>{{En desarrollo}}</noinclude>
<noinclude>
{{navegar|libro=Álgebra/Álgebra Abstracta (Primer Curso)
|actual=Estructuras
|anterior=Contenidos
|siguiente=Grupos
}}
</noinclude>
== Introducción ==
 
Cuando a un conjunto lo proveemos de una o más operaciones, obtenemos una estructura algebraica. En este capítulo, veremos algunas de las estructuras clásicas con una operación.
 
 
=== Estructuras Algebraicas ===
 
Una <b>Estructura Algebraica</b> o <b>Sistema Algebraico</b> es un lista de la forma <E, p<sub>1</sub>, p<sub>2 </sub>, ...> donde E es un conjunto (llamado el conjunto <i>base</i> o <i>portador<i> de la estructura) y p<sub>1</sub>, p<sub>2 </sub>, ... son los parámetros de la estructura. Dichos parámetros pueden ser .operaciones en E, incluyendo operaciones externas---operaciones como la multiplicación por constante de una función, o escalar por matriz. También puede haber relaciones de E.
 
::<small>Las operaciones pueden ser de varios tipos. Además de las operaciones vistas en el capítulo anterior, que son operaciones binarias porque tienen dos operandos, hay operaciones unarias, ternarias, etc. </small>
 
El Álgebra Abstracta es el estudio de las diferentes estructuras---definiciones, propiedades, relaciones entre ellas, etc--- independiente de la naturaleza de los elementos del conjunto base. Como veremos en el texto, varios conjuntos diferentes sirven de conjunto base de una misma estructura. A medida que avancemos en el texto, discutiremos más detalles acerca de las estructuras.
Una discusión más detallada puede hallarse en el apéndice sobre Estructuras <ref>En Preparación</ref>.
 
== Estructuras con una operación ==
 
Nuestro estudio empezará con estructuras muy simples. Su lista de parámetros incluye solamente una operación.
Veremos las estructuras de magma, semigrupos, monoides y grupos. <ref> Además, han surgido recientemente otras estructuras con una operación tales como grupoides, lazos, etc.</ref>
 
 
=== Definición de Magma ===
La estructura algebraica más simple que consideraremos, magma, fue introducida en el capítulo anterior. Recordaremos a continuación su definición.
 
{{DefRht|Magma| Llamamos '''magma''' a un par '''<E,*>''' donde E es un conjunto no vacío y <math>*</math> es una operación en el conjunto. }}
 
{{Ejmpl|Ejemplos}}
<ol>
<li> Los Enteros con la suma, <math>< \Z, +></math>, o con la multiplicación, <math><\Z, \cdot> </math>.
<li> Los Racionales, los Reales, los Complejos con respecto a la suma y también a la multiplicación.
<li> Los Enteros con la resta.
</ol>
<hr>
Sea <E,*> un magma. Cuando no haya ambigüedad acerca de la operación de un magma, podremos hablar simplemente del magma E. Otras veces, hablaremos del magma E con la operación *.
 
=== Definiciones de Semigrupo, Monoide y Grupo ===
 
<div style="background: white; border: 1px solid navy; width:80%; margin:10pt 80pt 10pt 50pt; padding: 1.5ex; font-family: Arial; font-style: normal;" >
<center>
[[Archivo:Estructuras_Algebraicas.jpg|Centrada|300px]]
</center>
</div>
<br />
 
{{DefRht|Semigrupo, Monoide, Grupos|
* Un '''semigrupo''' es un magma con operación asociativa.
* Un '''monoide''' es un semigrupo con elemento neutro.
* Un '''grupo''' es un monoide cuyos elementos son todos invertibles respecto a la operación.
}}
 
:<ul list-style-type="circle">
<li>Un magma (resp. semigrupo, monoide, grupo) es '''conmutativo''' (o '''abeliano''') cuando la operación es conmutativa.
<li>Un magma (resp. semigrupo, monoide, grupo) es '''finito''', cuando el conjunto base lo es.
<li> Decimos que un magma (resp. semigrupo, monoide, grupo) es <b>aditivo</b> (resp. <b>multiplicativo</b>) cuando la operación se denote como una suma (resp. multiplicación). Usualmente, cuando la operación se denota aditivamente, se supone que es conmutativa.
</ul>
 
 
{{Ejmpl|Ejemplos}}
<ol>
<li> Los Enteros con la resta forman un magma que no es un semigrupo, ya que la resta no es asociativa.
 
<li> Los Naturales positivos con la suma forman un semigrupo (la suma es asociativa) que no es un monoide, ya que el neutro 0 no está en el conjunto.
 
<li> Los Naturales con la suma forman un monoide que no es grupo, ya que los opuestos aditivos de los naturales positivos no están en el conjunto.
 
<li> Los Enteros con la suma forman un grupo abeliano.
 
<li> Los Racionales, Los Reales y los Complejos, con la suma determinan grupos abelianos.
 
<li> Los Racionales, los Reales y los Complejos no nulos, con la multiplicación usual, determinan grupos abelianos.
</ol>
---------------------------------------------------------------------------
Observaciones acerca de las estructuras y de la terminología asociada.
<ul>
<li> En rigor, debiéramos decir, por ejemplo, que <math><\Z,+></math> "tiene o posee una estructura de grupo", o que es una "instancia de la estructura de grupo", pero simplemente decimos <math><\Z,+></math> es un grupo o hablamos del grupo (aditivo) de los Enteros.
<li> En rigor, deberíamos especificar a un monoide como (que tiene) una estructura <math><M,*,e></math> para indicar la existencia del neutro <i>e<i>. Igualmente, un grupo debiera especificarse como <math><G,*,e, x \mapsto x^{-1} ></math> para indicar que hay, además, inversos para cada elemento. Sin embargo, cuando no haya riesgo de confusión mencionamos solamente el conjunto, la operación y el tipo de estructura.
 
<li> (Descendientes, Subyacentes) Observemos que hemos definido a las estructuras magma, semigrupos, monoides y grupos, como que cada una es un caso especial de la anterior .
Diremos que una estructura es descendiente de una segunda estructura, cuando sea un caso especial de la otra. En tal situación, decimos que la segunda estructura será un antecesora de la primera. Por ejemplo, las estructuras de semigrupos, monoides y grupos son descendientes de la estructura de magma.
 
Cuando una estructura es descendiente de otra, decimos también que la segunda estructura es subyacente a la primera. Por ejemplo el grupo <math><\Z,+></math>< o sea, <math><\Z,+,0, x \mapsto -x></math> tiene una estructura subyacente de monoide <math><\Z,+,0></math> (nos olvidamos de los opuestos aditivos). También tiene una estructura subyacente de semigrupo, <math><\Z,+></math>.
 
<li> (Herencia) La razón de llamar descendientes a las estructuras especiales es para señalar que las propiedades de una estructura son heredadas pro sus descendientes.
 
En Álgebra Abstracta, se prefiere siempre enunciar y probar los enunciados en la estructura más general posible, para que sirva para todos sus descendientes.
</ul>
<hr>
 
Sigue de la observaciones anteriores que todas las propiedades de magmas probadas en el capítulo anterior son válidas para semigrupos, monoides y grupos.
 
=== Propiedades de Monomios ===
 
Un monomio puede contener elementos invertibles, aunque no sea un grupo. Por ejemplo, los Enteros no nulos con la multiplicación forman un monoide que no es grupo, ya que los enteros diferentes de 1, -1 no tienen recíprocos. Sin embargo, 1 y -1 tienen inversos que son ellos mismos. Esto implica que el conjunto U = {1,-1} determina con la multiplicación un grupo. La situación es bastante general, como lo muestra la siguiente proposición.
 
{{PropRht|Grupo de invertibles de un Monomio| Sea <M,*> un monomio y sea U<sub>M</sub> el conjunto formado por todos los elementos de M que son invertibles. Entonces < U<sub>M</sub>, *> es un grupo.
}}
:<i>Demostración: </i> Como el producto de invertibles es invertible, U<sub>M</sub> es cerrado respecto a la operación, por lo que la restricción de la operación a U<sub>M</sub> define allí una operación. El neutro siempre es invertible, por lo que el neutro es un elemento de U<sub>M</sub>. Finalmente, los inversos de elementos invertibles son invertibles, por lo que cada elemento de U<sub>M</sub> tiene inverso en U<sub>M</sub>. Es decir que < U<sub>M</sub>, *> es efectivamente un grupo.</i> {{QED}}
<hr>
{{Ejmpl|Ejemplos}}
<ul>
<li> Los Reales con la multiplicación forman un monoide cuyo grupo de invertibles esta determinado por los Reales no nulos. Igualmente, para los Racionales y los Complejos.
<li> Las matrices cuadradas con la multiplicación forman un monoide, cuyo grupo de invertibles, está formado por las matrices invertibles.
</ul>
 
 
Sea M un monoide y <i>a</i> un elemento de M tal que hay un entero <n> tal que <math>a^n=e</math>. Entonces, <math>a a^{n-1} = e = a^{n-1} a</math>. Es decir que <i>a</i> es invertible.
 
<b>Proposición</b>
Sea a un elemento de un monomio M tal que hay un entero positivo n tal que <math>a^n = e.</math> Entonces, a es invertible con inverso <math>a^{n-1}.</math>}}
 
{{Ejmpl|Ejemplos}}
<ul>
<li> En los Enteros <math>(-1)^2=1</math> Luego, <math>-1</math> es invertible y su inverso es <math>(-1)^{2-1} = (-1)^1=-1</math>,
<li> E los Entremos módulo 5, se tiene que <math>2^4=16=1</math>. Luego, 2 tiene recíproco allí. Su recíproco es <math>2^3 = 8 = 3.</math>
</ul>
 
{{DefRht|Orden de un Elemento| Sea <E,*> un monoide (o grupo). Decimos que un elemento ''a'' tiene '''orden''' n cuando n es el menor entero positivo tal que tal que <math>a^n=e</math>, cuando exista el número. Cuando tal número no exista, decimos que el orden es infinito.
Notación: <math>o(a)</math>.}}
{{Ejmpl|Ejemplos}}
<ol>
<li> El número imaginario <math>i</math> es tal que <math>i^2=-1,\quad i^3 = -i, \quad i^4 =1</math>. Por lo que su orden es 4.
 
<li> En un grupo aditivo, las potencias son múltiplos. Por lo que un elemento ''a'' tiene orden finito n, cuando ''na = 0''. En los Enteros, no hay números ''n'' positivos tales que <math>n \cdot 1</math>, por lo que el orden de 1 es infinito.
</ol>
 
== Ejemplos ==
 
El Álgebra Abstracta como su nombre lo indica tiene su origen en la abstracción de propiedades de ejemplos existentes. Esta (relativamente larga sección, quiere mostrar algunos de esos ejemplos). Es importante que los lectores se familiaricen con ellos. Deben procurar, además, identificar las nociones vistas en el capítulo anterior: elementos neutros, invertibles, cancelables, partes cerradas.
 
=== Los Sistemas Numéricos ===
 
Nuestros sistemas numéricos son los Naturales, Enteros, Racionales, Reales y Complejos. A ellos siempre agregaremos los Enteros módulo cierto número.
 
Los principales resultados que el lector deberá examinar cuidadosamente para ver la validez de lo afirmado.
<ul>
<li> <X, +> es un grupo abeliano, cuando <math>X = \Z, \Q, \R, \C.</math> <br />
Las relaciones de inclusión son ejemplos de subestructura (cuya definición formal veremos posteriormente). Como se trata de la misma operación, neutro y opuestos decimos que los Enteros son un subgrupo aditivo de los Racionales (y de los Reales y de los Complejos). Igualmente, los Racionales son un subgrupo de los Reales y Racionales. Finalmente Los Reales forman un subgrupo de los Complejos.
 
<li> <X<sup>*</sup>, <math>\cdot</math>> es un grupo abeliano cuando <math> X = \Q, \R , \C.</math> y X<sup>*</sup> indica los elementos no nulos de X.
 
<li> Los Enteros módulo m son un grupo respecto a la adición. Con respecto a la multiplicación, sus elementos no nulos, en general, forman un monoide.
</ul>
 
=== El Grupo Simétrico ===
 
En el capitulo "[[Álgebra/Álgebra abstracta/Operaciones|Las Operaciones]]" destacamos al ejemplo ''F(X, X)'' formado por todas las funciones de X en X. Vimos que dicho conjunto con la composición de funciones tiene una estructura de monoide.
 
Los elementos invertibles de ese conjunto son las funciones biyectivas que de acuerdo a una proposición anterior, forman un grupo, al que simbolizamos por
<math>S_X</math>. Cuando el conjunto X tiene más de dos elementos se verifica que el grupo no es conmutativo. Este es nuestro primer ejemplo no conmutativo.
 
{{DefRht|Grupo Simétrico|
Llamamos <b>grupo simétrico</b> del conjunto X, al grupo determinado por la composición en el conjunto de biyecciones de X en si mismo.
}}
 
Cuando X es un conjunto finito con n elementos, denotamos a S<sub>X</sub> por S<sub>n</sub> y le llamamos grupo de las <b>permutaciones de n símbolos</b>. Una permutación, en este contexto, es una función biyectiva de un conjunto finito en si mismo. Escribiremos I<sub>n</sub> para denotar el conjunto {1,2, ..., n}.
 
<b> Grupo de Permutaciones</i> En forma general, llamamos grupo de permutaciones a un grupo G, tal que G es un subconjunto de algún S<sub>n</sub>, Históricamente, estos fueron los primeros grupos estudiados.
 
 
<i>Representación matricial de permutaciones</i> Cuando σ sea una función de I<sub>n</sub> en si mismo, escribiremos la tabla de valores de la función de la siguiente manera
<center><math>\begin{pmatrix} 1 & 2 & 3 & ... &n \\ \sigma(1) & \sigma(2) & \sigma(3) & ... & \sigma(n)\end{pmatrix}</math> </center>
 
Por ejemplo, todas las biyecciones de I_3 en si mismo son
<center><math>\scriptstyle
\begin{matrix}
f_0 = \begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix} &
f_1 = \begin{pmatrix} 1 & 2 & 3 \\ 1 & 3 & 2 \end{pmatrix} &
f_2 = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix} \\ [5mm]
f_3 = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix} &
f_4 = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix} &
f_5 = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix}
\end{matrix}
</math></center>
Las permutaciones están asociadas, usualmente, con reordenamientos. Mirando a la segunda fila, vemos porque llamamos a esas funciones permutaciones.
La siguiente table muestra los resultados de la composición de esas funciones, es decir la tabla del grupo.
<center> La tabla de S<sub>3.</sub></center>
 
<center>
<math>\begin{array}{c|cccccc}
\circ & f_0 & f_1 & f_2 & f_3 & f_4 & f_5 \\ \hline
f_0 & f_0 & f_1 & f_2 & f_3 & f_4 & f_5 \\
f_1 & f_1 & f_0 & f_4 & f_5 & f_2 & f_3 \\
f_2 &f_2 & f_3 & f_0 & f_1 & f_5 & f_4 \\
f_3 & f_3 & f_2 & f_5& f_4 & f_0 & f_1 \\
f_4 & f_4 & f_5 & f_1 & f_0 & f_3 & f_2 \\
f_5 & f_5 & f_4 & f_3 & f_2 & f_1 & f_0
\end{array}
</math></center>
 
Mirando la falta de simetría respecto a la diagonal principal, vemos que la operación no es conmutativa. Claramente, f<sub>0</sub> es la identidad (como función) que es el neutro del grupo.
 
¿Cómo obtuvimos los resultados? Simplemente por composición de funciones.
Veamos el cómputo de <math>f_2 \circ f_3</math>
 
<math>
f_2(f_3(1)) = f_2(2) = 1, \quad
f_2(f_3(2)) = f_2(3)) = 3, \quad
f_2(f_3)) = 2. </math>
 
Luego, el producto es igual a f<sub>1</sub>
<hr>
 
¿Cuántos elementos tiene S<sub>n</sub>?
 
Razonando como reordenamiento de I<sub>n</sub>, vemos que debemos ubicar los n elementos de ese conjunto en n posiciones. Tenemos ''n'' posibilidades para la primera posición, ''(n-1)'' para la segunda, ''(n-2)'' para la tercera, etc. Luego,
{{Caja|<math>|S_n|= n * (n-1) * \cdots 2 * 1 = n !</math>}}
<hr>
 
 
 
=== Las Matrices 2 x 2 ===
 
Denotamos por <math>M_2(\R)</math> al conjunto formado por todas las matrices 2 x 2 con entradas o componentes números reales. Hay operaciones de suma y producto de matrices que recordamos a continuación.
 
<center><math>\begin{array}{lcl}
\begin{bmatrix} a & b \\ c & d \end{bmatrix} + \begin{bmatrix} x & y \\ z & w \end{bmatrix} &=& \begin{bmatrix} a +x & b + y \\ c + z & d + w \end{bmatrix}
\\ [5mm]
\begin{bmatrix} a & b \\ c & d \end{bmatrix} \cdot \begin{bmatrix} x & y \\ z & w \end{bmatrix} &=& \begin{bmatrix} a x+ bz & ay + bw \\ cx + dz & cy + dw
\end{bmatrix}
\end{array}</math></center>
 
Dichas operaciones tienen las propiedades que indicaremos a continuación. La verificación de la validez de las mismas queda al cuidado de los lectores.
<ol>
<li> La suma de matrices es asociativa, conmutativa, tiene neutro <math>\begin{bmatrix} 0 & 0 \\ 0& 0\end{bmatrix}</math> y cada matriz A tiene opuesto aditivo -A. Lo que nos dice que las matrices con la suma determinan un grupo abeliano.
 
<li> La multiplicación de matrices es asociativa, pero no conmutativa. Tiene neutro <math> I =\begin{bmatrix} 1 & 0 \\ 0 & 1\end{bmatrix}</math>. Por lo que las matrices con la multiplicación determinan un monoide. Las matrices con la multiplicación no determinan un grupo, porque no todas las matrices no nulas tienen inverso. En, efecto se sabe que únicamente las matrices con determinante no nulo son invertibles. Se sabe que si la matriz
<math>A = \begin{bmatrix}a & b \\ c & d \end{bmatrix}</math> tiene determinante (ad- bc) no nulo, su inversa es
<center> <math> A^{-1} = \frac{1}{ad-bc} \begin{bmatrix} d & -b \\ -c & a \end{bmatrix}</math>
</ol>
 
Las matrices invertibles determinan un grupo ya que el producto de invertibles es invertible y su inversa es igual al producto de las inversas de los factores, pero con orden invertido.
<center><math>(AB)^{-1} = B^{-1}A^{-1}.</math></center>
 
Dicho grupo se llama '' grupo lineal'' de dimensión 2 sobre los Reales y se denota por <math>GL_2(\R)</math>.
 
'''Ejercicios.'''
<ol>
<li> Verificar la validez de las afirmaciones sobre las propiedades de las operaciones con matrices.
<li>Para cada uno de los siguientes ejercicios investigar si son cerrados respecto a la multiplicación, si la identidad pertenece al conjunto y si el inverso de cada elemento en el conjunto pertenece al conjunto
 
<center><math>
B = \begin{bmatrix} a & b \\ 0 & d \end{bmatrix} \qquad
T = \begin{bmatrix} a & 0 \\ 0 & (1/a) \end{bmatrix} \qquad
U = \begin{bmatrix} 1 & 0a \\ 0 & 1 \end{bmatrix} \qquad
</math></center>
 
<li> Sea <math>GL_2(\Q)</math> el subconjunto formado por todas las matrices invertibles cuyas entradas son todas números racionales. Probar que dicho conjunto con la multiplicación tiene una estructura de grupo.
 
<li> Sea <math>\mathcal{C} </math> el conjunto de matrices de la forma
<center><math>\begin{bmatrix} a & - b \\ b & a \end{bmatrix}. </math></center> Probar que las matrices no nulas de <math>\mathcal{C} </math> forman un grupo con la multiplicación.
</ol>
 
== Los Enteros módulo m ==
{{DefRht|Congruencia módulo ''m'' en los Enteros|
Sea m un entero positivo. Decimos que dos enteros x, y son congruentes módulo ''m'', ssi, ''x - y'' es un múltiplo de'''m''}}
<p>Notación: <math>x\ \bmod\ y, \quad</math> <math>x \equiv_m y \quad</math> o <math>x \equiv y \pmod{m}.</math></p>
Claramente, esa relación es reflexiva y simétrica. Probaremos la transitividad.
<center><math>
x \equiv_m y, y \equiv_m z \implies x - y = sm, y-z = tm,\ s,t \in \Z.</math> </center>
Luego <math>x - z = x-y + y-x = sm + tm = (s+t)m</math>,
lo que prueba la transitividad. Nos referiremos a esta relación como la ''congruencia módulo m''.
 
Llamamos <code><b>clase de equivalencia</b></code> de un número <i>x</i>, al conjunto formado por todo los números equivalentes con <i>x</i>.
 
Las clases de equivalencia son disjuntas dos a dos y su reunión es todo el conjunto de los Enteros (ver Apéndices). Simbolizaremos por <math>[x]</math> la clase del ''x''.
 
Simbolizaremos por <code><math>\Z_m</math></code> el conjunto formado por todas las clases de equivalencia módulo ''m'' y diremos que sus elementos son los '' Enteros módulo m''. ada elemento de una clase es un ''representante'' de la clase.
 
{{Ejmpl|Ejemplo (Enteros módulo 2)}}
En este caso dos elementos son equivalentes, o lo que es lo mismo definen la misma clase de equivalencia cuando su diferencia es un múltiplo de 2 (o sea un número par). Por lo que la clase del 0, [0] está formado por todos los ''x'' está que ''x - 0=x'' es un número par, por lo que la clase del 0 está formada por todos los números enteros pares.
<center><math>[x] = \{ 0, 2, -2, 4, -4, \dots \}.</math></center>
Por su parte, la clase del 1, está formada por enteros cuya diferencia con 1 sea par, o sea los impares.
<center><math>[1] =\{1, -1, 3, -3, \dots\}.</math> </center>
Luego, <math>\Z_2 = \{[0], [1]\}</math> ,
<hr>
 
{{Ejmpl| Ejemplo (Enteros módulo 5)}}
En este caso, dos números son equivalentes cuando su diferencia es un múltiplo de 5.
Construyamos las clases de equivalencia. La clase del 0 está formado por todos aquellos números cuya diferencia con 0 es un múltiplo de 5, o sea todos los múltiplos de 5.
<center> <math>[0] = \{0, \pm 5, \pm 10, \pm 15, ...\}.</math> </center>
Busquemos ahora la clase de equivalencia del 1. Como <math>x \equiv_5 1</math> , ssi, <math>x =1 +5s</math> , ssi, <math>x = 1 + 5s</math> . La clase del [1] estará formada por todos los enteros que son 1 más que un múltiplo de 5.
<center> <math>[1] = \{1, 6, -4, 11, -9, 16, -14, ....\}</math> </center>
Análogamente, obtenemos que
:::<math>[2] = \{2, 7, -3, 12, -8, 17,-13, ... \} </math>
:::<math>[3] = \{3, 8, -2, 13, -7, 18, ...\}</math>
:::<math>[4] = \{4, 9,-1, 14, -6,19, ...\}</math>
 
Notemos que <math>[5] = [0]</math> , <math>[6] = [1]</math> etc.
Es decir que hay solamente cinco clases.
{{Caja|<math>\Z_5 = \{ [0], [1],[2], [3], [4]\}.</math>}}
<hr>
 
{{Ejmpl|Operaciones en <math>\Z_m</math>}}
Queremos definir operaciones de suma y multiplicación en <math>\Z_m</math> por
<center><math>[x]+[y] := [x+y] \qquad [x] \cdot[y] = [x \cdot y].</math></center>
Es decir, la suma de la clase de ''x'' con la clase de ''y'' es la clase de ''x+y'' y análogamente para la multiplicación. Hay, sin embargo, un problema con esa definición. La suma (y, lo mismo, el producto) se obtienen sumado (resp. multiplicando) dos <code>representantes</code>, una de cada clase por lo que resulta natural preguntar, ¿qué pasaría si escogiéramos otras representantes?La siguiente proposición no asegurará que no importa los representantes que escojamos, siempre obtendremos el mismo resultado.
 
{{PropRht|Compatibilidad con las operaciones|
Sean ''a, b, c, d'' números enteros tales que <math>a \equiv_m b</math> y <math>c \equiv_m d.</math> Entonces,}}
<ol type = "a">
<li> <math> a + c \equiv_m b +d </math>.
<li> <math> ac \equiv bd </math>
</ol>
 
''Demostración. '' Tenemos que
:<math> a \equiv b \implies a - b = s m</math>, para algún <math>s</math>.
:<math> c \equiv d \implies c - d = t m</math>, para algún <math>t</math>.
Luego, como
:<math>(a+c) - (b +d) = (a-b) + (c-d) = sm + tm =(s+t)m</math>
tenemos que <math>a+c \equiv_m b + d</math>, lo que prueba la parte a.
 
Para la multiplicación, tenemos que:
<center><math>
ac - bd = ac -bc + bc - bd = (a-b)c + b(c-d) = sm c + btm = (sc + bt) m.
</math></center>
Es decir que <math>ac \equiv_m bd</math>.
<hr>
<b>Corolario.</b> <i>Suponer que <math>[a] = [b]</math> y que <math>[c] = [d].</math> Entonces,</i>
<center><math> [a+c] = [b+d]</math> y <math> [ac] = [bd].</math></center>
 
==== El grupo aditivo de los Enteros módulo m ====
Veremos que <math>\Z_m</math> con suma forman un grupo abeliano.
 
Necesitamos verificar que la suma es asociativa, conmutativa, con neutro y que cada elemento tiene un opuesto aditivo.
 
Sean <math>a, b, c</math> números enteros.
<center><math>
\begin{array}{rcl}
[a] + ([b] + [c]) &=& [a] + [b+c] = [a+b+c] \\
([a]+[b])+[c] &=& [a+b]+[c] = [a+b+c]
\end{array}
</math></center>
Lo que prueba la asociatividad.
 
<math> [a]+[b] = [a+b] = [b+a] = [b] + [a] </math>, lo prueba conmutatividad.
 
Claramente, <math>[a] + [0] = [a]</math>, lo que muestra que la clase del 0 es el elemento neutro.
 
Finalmente, para cada <math>a</math>, tenemos que <math>[a] +[m-a] = [m]=[0] </math>, lo que prueba que <math>[m-a] = -[a].</math> Es decir cada elemento tiene un opuesto. Esto concluye la prueba.
 
 
==== El monoide multiplicativo de los Enteros módulo m ====
Veremos que los Enteros módulo ''m'' con la multiplicación forman un monoide.
La asociatividad y la conmutatividad se prueban de manera análoga al caso de la suma. Además, <math>[a][1]=[a\cdot 1]=[a]</math>, por lo que [1] es un neutro.
<hr>
 
Se puede verificar que cuando ''m'' es un número primo, <math>\Z_m^*</math>, los elementos no nulos de <math>\Z_m</math>, forman un grupo abeliano respecto a la multiplicación. Cuando ''m'' es compuesto aparecen unas ''cosas raras'' en la multiplicación. Por ejemplo, en <math>\Z_6</math>, la clase del 2 y la clase del 3 son distintas de la clase del 0, ya que ninguno de ellos es un múltiplo de 6, pero <math>[2] \cdot [3] =[6]= [0]</math>. Dos elementos no nulos al multiplicarse producen el elemento nulo.
<hr>
 
=== Ejercicios ===
 
<ol>
<li> Construir las tablas de operaciones (adición y multiplicación) de <math>\Z_{10}</math>
Usar la tabla para evaluar las expresiones siguientes.
 
<table style="width:75%">
<tr>
<td> a. [7]+ [2]
<td> b. [8]*[5]
<td> c. -([3]*[6])
</tr>
<tr>
<td> d. 1/[3]
<td> e. 1/[5]
<td> f. 1/[7]
</tr>
</table>
 
<li> Hallar los cuadrados y los cubos de todos los elementos de <math>\Z{10}</math>.
 
<li> Hallar los recíprocos de todos los elementos no nulos de <math>\Z_[13]</math>.
 
<li> Resolver la ecuación <math>x^2 + [3]x + [15]=0</math> en <math>\Z_{11}</math>.
 
<li> Resolver en <math>\Z_5</math>, el sistema de ecuaciones
<center><math>
\begin{array}{rcrcl}
3x &+& 2y &=& 3 \\
2x &+ & y &=& 0
\end{array}</math></center>
</ol>
 
== Estructuras algebraicas con dos operaciones ==
 
Las estructuras con dos operaciones que veremos, pueden tener un sabor más familiar. Por ahora, su aparición se debe a que proveen ejemplos de las estructuras con una operación que hemos visto. Las estructuras con dos operaciones se verán detalladamente en capítulos posteriores.
 
<div style="background: white; border: 1px solid navy; width:80%; margin:10pt 80pt 10pt 50pt; padding: 1.5ex; font-family: Arial; font-style: normal;" >
'''Definición (Anillos, Cuerpos)''' Un '''anillo''' es un trío <math><A.+.\cdot></math> tales que
<ol type="i">
<li> <math><A,+></math> es un grupo abeliano (grupo multiplicativo del anillo).
<li> <math><A,\cdot></math> es un semigrupo (semigrupo multiplicativo del anillo.
<li> La multiplicación es distributiva respecto a la adición.
{{Eqn|<math>a(b+c)=ab+ac\qquad</math> y <math>(b+c)a=ba +ca</math>,}}
</ol>
 
Un '''anillo conmutativo con identidad''' es un anillo con la multiplicación conmutativo y con un neutro 1 (llamado identidad del anillo)
 
Un '''cuerpo''' es un anillo conmutativo con identidad donde cada elemento no nulo tiene recíproco.
</div>
 
Los Enteros son un ejemplo de anillo conmutativo con identidad. Los Racionales, Reales y Complejos serán, por ahora, nuestros ejemplos de cuerpos.
 
'''Proposición.'''<i>
Cuando p es un número primo, los Enteros módulo p son un cuerpo.</i>
<ul>
''Demostración: '' Vimos anteriormente que para cualquier <i>m</i> los Enteros módulo m está provisto de operaciones de suma y multiplicación definidas por
{{Eqn|<math>[x]+[y]=[x+y]\quad \text{ y } \quad [x]\, [y] = [xy]</math>.}}
Es fácil ver que con esas operaciones, <math>\Z_m</math> es un anillo conmutativo con identidad.
Probaremos que cuando <i>p</i> es un número primo, los elementos no nulos de <math>\Z_p</math>.
El resultado sigue de la identidad de Bezout para los números enteros que establece que el máximo común divisor de dos número se puede expresar como una combinación lineal de los números <ref>Ver apéndice sobre Sistemas Numéricos</ref>.
Si <math>[a]</math> es un elemento no nulo de <math>\Z_p</math>, el número <i>a</i> no pude ser n múltiplo de p, por lo que el máximo común divisor de a y p debe ser 1. Luego, por la identidad de Bezout, hay enteros x, y tales que
{{Eqn|<math> ax + py =1 </math>|*}}
Pasando a clases de equivalencias, tenemos que
<center><math>\begin{array}{lrcl}
& ax + py &=& 1 \\
\implies & [ax + py] &=& [1] \\
& [ax] + [py] &=& [1] \\
& [a]\,[x] + [p] [y] &=& [1] \\
& [a]\, [x] &=& 1.
\end{array}</math></center>
Lo que muestra que <math>[a]</math> tiene a <math>[x]</math> como recíproco. {{QED}
</ul>
<hr>
 
=== Matrices con entradas en un anillo ===
Queremos aumentar nuestro caudal de ejemplos, definiendo matrices con entradas en un anillo con identidad o cuerpo cualquiera. Notemos que las definiciones de suma y multiplicación de matrices con entradas reales lo único que requieren de los Reales es que se pueden sumar y multiplicar. Como esto pasa en cualquier anillo, podemos considerar matrices cuyas entradas pertenecen a un anillo cualquiera. Si nos interesa considerar inversas de matrices, debemos pedir que las entradas pertenezcan a un cuerpo.
 
Sea A un anillo con identidad o un cuerpo. Simbolizaremos por <math>M_2(A)</math> el conjunto de todas las matrices 2 x 2 cuyas entradas son elementos de A. Es un ejercicio largo, pero fácil, probar que <math<M_2(A)</mat> con esas propiedades determina un anillo con identidad. El anillo no es conmutativo.
 
Se define el determinante de <math>A=\begin{bmatrix} a & b \\ c & d \end{bmatrix}</math> como es usual, esto es <math>\det(A) = ad -bc</math>. Se verifica que
{{Eqn|<math> \det(AB) = \det(A) \det(B).</math>}}
 
Sea K un cuerpo, por <math>GL_2(K)</math> simbolizamos al grupo de matrices invertibles con entradas en K.
Cuando K sea los enteros módulo p, p primo, <math>GL_2(\Z_p)</math> es un grupo finito, que se prueba que tiene <math>(p^2-1)(p^2-p)</math> elementos.
 
=== Ejercicios ===
<ol>
<li> Probar que <math>\Z_m</math> es un anillo conmutativo con identidad.
<li> Probar que cuando m no es un número primo, en <math>Z_m</math> hay elementos no nulos <math>[x], [y]</math> tales que <math>[x][y]=[0]</math>
 
<li> Probar que las matrices 2 x 2 con coeficientes en un anillo conmutativo con identidad determinan un anillo con identidad, pero que no es conmutativo.
 
<li> Sea <math>A = \begin{bmatrix} a& b \\ c & d \end{bmatrix}</math>. La matriz A puede considerarse com Probar o verificar las siguientes afirmaciones.
<ol type = "a">
<li> Si una de las filas o una de las columnas de la matriz es 0 0 , entonces el determinante es cero.
<li> Si hay un número p tal que c = pa y d = cb entonces el determinante de la matriz es cero.
<li> Si el determinante de A es cero, probar que hay un número p tal que c=pa y d = pb.
</ol>
 
<li> Usar el ejercicio anterior para hallar la formula para la cantidad de elementos de <math>GL_2(\Z_p)</math>, p primo. (Sugerencia. Cualquier par de elementos que no sean ambos nulos sirven para la primera fila. ¿Cuántos pares de elementos hay que no sean ambos nulos?
La segunda fila no puede ser un múltiplo de la primera, por lo que hay que tomar un par de elementos que no sea un múltiplo de la primera fila ¿cuántos de esos pares hay?)
 
 
 
</ol>
 
== Estructuras con una operación externa ==
 
Presentaremos, como ilustración, algunas estructuras donde aparece una operación externa.
 
<div style="background: white; border: 1px solid navy; width:80%; margin:10pt 80pt 10pt 50pt; padding: 1.5ex; font-family: Arial; font-style: normal;" >
<b>Definición (Módulo, Espacio vectorial, Álgebra)<b>
<ul>
<li> Sea ''A'' un anillo con identidad. Llamamos '''A--módulo''' a un grupo abeliano <E,+> provisto de una operación externa
{{Eqn|<math> \bullet :A \times E \longrightarrow E::(\alpha,x) \mapsto \alpha \bullet x.</math>}}
que es compatible con la estructura de grupo abeliano.
Es decir que
<ol type="i">
<li> <math>(\alpha + \beta)\bullet x = \alpha \bullet x + \beta \bullet x</math>.
<li> <math>(\alpha \beta)\bullet x = \alpha \bullet (\beta \bullet x)</math>
<li> <math>1 \bullet x = x </math>.
<li> <math>\alpha\bullet(x+y) =\alpha \bullet x + \alpha \bullet y</math>.
</ol>
Los elementos del anillo se dice que son los escalares y los de E los vectores. La operación externa se llama ''multiplicación por escalar'' y usualmente, cuando no hay riesgo de confusión, se omite el símbolo de la operación.
 
<li> Un '''Espacio vectorial sobre un cuerpo K''', es un K-módulo (o sea los escalares forman un cuerpo).
 
<li> Un '''Álgebra sobre un anillo (o cuerpo) A''' es un A-modulo E provisto de una multiplicación tal que <math><E,+,\cdot></math> es un anillo y se cumple que
<math>\alpha(a\cdot b) = (\alpha a) \cdot b = a \cdot (\alpha B)</math>.
<ul>
</div>
 
Los principales ejemplos que posiblemente el lector debe conocer:
* El álgebra de polinomios, la multiplicación por constantes es la operación externa.
* El álgebra de matrices, la operación externa es la multiplicación por escalar (por constante).
* El plano cartesiano es un espacio vectorial sobre <math>\R</math>> los elementos del plano son pares ordenados de números reales, la suma se hace coordenada a coordenada y la multiplicación por escalar, es multiplicar cada coordenada por el escalar.
{{Eqn|<math>\begin{array}{rcl}
(x_1,x_2) + (y_1,y_2) &:= & (x_1+ y_1, x_2 + y_2) \\
\alpha(x_1,x_2) &:= & (\alpha x_1, \alpha x_2)
\end{array}</math>.}}
Claramente, las definiciones anteriores se pueden extender a <math>\R^n</math> (Espacio vectorial d dimensión n).
<hr>
El álgebra de polinomios tiene un capítulo en este texto. Espacios vectoriales, Algebras son materias de un curso de Álgebra Lineal. Módulos generales se estudian en cursos avanzados de Álgebra Lineal o de Álgebra Conmutativa.
 
Una introducción a esos temas se puede hallar en Wikipedia:[[w:Vector|Vector]] o [[w:Espacio Vectorial|Espacio Vectorial]]
 
== Ejercicios del Capítulo ==
 
<ol type="1">
<li>(Potencias en un Semigrupo.)
Probar que para todo ''a'', <math> b</math> elementos de <math> S, </math> se cumple que
<ol type = "a">
<li> <math> a^{m+n} = a^m a^n.</math>
<li> <math> (a^m)^n = a^{mn}.</math>
<li> Si <math> ab = ba</math> entonces <math> (ab)^n = a^n b^n.</math>
</ol>
 
<li> (Potencias en un Monoide.) Si <math>S</math> tiene un neutro <math>e,</math> entonces definimos <math> a^0 :=e.</math> Probar que con estas definiciones, se continúan cumpliendo las propiedades del ejercicio 1.
 
<li> (Potencias Negativas.) Sea ''<M,*>'' un monoide y sea ''a'' un elemento invertible de cualquiera de <i>S.</i> Como <i>S</i> es un monoide, <i> a<sup>n</sup> </i> está definido, según los ejercicios anteriores, para todo <math>n \ge 0.</math> Cuando <i>a</i> es invertible, podemos además definir potencias con exponentes negativos. Supongamos que <i>a'</i> es el inverso de <i>a</i > y <i>n</i> un número entero positivo. Entonces,
{{Eqn|<math>a^{-n} := (a')^{n}</math>}}
<ol type = "a">
<li> Probar que <i>a</i> elevado a -1 es igual al inverso de a; lo que prueba que la notación <i>a<sup>-1</sup></i> no es ambigua.
<li> Probar que para todo <i>m, n </i> enteros se cumplen las relaciones del ejercicio 1.
</ol>
<li> Sea <i>S<i> un semigrupo con neutro <math>e.</math> Sea ''a'' un elemento de <math>S</math> tal que <math> a^n=e</math> y 12. es el menor entero positivo con esa propiedad. Probar las siguientes afirmaciones.
<ol type = "a">
<li> Hay elementos <math>b,</math> <math>c</math> y <math> d </math> tales que <math>b^4=c^3=d^2=e.</math>
<li> Si <math>m</math> es un múltiplo de 12, entonces <math> a^m=e.</math>
<li> Si el residuo de la división de un entero positivo <i>m</i> por 12 es <i>r</i>, entonces <math>a^m = a^r</math>
<li> Expresar <math>a^{-1}, a^{-2}</math> como potencias positivas de <i>a</i>.
</ol>
 
<li> (Subgrupos del grupo <math>\textsf{GL}_2(\R)</math>).<br />
Sea <math> \alpha = \begin{bmatrix} \cos(120^\circ ) & - \sen(120 ^\circ ) \\ \sen(120 ^\circ ) & \ \cos(120^\circ ) \end{bmatrix},</math> una rotación por 120 grados, y sea <math>\beta= \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}</math>, la reflexión entorno al eje X. Probar las afirmaciones siguientes.
<ol type = "a">
<li> <math>\alpha^3 = {I},</math>, <math>\beta^2 = {I},</math> y <math> \beta \alpha \beta^{-1} = \alpha^2.</math>.
<li> Sea <math>H = \{{I}, \alpha, \alpha^2\}</math>. H es un conjunto cerrado respecto a la multiplicación de matrices (construir la tabla de operaciones), y que cada elemento de <math> H</math> es invertible. Es decir que H es un grupo respecto a la multiplicación de matrices.
<li> Sea <math> G= \{{I}, \alpha, \alpha^2,\beta, \alpha\beta , \alpha\beta^2\}</math>. G es un conjunto cerrado respecto a la multiplicación y cada elemento de G tiene inverso en G. Luego G es un múltiplo respecto a la multiplicación de matrices.
</ol>
== Comentarios ==
 
== Referencias ==
 
 
<!--- abc -->
Obtenido de «https://es.wikibooks.org/wiki/Cursos/E_M_T/1º_Electromecánica_-_Matemáticas/Texto_completo»