Related papers: Theorems of Bertini and Chevalley
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…
We extend a conjecture of Kimberley-Robertson on the abelianizations of certain square complex groups.
I give a short proof of the following algebraic statement: if a vertex algebra is simple, then its underlying Lie conformal algebra is either abelian, or it is an irreducible central extension of a simple Lie conformal algebra.
According to the classical theorem, every irreducible algebraic variety endowed with a nontrivial rational action of a connected linear algebraic group is birationally isomorphic to a product of another algebraic variety and ${\bf P}^s$…
We introduce and study new families of finite-dimensional Hopf algebras with the Chevalley property that are not pointed nor semisimple arising as twistings of quantum linear spaces. These Hopf algebras generalize the examples introduced in…
Metabelian algebras are introduced and it is shown that an algebra $A$ is metabelian if and only if $A$ is a nilpotent algebra having the index of nilpotency at most $3$, i.e. $x y z t = 0$, for all $x$, $y$, $z$, $t \in A$. We prove that…
In this paper we study the \'etale cohomology groups associated to abelian varieties. We obtain necessary and sufficient conditions for an abelian variety to have semistable reduction (or purely additive reduction which becomes semistable…
We adapt the abstract concepts of abelianness and centrality of universal algebra to the context of inverse semigroups. We characterize abelian and central congruences in terms of the corresponding congruence pairs. We relate centrality to…
We introduce the algebraic entropy for endomorphisms of arbitrary abelian groups, appropriately modifying existing notions of entropy. The basic properties of the algebraic entropy are given, as well as various examples. The main result of…
We prove that any smooth complex projective variety $X$ with plurigenera $P_1(X)=P_2(X)=1$ and irregularity $q(X)=dim (X)$ is birational to an abelian variety.
Consider the algebraic dynamics on a torus T=G_m^n given by a matrix M in GL_n(Z). Assume that the characteristic polynomial of M is prime to all polynomials X^m-1. We show that any finite equivariant map from another algebraic dynamics…
We give a description of the algebraic families of birational transformations of an algebraic variety X. As an application, we show that the morphisms to Bir(X) given by algebraic families satisfy a Chevalley type result and a certain…
We show that every connected affine algebraic supergroup defined over a field k, with diagonalizable maximal torus and whose tangent Lie superalgebra is a k-form of a complex simple Lie superalgebra of classical type is a Chevalley…
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…
We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…
One of the most studied algebraic structures with one operation is the Abelian group, which is defined as a structure whose operation satisfies the associative and commutative properties, has identical element and every element has an…
Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.
Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of…
It is shown that the Baer-Kaplansky theorem can be extended to all abelian groups provided that the rings of endomorphisms of groups are replaced by trusses of endomorphisms of corresponding heaps. That is, every abelian group is determined…