Related papers: Tressl's Structure Theorem for Separable Algebras
Trellises are crucial graphical representations of codes. While conventional trellises are well understood, the general theory of (tail-biting) trellises is still under development. Iterative decoding concretely motivates such theory. In…
We initiate a study on a range of new generalized derivations of finite-dimensional Lie algebras over an algebraically closed field of characteristic zero. This new generalization of derivations has an analogue in the theory of associative…
We develop a new method leading the structure of finite subsets S and T of an abelian group with $|S+T|\le |S|+|T|$. We show also how to recover the known results in this area in a relatively short space.
Discussed here is descent theory in the differential context where everything is equipped with a differential operator. To answer a question personally posed by A. Pianzola, we determine all twisted forms of the differential Lie algebras…
We give a self-dual t-structure on the derived category of $\mathbb{R}$-constructible sheaves over a Noetherian regular ring by generalizing the notion of t-structure.
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
This short expository paper outlines applications of computer algebra to the implication problem of conditional independence for Gaussian random variables. We touch on certificates for validity and invalidity of inference rules from the…
An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial…
We study the quasi-endomorphism ring of infinitely definable subgroups in separably closed fields. Based on the results we obtain, we are able to prove a Mordell-Lang theorem for Drinfeld modules of finite characteristic. Using…
We give an elementary proof of the theorem which states that a finite unramified algebra over a discrete field is tracically \'etale. -- Nous donnons une d\'emonstration \'el\'ementaire du th\'eor\`eme selon lequel toute alg\`ebre nette sur…
We show how to build models of Synthetic Algebraic Geometry over rings k such that finitely presented k-algebra have a decidable equality. The construction is done in a constructive and weak (same proof theoretic strength as dependent type…
Some general criteria to produce explicit free algebras inside the division ring of fractions of skew polynomial rings are presented. These criteria are applied to some special cases of division rings with natural involutions, yielding, for…
We introduce a comprehensive data structure, tangle structure trees, which simultaneously displays all the $\mathcal{F}$-tangles of an abstract separation system for very general obstruction sets $\mathcal{F}$. It simultaneously also…
We develop a theory of separable ring extensions and separable functors for nonunital rings in the setting of firm modules. We prove nonunital analogues of classical results on functorial separability and semisimplicity, and apply these…
We establish a version of a semistable reduction theorem over a log point with a non-trivial nilpotent structure. In order to do this we extend the classical desingularization theories to non-reduced schemes with generically principal…
We introduce a class of non-commutative algebras that carry a non-commutative (geometric) cluster structure which are generated by identical copies of generalized Weyl algebras. Equivalent conditions for the finiteness of the set of the…
The Recognition Theorem for graded Lie algebras is an essential ingredient in the classification of finite-dimensional simple Lie algebras over an algebraically closed field of characteristic p > 3. The main goal of this monograph is to…
Necessary and/or sufficient conditions are studied for the existence, uniqueness and holonomicity of bases in which on sufficiently general subsets of a differentiable manifold the components of derivations of the tensor algebra over it…
Isomorphisms are constructed between generalized Schur algebras in different degrees. The construction covers both the classical case (of general linear groups over infinite fields of arbitrary characteristic) and the quantized case (in…
We give a constructive proof of the general Nullstellensatz: a univariate polynomial ring over a commutative Jacobson ring is Jacobson. This theorem implies that every finitely generated algebra over a zero-dimensional ring or the ring of…