Para poder definirlo, hay una cierta estructura adicional, ya sea que la operación es la de un grupo, o bien que sea la multiplicación en un anillo o álgebra.