[math] 2 \ mathbb {Z} [/ math], el conjunto de números pares, es un ideal en [math] \ mathbb {Z} [/ math]. Entonces, [math] 3 \ mathbb {Z} [/ math], el conjunto de múltiplos de 3. Y tiene sentido decir que
[matemáticas] (2 \ mathbb {Z}) \ cdot (3 \ mathbb {Z}) = 6 \ mathbb {Z} [/ math]
porque cada producto de un número par y un múltiplo de tres es un múltiplo de seis, y cada múltiplo de seis es el producto de algún número par y algún múltiplo de tres.
- ¿Cuál es la fórmula utilizada para representar un número en Excel con un gráfico usando la siguiente fórmula = [@ [ColumnReference]]?
- ¿Hay algún axioma para la teoría de categorías? Si es así, ¿qué son?
- ¿Por qué no debería especializarme en matemáticas?
- Si 22 trabajadores pueden terminar un determinado trabajo en 32 días, ¿cuántos trabajadores se necesitan para terminar un trabajo en 16 días?
- ¿Por qué es genial ser malo en matemáticas?
Ahora también podríamos querer decir que
[matemáticas] (\ frac {1} {2} \ mathbb {Z}) \ cdot (6 \ mathbb {Z}) = 3 \ mathbb {Z}. [/ math]
Esto nos deja con la pregunta de exactamente qué tipo de objeto matemático [math] \ frac {1} {2} \ mathbb {Z} [/ math] es. No es un ideal de [math] \ mathbb {Z} [/ math] porque contiene cosas fuera de [math] \ mathbb {Z} [/ math] como [math] \ frac {1} {2} [/ math ] Por otro lado, no es un ideal de un anillo más grande porque ese anillo debería contener [math] \ frac {1} {2} [/ math], y luego el ideal debería contener
[matemáticas] \ frac {1} {2} \ cdot \ frac {1} {2} = \ frac {1} {4} [/ matemáticas]
Como estamos viendo algo que solo está cerrado bajo multiplicación por [math] \ mathbb {Z} [/ math], estamos viendo un submódulo [math] \ mathbb {Z} [/ math] de algunos [math ] \ mathbb {Z} [/ math] -módulo. La elección obvia de [math] \ mathbb {Z} [/ math] -module aquí es simplemente [math] \ mathbb {Q} [/ math]. En términos más generales, podríamos considerar un submódulo R de K , donde K es el campo de fracciones de algún anillo R.
Por supuesto, un ideal fraccional no es solo un submódulo R de K. También tenemos la condición de que podemos “borrar todos los denominadores” al multiplicar por un solo elemento de R. Esa condición está ahí para que podamos obtener los submódulos relevantes relacionados con la aritmética ideal.