Algunos libros de álgebra abstracta asumen que la multiplicación es cerrada para los números naturales, los enteros, los racionales, los reales y los complejos.
La multiplicación en los números complejos se define a expensas de la multiplicación en los números reales. De hecho, los propios números complejos se construyen a expensas de los números reales.
La multiplicación en los números reales se define a expensas de la multiplicación en los números racionales. De hecho, los propios números reales se construyen a expensas de los números racionales.
La multiplicación en los números racionales se define a expensas de la multiplicación en los enteros. Una vez hecho esto, se puede demostrar que la multiplicación en los números racionales es cerrada. De hecho, los propios números racionales se construyen a expensas de los números enteros.
La multiplicación en los números enteros en definida a expensas de la multiplicación en los números naturales. De hecho, los propios números enteros se construyen a expensas de los números naturales.
Funciona igual para la suma.
Así que se reduce a saber definir la multiplicación en los números naturales y luego construir cada uno de los pasos anteriores.
La multiplicación en los números naturales se define, por cierto, a expensas de la suma en los números naturales.
Algunos libros de álgebra abstracta tratan parte del proceso anterior. Nunca he visto que se haga todo en un libro de álgebra abstracta. Normalmente se asume la suma en los números naturales y el resto se hace a partir de ahí.
Para ver cómo se define la suma en los números naturales, deberías coger un libro de teoría de conjuntos elemental.
Va más o menos así. Se parte del conjunto de los números naturales (que también se pueden definir) al que se le aplica algo llamado $0$ pertenece y un función de sucesión es decir, una función que, dado un número natural, produce lo que intuitivamente se llama su sucesor. Dado un número natural $n$ es común denotar a su sucesor por $n^+$ .
A partir de esto se define $+_{\mathbb N}$ de forma recursiva, de la siguiente manera: dejemos que $m,n\in \mathbb N$ entonces
- $n+_{\mathbb N}0:=0$
- $n+_{\mathbb N}m^+:=(n+_{\mathbb N}m)^+$
A partir de aquí se pueden demostrar las propiedades esperadas como $n+_{\mathbb N}1=n^+, m+_{\mathbb N}(n+_{\mathbb N}k)=(m+_{\mathbb N}n)+_{\mathbb N}k$ etc.
Entonces la multiplicación en $\mathbb N$ puede definirse y se sube a partir de ahí.
No me centré en demostrar realmente que la multiplicación en $\mathbb Q$ se cierra porque tal problema sólo se le planteó al OP por su desconocimiento del proceso explicado anteriormente.