Recientemente he estado estudiando algo elemental a la teoría de números, y he vienen con frecuencia a través del hecho de que hay un buen número de resultados (la principal de ellas fue la ley de la reciprocidad cuadrática) para que $2$ tiene que ser tratada como un caso especial, por separado de los impares, números primos.
Mi pregunta es ¿por que es esto. Puedo ver que hay razones en cada prueba que el teorema no se sostenga por $2$ (bastante común es el hecho de que $2-1$ no es divisible por $2$), pero tengo curiosidad por ver si hay un marco teórico de la razón. Mi mejor conjetura es que podría tener que ver con el hecho de que $\left ( \mathbb{Z}/2\mathbb{Z} \right )^\times$ es trivial, a pesar de que puede ser simplemente una más elegante manera de decir que $2-1 = 1$.
Estoy, por supuesto, abierto a la posibilidad de que hay una variedad de razones por las que $2$ es una excepcional prime, pero tengo la curiosidad de lo que son y si hay un mejor ejemplo, o un ejemplo más común.