In this paper, homological methods together with the theory of formal languages of theoretical computer science are proved to be effective tools to determine the growth and the Hilbert series of an associative algebra. Namely, we construct a class of finitely presented associative algebras related to a family of context-free languages. This allows us to connect the Hilbert series of these algebras with the generating functions of such languages. In particular, we obtain a class of finitely presented graded algebras with non-rational algebraic Hilbert series.
The Hilbert Basis Theorem for Non-Associative Skew Power Series Rings and Non-Associative Skew Laurent Series Rings over a Non-Associative Coefficient Ring
Mindanao State University-Iligan Institute of Technology（棉兰老州立大学伊利甘理工学院）；Blekinge Institute of Technology（布莱金厄理工学院）
This paper is devoted to the complete algebraic and geometric classification of complex $4$-dimensional nilpotent weakly associative, complex $4$-dimensional symmetric Leibniz algebras, and complex $5$-dimensional nilpotent symmetric Leibniz algebras. In particular, we proved that the variety of complex $4$-dimensional symmetric Leibniz algebras has no Vergne--Grunewald--O'Halloran Property (there is an irreducible component formed by only nilpotent algebras), but on the other hand, it has Vergne Property (there are no rigid nilpotent algebras).
We give the algebraic classification of alternative, left alternative, Jordan, bicommutative, left commutative, assosymmetric, Novikov and left symmetric central extensions of null-filiform associative algebras.
Let $k$ be an algebraically closed field and let $A$ be a finitely generated $k-$algebra. We show that the scheme of n-dimensional representations of $A$ is smooth when $A$ is hereditary and coherent. We deduce from this the smoothness of the Nori-Hilbert scheme associated to $A.$
Given a finite, simple, vertex-weighted graph, we construct a graded associative (non-commutative) algebra, whose generators correspond to vertices and whose ideal of relations has generators that are graded commutators corresponding to edges. We show that the Hilbert series of this algebra is the inverse of the clique polynomial of the graph. Using this result it easy to recognize if the ideal is inert, from which strong results on the algebra follow. Non-commutative Grobner bases play an important role in our proof. There is an interesting application to toric topology. This algebra arises n…
Let $\boldsymbolΛ_3(\mathbb C)\,(=\mathbb C^{27})$ be the space of structure vectors of $3$-dimensional algebras over $\mathbb C$ considered as a $G$-module via the action of $G={\rm GL}(3,\mathbb C)$ on $\boldsymbolΛ_3(\mathbb C)$ `by change of basis'. We determine the complete degeneration picture inside the algebraic subset $\mathcal A^s_3$ of $\boldsymbolΛ_3(\mathbb C)$ consisting of associative algebra structures via the corresponding information on the algebraic subsets $\mathcal L_3$ and $\mathcal J_3$ of $\boldsymbolΛ_3(\mathbb C)$ of Lie and Jordan algebra structures respectively. Thi…
From the definition and properties of unital hom-associative algebras, and the use of the Kaplansky's constructions, we develop new algebraic structures called 2-hom-associative bialgebras, 2-hom-bialgebras, and 2-2-hom-bialgebras. Besides, we devise a construction of hom-left symmetric dialgebras and discuss their main relevant properties.
The purpose of this paper is to study the structure and the algebraic varieties of Hom-associative algebras. We give characterize multiplicative simple Hom-associative algebras and show some examples deforming the $2\times 2$-matrix algebra to simple Hom-associative algebras. We provide a classification of $n$-dimensional Hom-associative algebras for $n\leq3$. Then study their derivations and compute small Hom-Type Hochschild cohomology groups. Furthermore, we discuss their irreducible components.
We associate an square to any two dimensional evolution algebra. This geometric object is uniquely determined, does not depend on the basis and describes the structure and the behaviour of the algebra. We determine the identities of degrees at most four, as well as derivations and automorphisms. We look at the group of automorphisms as an algebraic group, getting in this form a new algebraic invariant. The study of associative representations of evolution algebras is also started and we get faithful representations for most two-dimensional evolution algebras. In some cases we prove that faithf…
A classification of (countable) direct limits of finite dimensional involution simple associative algebras over an algebraically closed field of arbitrary characteristic is obtained. This also classifies the corresponding dimension groups. The set of invariants consists of two supernatural numbers and two real parameters.
The purpose of this paper is to discuss the universal algebra theory of hom-algebras. This kind of algebra involves a linear map which twists the usual identities. We focus on hom-associative algebras and hom-Lie algebras for which we review the main results. We discuss the envelopment problem, operads, and the Diamond Lemma; the usual tools have to be adapted to this new situation. Moreover we study Hilbert series for the hom-associative operad and free algebra, and describe them up to total degree equal 8 and 9 respectively.
We show a version of Hilbert 90 that is valid for a large class of algebras many of which are not commutative, distributive or associative. This class contains the nth iteration of the Conway-Smith doubling procedure. We use our version of Hilbert 90 to parametrize all solutions in ordered fields to the norm one equation for such algebras.
It is shown that the subalgebra of invariants of a free associative algebra of finite rank under a linear action of a semisimple Hopf algebra has a rational Hilbert series with respect to the usual degree function, whenever the ground field has zero characteristic.
In this article we study homotopes of finite-dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so-called well-tempered elements of finite-dimensional associative algebra in algebraic terms.
We introduce an embedding of the free magma on a set A into the direct product of the free magma on a singleton set and the free semigroup on A. This embedding is then used to prove several theorems related to algebraic independence of subsets of the free non-associative algebra on A. Among these theorems is a generalization of a result due to Kurosh, which states that every subalgebra of a free non-associative algebra is also free.
As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding to the identity of the group is a free subalgebra which is graded by the usual degree. We look into its Hilbert series and prove that it is a rational function by giving an explicit formula. As an application, we show that, under suitable conditions, this subalgebra is finitely generated if and only if the grading on the base vector space is trivial.
We equip a matrix algebra with a weighted infinitesimal unitary bialgebraic structure, via a construction of a suitable coproduct. Furthermore, an infinitesimal unitary Hopf algebra, under the view of Aguiar, is constructed on a matrix algebra. By exploring the relationship between weighted infinitesimal bialgebras and pre-Lie algebras, we construct a pre-Lie algebraic structure and then a new Lie algebraic structure on a matrix algebra. We also introduce the weighted associative Yang-Baxter equations (AYBEs) and obtain the relationship between solutions of weighted AYBEs and weighted infinite…
We give a construction that takes a simple linear algebraic group $G$ over a field and produces a commutative, unital, and simple non-associative algebra $A$ over that field. Two attractions of this construction are that (1) when $G$ has type $E_8$, the algebra $A$ is obtained by adjoining a unit to the 3875-dimensional representation and (2) it is effective, in that the product operation on $A$ can be implemented on a computer. A description of the algebra in the $E_8$ case has been requested for some time, and interest has been increased by the recent proof that $E_8$ is the full automorphis…
In this paper, we consider graded associative conformal algebras. The class of these objects includes pseudo-algebras over non-cocommutative Hopf algebras of regular functions on some linear algebraic groups. In particular, an associative conformal algebra which is graded by a finite group $Γ$ is a pseudo-algebra over the coordinate Hopf algebra of a linear algebraic group $G$ such that the identity component $G^0$ is the affine line and $G/G^0\simeq Γ$. A classification of simple and semisimple graded associative conformal algebras of finite type is obtained.
Suppose a finite dimensional semisimple Lie algebra $\mathfrak g$ acts by derivations on a finite dimensional associative or Lie algebra $A$ over a field of characteristic $0$. We prove the $\mathfrak g$-invariant analogs of Wedderburn - Mal'cev and Levi theorems, and the analog of Amitsur's conjecture on asymptotic behavior for codimensions of polynomial identities with derivations of $A$. It turns out that for associative algebras the differential PI-exponent coincides with the ordinary one. Also we prove the analog of Amitsur's conjecture for finite dimensional associative algebras with an …
We study associative multiplications in semi-simple associative algebras over C compatible with the usual one or, in other words, linear deformations of semi-simple associative algebras over C. It turns out that these deformations are in one-to-one correspondence with representations of certain algebraic structures, which we call M-structures in the matrix case and PM-structures in the case of direct sums of several matrix algebras. We also investigate various properties of PM-structures, provide numerous examples and describe an important class of PM-structures. The classification of these PM…
We give a computional method to construct and classify nilpotent Jordan algebras over any arbitrary fields by the second cohomolgy of nilpotent Jordan algebras of low dimension "analogue of Skjelbred-Sund method", we see that every nilpotent Jordan algebras can be constructed by the second cohomolgy of nilpotent Jordan algebras of low dimension. We use this method to classify nilpotent Jordan algebras up to dimension three over any field and nilpotent Jordan algebras of dimension four over an algebraic closed field of characteristic not 2 and over the real field R. Also commutative nilpotent a…
In this review article, first we give the concrete formulas of representations and cohomologies of associative algebras, Lie algebras, pre-Lie algebras, Leibniz algebras and 3-Lie algebras and some of their strong homotopy analogues. Then we recall the graded Lie algebras and graded associative algebras that characterize these algebraic structures as Maurer-Cartan elements. The corresponding Maurer-Cartan element equips the graded Lie or associative algebra with a differential. Then the deformations of the given algebraic structures are characterized as the Maurer-Cartan elements of the result…
In this paper we introduce a class of noncommutative (finitely generated) monomial algebras whose Hilbert series are algebraic functions. We use the concept of graded homology and the theory of unambiguous context-free grammars for this purpose. We also provide examples of finitely presented graded algebras whose corresponding leading monomial algebras belong to the proposed class and hence possess algebraic Hilbert series.
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to $\mathbb{R}$ and imposing the relation $i^2 = -1$. In this paper, we examine some of the elementary algebraic properties of such algebras, how they break-down when compared to standard grade-school algebra, and discuss how such properties are relevant to other areas of our research regarding algebras, such as the $\mathcal{A}$-calculus and the theory of $\ma…
The purpose of this paper is to study the structure and the algebraic varieties of BiHom-associative algebras. We provide a classication of n-dimensional BiHom-associative and BiHom-bialgebras and BiHom Hopf algebras for n $\le$ 3.
Evolution algebras are a special class of non-associative algebras exhibiting connections with different fields of Mathematics. Hilbert evolution algebras generalize the concept through a framework of Hilbert spaces. This allows to deal with a wide class of infinite-dimensional spaces. In this work we study Hilbert evolution algebras associated to a graph. Inspired in definitions of evolution algebras we define the Hilbert evolution algebra associated to a given graph and the Hilbert evolution algebra associated to the symmetric random walk on a graph. For a given graph, we provide conditions …
Algebraic scheme for constructing deformations of structure constants for associative algebras generated by a deformation driving algebras (DDAs) is discussed. An ideal of left divisors of zero plays a central role in this construction. Deformations of associative three-dimensional algebras with the DDA being a three-dimensional Lie algebra and their connection with integrable systems are studied.
In this paper we classify the isomorphism classes of four dimensional nilpotent associative algebras over a field F, studying regular subgroups of the affine group AGL_4(F). In particular we provide explicit representatives for such classes when F is a finite field, the real field R or an algebraically closed field.
We show that the universal associative enveloping algebra of the simple anti-Jordan triple system of all $n \times n$ matrices $(n \ge 2)$ over an algebraically closed field of characteristic 0 is finite dimensional. We investigate the structure of the universal envelope and focus on the monomial basis, the structure constants, and the center. We explicitly determine the decomposition of the universal envelope into matrix algebras. We classify all finite dimensional irreducible representations of the simple anti-Jordan triple system, and show that the universal envelope is semisimple. We also …
In 1992, following earlier conjectures of Lichtman and Makar-Limanov, Klein conjectured that a noncommutative domain must contain a free, multiplicative, noncyclic subsemigroup. He verified the conjecture when the center is uncountable. In this note we consider the existence (or not) of free subsemigroups in associative $k$-algebras $R$, where $k$ is a field not algebraic over a finite subfield. We show that $R$ contains a free noncyclic subsemigroup in the following cases: (1) $R$ satisfies a polynomial identity and is noncommutative modulo its prime radical. (2) $R$ has at least one nonartin…
Poisson algebra is usually defined to be a commutative algebra together with a Lie bracket, and these operations are required to satisfy the Leibniz rule. We describe Poisson structures in terms of a single bilinear operation. This enables us to explore Poisson algebras in the realm of non-associative algebras. We study their algebraic and cohomological properties, their deformations as non-associative algebras, and give a classification in low dimensions
Pseudoalgebras, introduced in [BDK], are multi-dimensional analogues of conformal algebras, which provide an axiomatic description of the singular part of the operator product expansion. Our main interest in this paper is the pseudoalgebra Cend_n, which is the analogue of an algebra of endomorphisms of a finite module. We study its algebraic properties. In particular, we introduce the class of unital pseudoalgebras and describe their structure and representations. Also, we classify pseudoalgebras algebraically similar to Cend_n.
The algebraic and geometric classification of commutative post-Lie algebras
Mansoura University（曼苏拉大学）；University of Beira Interior（比拉内陆大学）；Romanovsky Institute of Mathematics, Academy of Sciences of Uzbekistan（乌兹别克斯坦科学院罗曼诺夫斯基数学研究所）
We construct a method to obtain the algebraic classification of Poisson algebras defined on a commutative associative algebra, and we apply it to obtain the classification of the $3$-dimensional Poisson algebras. In addition, we study the geometric classification, the graph of degenerations and the closures of the orbits of the variety of $3$-dimensional Poisson algebras. Finally, we also study the algebraic classification of the Poisson algebras defined on a commutative associative null-filiform or filiform algebra and, to enrich this classification, we study the degenerations between these p…
We produce a long exact sequence whose terms are unit groups of associative algebras that behave as inner automorphisms of a given tensor. Our sequence generalizes known sequences for associative and non-associative algebras. In a manner similar to those, our sequence facilitates inductive reasoning about, and calculation of the groups of symmetries of a tensor. The new insights these methods afford can be applied to problems ranging from understanding algebraic structures to distinguishing entangled states in particle physics.
