El isomorfismo está dado por la correspondencia formula_10 que a cada formula_11 de formula_12 asocia el elemento formula_13 de formula_14 .