Con más detalle, se define al grupo dual como sigue: Si "G" es un grupo localmente compacto abeliano, dos tales caracteres se pueden multiplicar punto a punto para formar un nuevo carácter, y el carácter trivial "x" → 1 es la identidad de "G^".