Dados dos grupos, uno aditivo formula_124 y el otro, multiplicativo formula_84; se establece una aplicación que verifica lo siguiente: