Мультипликативная группа поля

Определение:

Мультипликативная группа [math]\mathbb{K^*}[/math] поля [math]\mathbb{K}[/math] — это группа, содержащая все ненулевые элементы из [math]\mathbb{K}[/math], и операция в ней совпадает с операцией умножения в [math]\mathbb{K}[/math].