Olimpiadas de Matemáticas
Página de preparación y problemas

Selector
La base de datos contiene 2803 problemas y 1137 soluciones.
Problema 1553problema obsoleto
Sea $\mathbb{K}$ un anillo con unidad y $M$ el conjunto de las matrices $2\times 2$ con elementos en $\mathbb{K}$. Se define en $M$ una suma y un producto de la forma usual entre matrices.
  1. Comprobar que $M$ es un anillo con unidad y no conmutativo respecto de las leyes de composición así definidas.
  2. Comprobar que si $\mathbb{K}$ es un cuerpo conmutativo, los elementos de $M$ que tienen inverso están caracterizados por la condición $ad-bc\neq 0$.
  3. Demostrar que el subconjunto de $M$ formado por los elementos que tienen inverso es un grupo multiplicativo.
pistasolución 1info
Pista. Para el apartado (a), tienes que comprobar que la suma es asociativa, conmutativa, tiene elemento neutro y cada elemento tiene un elemento opuesto; también tienes que comprobar que el producto es asociativo, tiene elemento neutro y la suma es distributiva respecto de él. No obstante, hay que dar algún ejemplo que muestre que la propiedad conmutativa no es cierta en general. Para el apartado (b), observa que el determinante es multiplicativo. Para el apartado (c), tienes que probar que el producto de matrices regulares es regular, es asociativo, tiene elemento neutro y cada matriz regular tiene una simétrica (su inversa).
Solución. Empecemos con el apartado (a), para lo que tenemos que ver que la suma de matrices en $M$ es asociativa, conmutativa, tiene elemento neutro y elemento opuesto. Sin embargo, como la suma de matrices es componente a componente y la suma en el anillo $\mathbb{K}$ cumple todas estas propiedades, también se cumplirán en $M$. En particular, el elemento neutro es la matriz nula y el elemento opuesto es el que se obtiene haciendo el opuesto de cada una de las entradas de la matriz.

En cuanto al producto de matrices, consideremos tres matrices \[A=\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix},\quad B=\begin{pmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\end{pmatrix},\quad C= \begin{pmatrix}c_{11}&c_{12}\\c_{21}&c_{22}\end{pmatrix}\] en $M$. Tenemos que comprobar tres propiedades:

  • Asociativa. Por un lado, tenemos que \begin{align*} (AB)C&=\begin{pmatrix} a_{11}b_{11}+a_{12}b_{21}&a_{11}b_{12}+a_{12}b_{22}\\ a_{21}b_{11}+a_{22}b_{21}&a_{21}b_{12}+a_{22}b_{22} \end{pmatrix} \begin{pmatrix}c_{11}&c_{12}\\c_{21}&c_{22}\end{pmatrix}\\ &=\begin{pmatrix} (a_{11}b_{11}+a_{12}b_{21})c_{11}+(a_{11}b_{12}+a_{12}b_{22})c_{21} & (a_{11}b_{11}+a_{12}b_{21})c_{12}+(a_{11}b_{12}+a_{12}b_{22})c_{22}\\ (a_{21}b_{11}+a_{22}b_{21})c_{11}+(a_{21}b_{12}+a_{22}b_{22})c_{21} & (a_{21}b_{11}+a_{22}b_{21})c_{12}+(a_{21}b_{12}+a_{22}b_{22})c_{22} \end{pmatrix}\\ &=\begin{pmatrix} a_{11}b_{11}c_{11}+a_{12}b_{21}c_{11}+a_{11}b_{12}c_{21}+a_{12}b_{22}c_{21} & a_{11}b_{11}c_{12}+a_{12}b_{21}c_{12}+a_{11}b_{12}c_{22}+a_{12}b_{22}c_{22}\\ a_{21}b_{11}c_{11}+a_{22}b_{21}c_{11}+a_{21}b_{12}c_{21}+a_{22}b_{22}c_{21} & a_{21}b_{11}c_{12}+a_{22}b_{21}c_{12}+a_{21}b_{12}c_{22}+a_{22}b_{22}c_{22} \end{pmatrix}, \end{align*} y el mismo resultado se obtiene al hacer \begin{align*} A(BC)&=\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix} \begin{pmatrix} b_{11}c_{11}+b_{12}c_{21}&b_{11}c_{12}+b_{12}c_{22}\\ b_{21}c_{11}+b_{22}c_{21}&b_{21}c_{12}+b_{22}c_{22} \end{pmatrix}. \end{align*}
  • Elemento neutro. Consideremos la matriz identidad \[ I=\begin{pmatrix}1&0\\0&1\end{pmatrix}. \] Entonces, \begin{align*} AI&=\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix} \begin{pmatrix}1&0\\0&1\end{pmatrix} =\begin{pmatrix} a_{11}\cdot 1 + a_{12}\cdot 0 & a_{11}\cdot 0 + a_{12}\cdot 1\\ a_{21}\cdot 1 + a_{22}\cdot 0 & a_{21}\cdot 0 + a_{22}\cdot 1 \end{pmatrix} =\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix}=A, \end{align*} y análogamente se comprueba que $IA=A$. Por tanto, $I$ es el elemento neutro del producto.
  • Distributiva respecto de la suma. Tenemos \begin{align*} A(B+C)&=A\begin{pmatrix} b_{11}+c_{11}&b_{12}+c_{12}\\ b_{21}+c_{21}&b_{22}+c_{22} \end{pmatrix}\\ &=\begin{pmatrix} a_{11}(b_{11}+c_{11})+a_{12}(b_{21}+c_{21}) & a_{11}(b_{12}+c_{12})+a_{12}(b_{22}+c_{22})\\ a_{21}(b_{11}+c_{11})+a_{22}(b_{21}+c_{21}) & a_{21}(b_{12}+c_{12})+a_{22}(b_{22}+c_{22}) \end{pmatrix}\\ &=\begin{pmatrix} a_{11}b_{11}+a_{12}b_{21} & a_{11}b_{12}+a_{12}b_{22}\\ a_{21}b_{11}+a_{22}b_{21} & a_{21}b_{12}+a_{22}b_{22} \end{pmatrix} + \begin{pmatrix} a_{11}c_{11}+a_{12}c_{21} & a_{11}c_{12}+a_{12}c_{22}\\ a_{21}c_{11}+a_{22}c_{21} & a_{21}c_{12}+a_{22}c_{22} \end{pmatrix}\\ &=AB+AC. \end{align*} De forma análoga se comprueba que $(B+C)A=BA+CA$, por lo que el producto es distributivo respecto de la suma.

