Estoy leyendo http://cr.yp.to/papers/primesieves.pdf y me encontré con la siguiente notación en la página 1:
Por ejemplo, un entero positivo libre de cuadrados $p \in 1 + 4\Bbb Z$ es primo si y sólo si la ecuación $4x^2 + y^2 = p$ tiene un número impar de soluciones positivas $(x,y)$ .
Lo que me confunde es el uso de la expresión en negrita de la pizarra $1+4\Bbb Z$ como una restricción a la $p$ variable. He visto a los teóricos del campo usar cosas como $p \in {\Bbb Z}/12{\Bbb Z}$ para un elemento de campo finito, pero éste es nuevo para mí.
