Abstract
We give algebraic conditions for a finite commutative algebra B over a 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.
Original language | American English |
---|---|
Pages (from-to) | 5991-6016 |
Number of pages | 26 |
Journal | Transactions of the American Mathematical Society |
Volume | 372 |
Issue number | 8 |
DOIs | |
State | Published - 15 Oct 2019 |
Keywords
- Derivations in positive characteristic
- Model companion
- Operator
All Science Journal Classification (ASJC) codes
- Applied Mathematics
- General Mathematics