Skip to main content
6 events
when toggle format what by license comment
Mar 24, 2022 at 22:32 history edited Sean Eberhard CC BY-SA 4.0
added 953 characters in body
Mar 24, 2022 at 15:14 comment added Sean Eberhard I missed the restriction that $y$ should be in a subfield.
Mar 24, 2022 at 15:13 comment added Sean Eberhard @PabloSpiga I said "more generally", because the situation you describe has needless restrictions. Read the first paragraph of my answer with $q$ replaced by $q^2$ and assume $n$ is prime if you want.
Mar 24, 2022 at 15:05 comment added Pablo Spiga sorry, but there is something I do not understand, the trace map in my case has domain $\mathbb{F}_{q^{2n}}$ and not $\mathbb{F}_{q^n}$. The element $a$ is required to lie in a subgroup having order $(q^n+1)/(q+1)$, which is relatively prime to the order of the multiplicative group of $\mathbb{F}_{q^n}$. The element $y$ instead is restricted to be in $\mathbb{F}_{q^n}$,
Mar 24, 2022 at 15:02 history edited Sean Eberhard CC BY-SA 4.0
added 96 characters in body
Mar 24, 2022 at 14:50 history answered Sean Eberhard CC BY-SA 4.0