Me he enfrentado a el concepto de máxima, mientras que la lectura de uno de los libros de Goro Shimura, Euler Productos y Eisenstein de la Serie.
Estoy familiarizado con el concepto de anillo de enteros de un campo de número. He leído algo en los pedidos y redes, pero su me confundió.
Así que al principio, yo prefiero arreglar algunas definiciones para reducir mi confusión. Deje $\mathbf{F}$ ser un campo de número, es decir, de un número finito de extensión de $\mathbb{Q}$. Deje $n$ a ser el grado de esta extensión, es decir,$n:=[\mathbf{F}:\mathbb{Q}]$, también se denota por a $\mathfrak{O}_{\mathbf{F}}$ el anillo de enteros de $\mathbf{F}$.
Por una orden de $\mathfrak{O}$ $\mathbf{F}$ nos referimos a un sub-anillo de $\mathfrak{O}_{\mathbf{F}}$, que tiene la $\mathbb{Z}$-dimensión igual a $n$.
Son todos de mi definiciones son correctas, Especialmente la definición de un orden?