Related papers: Model completeness and quantifier elimination for …
We characterize characteristic polynomials of elements in a central simple algebra. We also give an account for the theory of rational canonical forms for separable linear transformations over a central division algebra, and a description…
We consider associative algebras with involution over a field of characteristic zero. We proved that any algebra with involution satisfies the same identities with involution as the Grassmann envelope of some finite dimensional $Z_4$-graded…
Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of…
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment…
We classify (possibly non commutative) algebras of low rank over a domain R. We first review results for algebras of rank 2 and for finite-dimensional division algebras over the real numbers. These results motivate us to consider which…
Many classical results concerning quadratic forms have been extended to forms over algebras with involution. However, not much is known in the case of forms without any symmetry property. The present paper will establish Witt cancellation…
Using the representation theory of the subgroups SL_2(Z_p) of the modular group we investigate the induced fusion algebras in some simple examples. Only some of these representations lead to 'good' fusion algebras. Furthermore, the…
Let A be a finitely generated associative algebra over an algebraically closed field. We characterize the finite dimensional modules over A whose orbit closures are regular varieties.
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…
This short note provides positive answers to two conjectures of Camacho, Khudoyberdiyev, and Omirov on the classification of complete evolution algebras. Our approach is based on analysing the solution set of a generic non-linear polynomial…
Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at…
This paper is primarily concerned with studying finite-dimensional anti-commutative nonassociative algebras in which every centralizer is an ideal. These are shown to be anti-associative and are classified over a general field $F$; in…
The centers of the generic central simple algebras with involution are interesting objects in the theory of central simple algebras. These fields also arise as invariant fields for linear actions of projective orthogonal or symplectic…
We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees…
We will study evolution algebras $A$ which are free modules of dimension $2$ over domains. Furthermore, we will assume that these algebras are perfect, that is $A^2=A$. We start by making some general considerations about algebras over…
We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the…
Automorphisms of finite order and real forms of "smooth" affine Kac-Moody algebras are studied, i.e. of 2-dimensional extensions of the algebra of smooth loops in a simple Lie algebra. It is shown that they can be parametrized by certain…
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…
We classify extensions of certain classifiable C*-algebras using the six term exact sequence in K-theory together with the positive cone of the K_0-groups of the distinguished ideal and quotient. We then apply our results to a class of…
We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields…