да, пример хорошо бы. попробую, но не знаю, получится ли. идея была в том, чтобы разбить *Fq на "кучки", ну на косеты, чтобы представители в каждом косете отличались не более, чем на умножение на какого-то элемента из *Fq в степени m. но, похоже не любого иначе это будет совсем тривиально. и тогда множество этих косетов/"кучек" будет изоморфно группе корней m-ной степени из 1. последующее возведение этого всего в степень m это как бы "доказывало", но теперь я не уверен.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2024-10-09 07:27 pm (UTC)да, пример хорошо бы. попробую, но не знаю, получится ли. идея была в том, чтобы разбить *Fq на "кучки", ну на косеты, чтобы представители в каждом косете отличались не более, чем на умножение на какого-то элемента из *Fq в степени m. но, похоже не любого иначе это будет совсем тривиально. и тогда множество этих косетов/"кучек" будет изоморфно группе корней m-ной степени из 1. последующее возведение этого всего в степень m это как бы "доказывало", но теперь я не уверен.
вы правы, надо сделать пример. подумаю, спасибо