Related papers: Model completeness and quantifier elimination for …
We characterize universally generalizing morphisms which satisfy descent of algebraic cycles integrally as those universally generalizing morphisms which are surjective with generically reduced fibres. In doing so, we introduce a naive…
We study totally decomposable symplectic and unitary involutions on central simple algebras of index 2 and on split central simple algebras respectively. We show that for every field extension, these involutions are either anisotropic or…
We study central simple algebras with involution of the first kind that become hyperbolic over the function field of the conic associated to a given quaternion algebra $Q$. We classify these algebras in degree~4 and give an example of such…
We show that the group of proper projective similitudes of a totally decomposable algebra with involution of the first kind over a field of characteristic different from 2 is R-trivial.
We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite…
In this paper we describe graded automorphisms and antiautomorphisms of finite order on matrix algebras endowed with a group gradings by a finite abelian group over an arbitrary algebraically closed field of charcteristic different from 2.
Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Maltsev's analysis yields a natural axiomatization together…
We introduce a model-complete theory which completely axiomatizes the structure $Z_{\alpha}=(Z, +, 0, 1, f)$ where $f : x \to \lfloor{\alpha} x \rfloor $ is a unary function with $\alpha$ a fixed transcendental number. When $\alpha$ is…
It is shown how the theory of the fields can be constructed in a consistent way in quantized spaces. All constructions are connected with unitary irreducible representations of real forms of six dimensional rotation algebras O(1,5), O(2,4),…
A first characterization of the isomorphism classes of $k$-involutions for any reductive algebraic group defined over a perfect field was given in \cite{Helm2000} using $3$ invariants. In \cite{HWD04,Helm-Wu2002} a full classification of…
We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…
It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the…
Characteristic integrals of Toda field theories associated to simple Lie algebras are presented in the most explicit forms, both in terms of the formulas and in terms of the proofs.
We investigate homological properties of perfect algebras of prime characteristic. The principle is as follows: perfect algebras resolve the singularities. For example, we show any module over the ring of absolute integral closure has…
In this paper, we study modularity in the context of evolution algebras. Although this property has been previously considered, a complete description is still missing in several natural settings. In particular, we obtain a full…
This paper concerns the study of Leibniz algebras, a natural generalization of Lie algebras, from the perspective of centralizers of elements. We study conditions on Leibniz algebras under which centralizers of all elements are ideals. We…
We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism…
A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations…
The space of derivations of finite dimensional evolution algebras associated to graphs over a field with characteristic zero has been completely characterized in the literature. In this work we generalize that characterization by describing…
We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…