Hacemos.
En un anillo [math] R [/ math] que tiene una identidad multiplicativa [math] 1_R [/ math] (tenga en cuenta que no todos los autores suponen que un anillo tiene uno), un elemento primo [math] p [/ math] es un elemento que satisface las siguientes tres declaraciones:
- No es igual a la identidad aditiva [matemática] 0_R [/ matemática] de [matemática] R [/ matemática].
- No existe [matemática] v \ en R [/ matemática] tal que [matemática] pv = 1_R [/ matemática] o [matemática] vp = 1_R [/ matemática].
- Si [matemática] p [/ matemática] divide [matemática] ab [/ matemática], donde [matemática] a, b \ en R [/ matemática], entonces [matemática] p [/ matemática] divide [matemática] a [ / matemática], o [matemática] p [/ matemática] divide [matemática] b [/ matemática], o [matemática] p [/ matemática] divide tanto [matemática] a [/ matemática] como [matemática] b [/ matemática ]
(Decimos que [matemática] a [/ matemática] divide [matemática] b [/ matemática] en el anillo [matemática] R [/ matemática] si existe [matemática] c \ en R [/ matemática] tal que [matemática ] ac = b [/ matemáticas].)
Si consideramos que el anillo [math] R [/ math] es el conjunto de enteros [math] \ mathbb {Z} [/ math] bajo la suma usual [math] + [/ math] y la multiplicación [math] \ cdot [/ math], entonces los elementos primos de [math] \ mathbb {Z} [/ math] son precisamente esos números que consideramos primos … y sus versiones negativas .
- ¿Cómo encontramos todos los enteros ‘n’ tal que | 2n ^ 3 -6n ^ 2 + 4n – 3 | es primo?
- UVA 11246- Conjunto libre múltiple: ¿Cómo resolverlo sin listas?
- La secuencia de números no cuadrados que no son cuadrados perfectos, es decir, 2,3,5,6,7,8,10 … se puede obtener mediante la fórmula F (n) = n + piso (0.5 + sqrt (n)). ¿Cómo probamos esto?
- ¿Cuál es el algoritmo más eficiente para averiguar si un entero es divisible por 7?
- ¿Cómo entiendo este código de número primo más grande?
Algunas personas piensan que los números primos negativos fueron ‘prohibidos’ para que el Teorema de factorización único tenga sentido (de lo contrario, [matemática] 15 [/ matemática] podría factorizarse como, por ejemplo, [matemática] 3 \ veces 5 [/ matemática] o como [math] (- 3) \ times (-5) [/ math], y esto haría que [math] 15 [/ math] pareciera que no es factorizable de manera única). Sin embargo, esto realmente no presenta un problema. Podemos definir dos elementos [matemática] a [/ matemática] y [matemática] b [/ matemática] del anillo [matemática] R [/ matemática] para asociar si [matemática] a = ub [/ matemática], donde [ math] u [/ math] es una unidad , un elemento en [math] R [/ math] que satisface [math] uv = vu = 1_R [/ math] para algún elemento [math] v \ in R [/ math] . Dado que [math] 1 [/ math] y [math] -1 [/ math] son las únicas unidades en [math] \ mathbb {Z} [/ math] (check!), Cualquier entero es un asociado solo consigo mismo y con su aditivo inverso. Por lo tanto, podemos establecer el Teorema de factorización único para los enteros como:
Deje que [math] a \ ne 0 [/ math] y [math] a [/ math] no es una unidad. Si [math] a = p_1p_2 \ ldots p_m = q_1q_2 \ ldots q_n [/ math], donde [math] p_i [/ math] ‘s y [math] q_j [/ math]’ s son primos en [math] \ mathbb {Z} [/ math], luego [math] m = n [/ math] y existe una correspondencia uno a uno entre [math] p_i [/ math] ‘s y [math] q_j [/ math ] es tal que los elementos correspondientes son asociados.
De esta manera, podemos dejar felices los números primos negativos allí. Por lo tanto, la razón para que las personas prohíban los números primos negativos es diferente …
Aquí es realmente por qué los primos negativos están ‘prohibidos’. También podríamos pensar en un elemento primo [matemático] p \ en R [/ matemático] como un elemento distinto de cero que genera lo que se llama un ideal primo . Para explicarlo en términos simples, para los enteros, el ideal primo de un número primo sería el conjunto que contiene todos los múltiplos enteros de [math] p [/ math]. Pero tenga en cuenta que los números primos [matemática] 3 [/ matemática] y [matemática] -3 [/ matemática], digamos, ambos generan exactamente el mismo primo ideal [matemática] \ {\ ldots, -9, -6, -3 , 0,3,6,9, \ ldots \} [/ math]. Entonces parece que los primos positivos o los primos negativos son redundantes, ya que cualquiera de ellos puede generar el mismo ideal primo. Debido a esto, los números primos generalmente se toman solo como primos positivos.