grupo estructural, existe una noción invariante de multiplicación a