Related papers: Categoricity Properties for Computable Algebraic F…
Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open set of stable points,…
Cluster algebras are a recent topic of study and have been shown to be a useful tool to characterize structures in several knowledge fields. An important problem is to establish whether or not a given cluster algebra is of finite type.…
Given a grading by an abelian group G on a semisimple Lie algebra L over an algebraically closed field of characteristic 0, we classify up to isomorphism the simple objects in the category of finite-dimensional G-graded L-modules. The…
By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian…
We give a geometric classification of 4-dimensional superalgebras over an algebraic closed field.
We consider infinite parametric families of high degree number fields composed of quadratic fields with pure cubic, pure quartic, pure sextic fields and with the so called simplest cubic, simplest quartic fields. We explicitly describe an…
We illustrate some simple ideas that can be used for obtaining a classification of small-dimensional solvable Lie algebras.Using these we obtain the classification of 3 and 4 dimensional solvable Lie algebras (over fields of any…
We give simple characterizations of the category PAsm(A) of partitioned assemblies, and of the realizability topos RT(A) over a partial combinatory algebra A. This answers the question for an 'extensional characterization' of realizability…
Restricted Lie algebras of dimension up to $3$ over algebraically closed fields of positive characteristic were classified by Wang and his collaborators in [25, 19]. In this paper, we obtain a classification of restricted Lie algebras of…
Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a…
Computational content encoded into constructive type theory proofs can be used to make computing experiments over concrete data structures. In this paper, we explore this possibility when working in Coq with chain complexes of infinite type…
We describe derivations of the Clifford algebra of a nondegenerate quadratic form on a countable dimensional vector space over an algebraically closed field of characteristic not equal to $2$. We also construct an algebraic automorphism of…
We classify essential algebras whose irredundant non-refinable covers consist of primal algebras. The proof is obtained by constructing one to one correspondence between such algebras and partial orders on finite sets. Further, we prove…
We give a characterization of smooth quadrics in terms of the existence of full exceptional collections of certain type, which generalizes a result of C.Vial for projective spaces.
We classify the four dimensional perfect non-simple evolution algebras over a field having characteristic different from 2 and in which there are roots of orders 2, 3 and 7.
Let p and q be two positive primes. In this paper we obtain a complete characterization of quaternion division algebras H_K(p,q) over the composite K of n quadratic number fields. Also, in Section 6, we obtain a characterization of…
We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…
In this paper we extend the approach of M. Cavaleri to effective amenability to the class of computably enumerable groups, i.e. in particular we do not assume that groups are finitely generated. In the case of computable groups we also…
This paper is devoted to give the complete algebraic and geometric classification of $4$-dimensional nilpotent Novikov algebras over $\mathbb C.$
In this paper, we first present a classification theorem of infinite-dimensional simple Novikov algebras over an algebraically closed field with characteristic 0. Then we classify all the irreducible modules of a certain…