Related papers: Tressl's Structure Theorem for Separable Algebras
We define an analogue of the Fox derivatives for differential polynomial algebras and give a criterion for differential algebraic dependence of a finite system of elements. In particular, we prove that differential algebraic dependence of a…
We state the fundamental theorem of projective geometry for semimodules over semirings, which is facilitated by recent work in the study of bases in semimodules defined over semirings. In the process we explore in detail the linear algebra…
In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…
A new generalization of the classical separate algebraicity theorem is suggested and proved.
A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then…
We prove that if the neutral component in a finitely-generated associative algebra graded by a finite group has a Shirshov base, then so does the whole algebra.
This paper is devoted to investigating the structure theory of a class of not-finitely graded Lie superalgebras related to generalized super-Virasoro algebras. In particular, we completely determine the derivation algebras, the automorphism…
The symplectic structures on $3$-Lie algebras and metric symplectic $3$-Lie algebras are studied. For arbitrary $3$-Lie algebra $L$, infinite many metric symplectic $3$-Lie algebras are constructed. It is proved that a metric $3$-Lie…
The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…
In this paper, we first introduce a weighted derivation on algebras over an operad $\cal P$, and prove that for the free $\cal P$-algebra, its weighted derivation is determined by the restriction on the generators. As applications, we…
Given an algebra A, presented by generators and relations, i.e. as a quotient of a tensor algebra by an ideal, we construct a free algebra resolution of A, i.e. a differential graded algebra which is quasi-isomorphic to A and which is…
The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic laws). It represents a reformulation of Zermelo Fraenkel set…
A systematic method is presented for the construction and classification of algebras of gauge transformations for arbitrary high rank tensor gauge fields. For every tensor gauge field of a given rank, the gauge transformation will be…
The Kurosh theorem for groups provides the structure of any subgroup of a free product of groups and its proof relies on Bass-Serre theory of groups acting on trees. In the case of Lie algebras, such a general theory does not exists and the…
The generalized chain geometry over the local ring $K(\epsilon;\sigma)$ of twisted dual numbers, where $K$ is a finite field, is interpreted as a divisible design obtained from an imprimitive group action. Its combinatorial properties as…
A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras.…
There exists a well established differential topological theory of singularities of ordinary differential equations. It has mainly studied scalar equations of low order. We propose an extension of the key concepts to arbitrary systems of…
By analogy with the definition of group with triality we introduce Lie algebra with triality as Lie algebra L wich admits the group of automorphisms S_3={s,r | s^2=r^3=1, srs=r^2} such that for any x\in L we have…
We show that Bloch's complex of relative zero-cycles can be used as a dualizing complex over perfect fields and number rings. This leads to duality theorems for torsion sheaves on arbitrary separated schemes of finite type over…
We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding…