*Fq/(*Fq)^m это мы берем *Fq и просто руками отождествляем все элементы, которые отличаются только умножением на другой элемент из *Fq в степени m
ну вот если для смеха я теперь возведу любой элемент из *Fq/(*Fq)^m в степень m, то я получаю "1" в некоем абстрактном смысле. если я договорился считать любые степени m как бы единицами, умножение на них ничего не меняет. то если я теперь возведу то, что осталось тоже в степень m, то это будет "1". это некий такой (довольно кривой я согласен) способ или попытка втиснуть группу корней m-ной степени из 1 в более менее произвольную группу *Fq. т.е. формально оно как бы влезает, но со страшным скрипом. т.к. в оригинальной группе *Fq если m простое, то у всех элементов существует корень m-ной степени, ну их можно возвести в 1/m без проблем. т.е. как бы они вообще все не отождествились, вот что меня пугает
no subject
*Fq/(*Fq)^m это мы берем *Fq и просто руками отождествляем все элементы, которые отличаются только умножением на другой элемент из *Fq в степени m
ну вот если для смеха я теперь возведу любой элемент из *Fq/(*Fq)^m в степень m, то я получаю "1" в некоем абстрактном смысле. если я договорился считать любые степени m как бы единицами, умножение на них ничего не меняет. то если я теперь возведу то, что осталось тоже в степень m, то это будет "1". это некий такой (довольно кривой я согласен) способ или попытка втиснуть группу корней m-ной степени из 1 в более менее произвольную группу *Fq. т.е. формально оно как бы влезает, но со страшным скрипом. т.к. в оригинальной группе *Fq если m простое, то у всех элементов существует корень m-ной степени, ну их можно возвести в 1/m без проблем. т.е. как бы они вообще все не отождествились, вот что меня пугает