Veamos ahora qué matrices son invertibles para responder al apartado (b), suponiendo ahora que $\mathbb{K}$ es conmutativo. Supongamos que \[ A=\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix}\in M. \] es invertible, es decir, que existe \[ B=\begin{pmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\end{pmatrix} \] tal que $AB=I$. Entonces \begin{align*} AB&=\begin{pmatrix} a_{11}b_{11}+a_{12}b_{21} & a_{11}b_{12}+a_{12}b_{22}\\ a_{21}b_{11}+a_{22}b_{21} & a_{21}b_{12}+a_{22}b_{22} \end{pmatrix} =\begin{pmatrix}1&0\\0&1\end{pmatrix}. \end{align*} Por tanto, se verifica el sistema \[ \begin{cases} a_{11}b_{11}+a_{12}b_{21}=1,\\ a_{11}b_{12}+a_{12}b_{22}=0,\\ a_{21}b_{11}+a_{22}b_{21}=0,\\ a_{21}b_{12}+a_{22}b_{22}=1. \end{cases} \] Multiplicando la primera ecuación por $a_{22}$ y la tercera por $a_{12}$, y restando, obtenemos \[ (a_{11}a_{22}-a_{12}a_{21})b_{11}=a_{22}. \] Análogamente, multiplicando la primera por $a_{21}$ y la tercera por $a_{11}$, se obtiene \[ (a_{11}a_{22}-a_{12}a_{21})b_{21}=-a_{21}. \] Si ocurriera que $a_{11}a_{22}-a_{12}a_{21}=0$, entonces $a_{21}=a_{22}=0$ y la cuarta ecuación nos diría que $0=1$ (contradicción).

Recíprocamente, si $a_{11}a_{22}-a_{12}a_{21}\neq 0$, consideramos \[ A^{-1}=\frac{1}{a_{11}a_{22}-a_{12}a_{21}} \begin{pmatrix}a_{22}&-a_{12}\\-a_{21}&a_{11}\end{pmatrix}. \] Entonces, \begin{align*} A A^{-1} &=\frac{1}{a_{11}a_{22}-a_{12}a_{21}} \begin{pmatrix} a_{11}&a_{12}\\a_{21}&a_{22} \end{pmatrix} \begin{pmatrix} a_{22}&-a_{12}\\-a_{21}&a_{11} \end{pmatrix}\\ &=\frac{1}{a_{11}a_{22}-a_{12}a_{21}} \begin{pmatrix} a_{11}a_{22}-a_{12}a_{21} & -a_{11}a_{12}+a_{12}a_{11}\\ a_{21}a_{22}-a_{22}a_{21} & -a_{21}a_{12}+a_{22}a_{11} \end{pmatrix} =\begin{pmatrix}1&0\\0&1\end{pmatrix}. \end{align*} Análogamente se comprueba que $A^{-1}A=I$. Hemos concluido así la demostración de que $A$ es invertible si y solo si $a_{11}a_{22}-a_{12}a_{21}\neq 0$.

Para responder finalmente al apartado (c), consideremos ahora el subconjunto \[ \mathcal G=\{A\in M: A \text{ es invertible}\}. \] y veamos que es un grupo multiplicativo, para lo que tendremos que comprobar cuatro propiedades.

  • Cerrado. Dadas $A,B\in \mathcal G$, existen sus inversas $A^{-1}$ y $B^{-1}$, luego \[ (AB)(B^{-1}A^{-1})=A(BB^{-1})A^{-1}=AIA^{-1}=AA^{-1}=I, \] y análogamente $(B^{-1}A^{-1})(AB)=I$. Por tanto, $AB\in\mathcal G$ es invertible y $(AB)^{-1}=B^{-1}A^{-1}$.
  • Asociativa. La operación es asociativa porque lo es el producto de matrices en $M$ como hemos visto anteriormente.
  • Elemento neutro. La matriz identidad $I$ es invertible ya que se comprueba fácilmente que $I^{-1}=I$; como es elemento neutro del producto en $M$, también lo será en $\mathcal G$.
  • Elemento inverso. Si $A\in\mathcal G$, por definición existe $A^{-1}\in M$ tal que $AA^{-1}=A^{-1}A=I$. Por tanto, $A^{-1}\in \mathcal G$ con $(A^{-1})^{-1}=A$.
Si crees que el enunciado contiene un error o imprecisión o bien crees que la información sobre la procedencia del problema es incorrecta, puedes notificarlo usando los siguientes botones:
Informar de error en enunciado Informar de procedencia del problema
José Miguel Manzano © 2010-2026. Esta página ha sido creada mediante software libre