¿Qué significa la notación$11\mid a^2$?

Question

¿Qué significa la notación$11\mid a^2$ como se usa en esta respuesta: http://math.stackexchange.com/a/948251/13230

Estoy tratando de comprender la prueba de que$\sqrt{11}$ es un número irracional, pero estoy atascado cuando se dice lo siguiente:

Esto significa que$11\mid a^2$ y así$11\mid a$ como$11$ es primo.

Answer 1

La notación significa que "$11$ divide$a^2$". En otras palabras, significa que existe un número entero$n$ tal que$11n=a^2$.