Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Reports on Mathematical Logic

1 2022

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Frobenius map

Sortuj według:

Ogranicz wyniki do:

Decidability of addition and Frobenius map for polynomials and rational functions

Chompitaki Dimitra, Kamarianakis Manos, Pheidas Thanases

Reports on Mathematical Logic

2022

Vol. 57

53--60

Let p be a prime number, Fp a finite field with p elements, F an algebraic extension of Fp and z a variable. We consider the structure of addition and the Frobenius map (i.e., x 7→ x p ) in the polynomial rings F[z] and in fields F(z) of rational functions. We prove that any question about F[z] in the structure of addition and Frobenius map may be effectively reduced to questions about the similar structure of the field F. Furthermore, we provide an example which shows that a fact which is true for addition and the Frobenius map in the polynomial rings F[z] fails to be true in F(z). As a consequence, certain methods used to prove model completeness for polynomials do not suffice to prove model completeness for similar structures for fields of rational functions F(z), a problem that remains open even for F = Fp