¿Qué es un isomorfismo de conjuntos?
Sé que, en general, un isomorfismo es una estructura-la preservación de bijective mapa entre dos estructuras algebraicas. Pero lo que algebraicas estructura en un conjunto? Hace una función entre conjuntos de necesidades a ser nada más que bijective a ser un isomorfismo de conjuntos?
La razón que pido es que el término es utilizado en PlanetMat del Campo Finito página en explicar por qué un campo de $F$ de los característicos $p$ tiene cardinalidad $p^r$ donde $r$ es el grado de la extensión de $F/ \mathbb{F}_p$. Dice: "Desde $F$ $r$- dimensional espacio vectorial sobre $\mathbb{F}_p$ finitas $r$, se establece isomorfo a$\mathbb{F}_p^r$, por lo que tiene cardinalidad $p^r$."
