Related papers: A more "complete" version of the Pi-theorem: DRAFT
We study codimension growth of infinite dimensional Lie algebras over a field of characteristic zero. We prove that if a Lie algebra $L$ is an extension of a nilpotent algebra by a finite dimensional semisimple algebra then the PI-exponent…
We extend the theory of d-separation to cases in which data instances are not independent and identically distributed. We show that applying the rules of d-separation directly to the structure of probabilistic models of relational data…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such…
Bounded-cohomological dimension of groups is a relative of classical cohomological dimension, defined in terms of bounded cohomology with trivial coefficients instead of ordinary group cohomology. We will discuss constructions that lead to…
This paper introduces dimensional analysis in Non-Destructive Testing & Evaluation (NDT&E) problems. This is the first time that this approach is adopted in the framework of NDT&E, and the paper opens to the development of probes and…
According to [1] an $n$-dimensional $\mathcal{N}$--set is a compact subset $A$ of $\mathbb{R}^n$ such that for every $x$ in $\mathbb{R}^n$ there is $y$ in $A$ with $y-x$ in $\mathbb{Z}^n$. We prove that every two dimensional…
The principal filtration of the infinite-dimensional odd Contact Lie superalgebra over a field of characteristic $p>2$ is proved to be invariant under the automorphism group by investigating ad-nilpotent elements and determining certain…
We study invariant theory of the general linear supergroup in positive characteristic. In particular, we determine when the symmetric group algebra acts faithfully on tensor superspace and demonstrate that the symmetric group does not…
A system is invariant with respect to an input transformation if we can transform any dynamic input by this function and obtain the same output dynamics after adjusting the initial conditions appropriately. Often, the set of all such input…
In this work, we establish a relationship between the sum of irreducible character degrees and the number of twisted involutions associated with the automorphisms of a finite group. We develop algorithmic frameworks for evaluating these…
The purpose of this paper is to show how central extensions of (possibly infinite-dimensional) Lie algebras integrate to central extensions of \'etale Lie 2-groups. In finite dimensions, central extensions of Lie algebras integrate to…
The theory of descriptive nearness is usually adopted when dealing with sets that share some common properties even when the sets are not spatially close, i.e., the sets have no members in common. Set description results from the use of…
The main theorem of Galois theory states that there are no finite group-subgroup pairs with the same invariants. On the other hand, if we consider complex linear reductive groups instead of finite groups, the analogous statement is no…
Suppose $Y$ is a compact, connected, oriented 3-manifold possibly with boundary, such that $\pi_1(Y)$ is infinite. Let $\operatorname{Diff}_\partial(I\times Y)$ denote the group of self-diffeomorphisms of $I\times Y$ that are equal to the…
A binding group theorem is proved in the context of quantifier-free internality to the fixed field in difference-closed fields of characteristic zero. This is articulated as a statement about the birational geometry of isotrivial algebraic…
In this paper we introduce a method of characteristic sets with respect to several term orderings for difference-differential polynomials. Using this technique, we obtain a method of computation of multivariate dimension polynomials of…
Let $F$ be an algebraically closed field. We show that if a quantum formal deformation $A$ of a commutative domain $A_0$ over $F$ is a PI algebra, then $A$ is commutative if ${\rm char}(F)=0$, and has PI degree a power of $p$ if ${\rm…
Let F be a differential field with field of constants C. We assume C to be algebraically closed and of characteristic 0. The complete Picard--Vessiot closure of F is a differential field extension of F with the same constants C as F, which…
In this short note we prove a version of Bertini's theorem for unipotent rigid fundamental groups, stating that for every smooth, projective, geometrically connected variety $X$ over an infinite perfect field $k$ of characteristic $p>0$,…