Commutative Presemifields and Semifields: Difference between revisions
mNo edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
A <span class="definition">presemifield</span> is a ring with left and right distributivity and with no zero divisor. | A <span class="definition">presemifield</span> is a ring with left and right distributivity and with no zero divisor. | ||
A presemifield with a multiplicative identity is called a <span class="definition">semifield</span>. | A presemifield with a multiplicative identity is called a <span class="definition">semifield</span>. | ||
Line 5: | Line 5: | ||
for <math>p</math> a prime, <math>n</math> a positive integer, <math>\mathbb{S}=(\mathbb{F}_{p^n},+)</math> additive group and <math>x\star y</math> multiplication linear in each variable. | for <math>p</math> a prime, <math>n</math> a positive integer, <math>\mathbb{S}=(\mathbb{F}_{p^n},+)</math> additive group and <math>x\star y</math> multiplication linear in each variable. | ||
Two presemifields <math>\mathbb{S}_1=(\mathbb{F}_{p^n},+,\star)</math> and <math>\mathbb{S}_2=(\mathbb{F}_{p^n},+,\circ)</math> are called <span class="definition">isotopic</span> if there exist three linear | Two presemifields <math>\mathbb{S}_1=(\mathbb{F}_{p^n},+,\star)</math> and <math>\mathbb{S}_2=(\mathbb{F}_{p^n},+,\circ)</math> are called <span class="definition">isotopic</span> if there exist three linear permutations <math>T,M,N</math> of <math>\mathbb{F}_{p^n}</math> such that | ||
<math>T(x\star y)=M(x)\circ N(y)</math>, | <math>T(x\star y)=M(x)\circ N(y)</math>, | ||
for any <math>x,y\in\mathbb{F}_{p^n}</math>. If <math>M=N</math> then they are called <span class="definition">strongly isotopic</span>. | for any <math>x,y\in\mathbb{F}_{p^n}</math>. If <math>M=N</math> then they are called <span class="definition">strongly isotopic</span>. | ||
Each commutative presemifields of odd order defines a [[Planar Functions|planar]] DO polynomial and viceversa: | Each commutative presemifields of odd order defines a [[Planar Functions|planar]] DO polynomial and viceversa: | ||
* given <math>\mathbb{S}=(\mathbb{F}_{p^n},+,\star)</math> let <math>F_\ | * given <math>\mathbb{S}=(\mathbb{F}_{p^n},+,\star)</math> let <math>F_\mathbb{S}(x)=\frac{1}{2}(x\star x)</math>; | ||
* given <math>F</math> let <math>\mathbb{S}_F=(\mathbb{F}_{p^n},+,\star)</math> defined by <math>x\star y=F(x+y)-F(x)-F(y)</math>. | * given <math>F</math> let <math>\mathbb{S}_F=(\mathbb{F}_{p^n},+,\star)</math> defined by <math>x\star y=F(x+y)-F(x)-F(y)</math>. | ||
Revision as of 10:29, 29 August 2019
A presemifield is a ring with left and right distributivity and with no zero divisor. A presemifield with a multiplicative identity is called a semifield. Any finite presemifield can be represented by [math]\displaystyle{ \mathbb{S}=(\mathbb{F}_{p^n},+,\star) }[/math], for [math]\displaystyle{ p }[/math] a prime, [math]\displaystyle{ n }[/math] a positive integer, [math]\displaystyle{ \mathbb{S}=(\mathbb{F}_{p^n},+) }[/math] additive group and [math]\displaystyle{ x\star y }[/math] multiplication linear in each variable.
Two presemifields [math]\displaystyle{ \mathbb{S}_1=(\mathbb{F}_{p^n},+,\star) }[/math] and [math]\displaystyle{ \mathbb{S}_2=(\mathbb{F}_{p^n},+,\circ) }[/math] are called isotopic if there exist three linear permutations [math]\displaystyle{ T,M,N }[/math] of [math]\displaystyle{ \mathbb{F}_{p^n} }[/math] such that [math]\displaystyle{ T(x\star y)=M(x)\circ N(y) }[/math], for any [math]\displaystyle{ x,y\in\mathbb{F}_{p^n} }[/math]. If [math]\displaystyle{ M=N }[/math] then they are called strongly isotopic. Each commutative presemifields of odd order defines a planar DO polynomial and viceversa:
- given [math]\displaystyle{ \mathbb{S}=(\mathbb{F}_{p^n},+,\star) }[/math] let [math]\displaystyle{ F_\mathbb{S}(x)=\frac{1}{2}(x\star x) }[/math];
- given [math]\displaystyle{ F }[/math] let [math]\displaystyle{ \mathbb{S}_F=(\mathbb{F}_{p^n},+,\star) }[/math] defined by [math]\displaystyle{ x\star y=F(x+y)-F(x)-F(y) }[/math].
Hence two quadratic planar functions [math]\displaystyle{ F,F' }[/math] are isotopic equivalent if their corresponding presemifields are isotopic. Moreover, we have:
- [math]\displaystyle{ F,F' }[/math] are CCZ-equivalent if and only if [math]\displaystyle{ \mathbb{S}_F,\mathbb{S}_{F'} }[/math] are strongly isotopic;
- for [math]\displaystyle{ n }[/math] odd, isotopic coincides with strongly isotopic;
- if [math]\displaystyle{ F,F' }[/math] are isotopic equivalent, then there exists a linear map [math]\displaystyle{ L }[/math] such that [math]\displaystyle{ F' }[/math] is EA-equivalent to [math]\displaystyle{ F(x+L(x))-F(x)-F(L(x)) }[/math].