Related papers: Symbolic Integration in Prime Characteristic

It is well-known that every derivation of a semisimple Lie algebra $L$ over an algebraically closed field $F$ with characteristic zero is inner. The aim of this paper is to show what happens if the characteristic of $F$ is prime with $L$ an…

The main theorem (2.2) consists in two characterizations of isomorphisms of factorial domains in terms of prime or primary rings elements, and unramified, flat or weakly injective affine schemes morphisms. In order to apply this theorem to…

We consider a three dimensional complex polynomial, or rational, vector field (equivalently, a two-form in three variables) which admits a Liouvillian first integral. We prove that there exists a first integral whose differential is the…

We classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive…

We show that any finite set S in a characteristic zero integral domain can be mapped to the finite field of order p, for infinitely many primes p, preserving all algebraic incidences in S. This can be seen as a generalization of the…

Let k be a field of characteristic 2 and let L/k be a finite Galois extension with Galois group G. We show the equivalence of the following two properties: (*) The group G is generated by elements of order 2 and by elements of odd order.…

We begin the study of simple finite-dimensional prime representations of quantum affine algebras from a homological perspective. Namely, we explore the relation between self extensions of simple representations and the property of being…

In this paper we study injective modules over universal enveloping algebras of finite-dimensional Lie algebras over fields of arbitrary characteristic. Most of our results are dealing with fields of prime characteristic but we also…

In this paper, we prove that every iterative differential embedding problem over an algebraic function field in positive characteristic with an algebraically closed field of constants has a proper solution.

Consider a planar polynomial vector field $X$, and assume it admits a symbolic first integral $\mathcal{F}$, i.e. of the $4$ classes, in growing complexity: Rational, Darbouxian, Liouvillian and Riccati. If $\mathcal{F}$ is not rational, it…

Let F be a characteristic zero differential field with an algebraically closed field of constants, E be a no-new-constant extension of F by antiderivatives of F and let y1, ..., yn be antiderivatives of E. The antiderivatives y1, ..., yn of…

Differential categories axiomatize the basics of differentiation and provide categorical models of differential linear logic. A differential category is said to have antiderivatives if a natural transformation $\mathsf{K}$, which all…

We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…

In this paper, we investigate zero-divisor, nilpotent, idempotent, unit, small, and irreducible elements in semiring extensions such as amount, content, and monoid semialgebras. We also introduce new concepts such as the prime avoidance…

Let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a prime power and, for each integer $n\ge 1$, let $\mathbb F_{q^n}$ be the unique $n$-degree extension of $\mathbb F_q$. The $\mathbb F_q$-orders of an element in…

This paper introduces a natural extension of Kolchin's differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-linear case the iterative Picard-Vessiot theory recently developed by Matzat…

We investigate bicomplex analogues of fundamental notions from classical algebraic number theory. In particular, we show that the primitive element theorem admits a natural generalization to bicomplex extensions, giving rise to two distinct…

We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.

The arithmetic derivative is a function from the natural numbers to itself that sends all prime numbers to $1$ and satisfies the Leibniz rule. The arithmetic partial derivative with respect to a prime $p$ is the $p$-th component of the…