Un homomorfismo biyectivo de módulos es un isomorfismo de módulos, y los dos módulos se llaman "isomorfos".