Model theory of fields with free operators in positive characteristic

2018 
We give algebraic conditions about a finite algebra $B$ over a perfect field of positive characteristic, which are equivalent to the companionability of the theory of fields with "$B$-operators" (i.e. the operators coming from homomorphisms into tensor products with $B$). We show that, in the most interesting case of a local $B$, these model companions admit quantifier elimination in the "smallest possible" language and they are strictly stable. We also describe the forking relation there.
    • Correction
    • Cite
    • Save
    • Machine Reading By IdeaReader
    17
    References
    0
    Citations
    NaN
    KQI
    []