Isoclinism between pairs of n-Lie algebras and their properties

In this paper, we investigate the notion of isoclinism on a pair of n-Lie algebras, which forms an equivalence relation. In addition, we prove that each equivalence class contains a stem pair of n-Lie algebras, which has minimal dimension amongst the finite dimensional pairs of n-Lie algebras. Finally, some more results are obtained when two isoclinic pairs of n-Lie algebras are given.     

L-fuzzy代数的刻画

鉴于[2]中已有fuzzy代数结合的不理想，谷文祥和卢荼在L－fuzzy集论中重新定义了L－fuzzy代数，得到了一些理想的结论。但却没有给出它的截集式刻画。本文的目的就是借助于L－fuzzy集的几种水平截集给出了它的几个等价刻画，使得它的表现更为直观且更便于应用。最后，作为应用，本文简洁地证明了L－fuzzy代数在代数同态下是不变的和逆不变的。     

On Enveloping Lie Algebras of Hyporeductive Triple Algebras

The notion of a hypoderivation of binary-ternary algebras is introduced. A hypoderivation is a generalization both of a derivation and a pseudoderivation of such algebras. From the external direct sum of a hyporeductive triple algebra (h.t.a.) with the vector space of pairs constituted by hypoderivations and their companions, a Lie algebra with a hyporeductive decomposition (and accordingly a hyporeductive pair) enveloping the given h.t.a. is constructed. A nontrivial 3-dimensional Lie algebra with hyporeductive decomposition is presented. Examples of h.t.a. are also given.     

Algebras Defined from Ordered Sets and the Varieties they Generate

We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by these algebras. In particular we consider two different but related methods for constructing an algebra with one binary operation from an arbitrary ordered set with a top element. The two varieties generated by all these algebras are shown to be well-behaved in that they are locally finite, finitely based, and have an equationally definable order relation. We exhibit a bijection between the subdirectly irreducible algebras in each variety and the class of all ordered sets with top element. We determine the structure and cardinality of the free algebra on n-free generators and provide sharp bounds on the number of n-generated algebras in each variety. These enumeration results involve the number of quasi-orders on an n-element set.     

Poisson color algebras of arbitrary degree

A Poisson algebra is a Lie algebra endowed with a commutative associative product in such a way that the Lie and associative products are compatible via a Leibniz rule. If we part from a Lie color algebra, instead of a Lie algebra, a graded-commutative associative product and a graded-version Leibniz rule we get a so-called Poisson color algebra (of degree zero). This concept can be extended to any degree, so as to obtain the class of Poisson color algebras of arbitrary degree. This class turns out to be a wide class of algebras containing the ones of Lie color algebras (and so Lie superalgebras and Lie algebras), Poisson algebras, graded Poisson algebras, z-Poisson algebras, Gerstenhaber algebras, and Schouten algebras among other classes of algebras. The present paper is devoted to the study of structure of Poisson color algebras of degree g₀, where g₀ is some element of the grading group G such that g₀ = 0 or 4g₀≠0, and with restrictions neither on the dimension nor the base field, by stating a second Wedderburn-type theorem for this class of algebras.     

A Class of Nongraded Simple Lie Algebras

Abstract

Nongraded simple Lie algebras appear naturally in mathematical physics. In this paper, a new class of nongraded simple Lie algebras are presented based on the pairs (𝒜, 𝒟) consisting of a commutative associative unital algebra 𝒜 and a finite dimensional commutative derivation subalgebra 𝒟 such that 𝒜 is 𝒟-simple. The isomorphism classes of these nongraded Lie algebras are also determined and the structure space of these algebras is given explicitly.     

Map composition generalized to coherent collections of maps

Relation algebras give rise to partial algebras on maps, which are generalized to partial algebras on polymaps while preserving the properties of relation union and composition. A polymap is defined as a map with every point in the domain associated with a special set of maps. Polymaps can be represented as small subcategories of Set^?, the category of pointed sets. Map composition and the counterpart of relation union for maps are generalized to polymap composition and sum. Algebraic structures and categories of polymaps are investigated. Polymaps present the unique perspective of an algebra that can retain many of its properties when its elements (maps) are augmented with collections of other elements.     

On parakähler Hom-Lie algebras and Hom-left-symmetric bialgebras

In this paper, the parakähler Hom-Lie algebras or phase space of Hom-Lie algebras in terms of Hom-left-symmetric algebras are studied. A structure theory of parakähler Hom-Lie algebras in terms of matched pairs of Hom-Lie algebras is also presented. Besides, the bimodules of Hom-left-symmetric algebras are investigated. Furthermore, Hom-left-symmetric bialgebra which is precisely equivalent to parakähler Hom-Lie algebra is introduced. Especially, the coboundary Hom-left-symmetric bialgebra is considered.     

Association schemes,fusion rings,C-algebras,and reality-based algebras where all nontrivial multiplicities are equal

Multiplicities corresponding to irreducible characters are defined for reality-based algebras. These algebras with a distinguished basis include fusion rings, C-algebras, and the adjacency algebras of finite association schemes. The definition of multiplicity generalizes that for schemes. For a broad class of these structures, which includes the adjacency algebras, it is proved that if all the nontrivial multiplicities are equal then the algebra is commutative, and is a C-algebra if its dimension is larger than two.     

Linear Representation of Medial-Like Algebras

In this paper we characterize the paramedial, comedial, and coparamedial pairs of quasigroup operations and paramedial, comedial, and coparamedial algebras with the quasigroup operations. Then we characterize paramedial, comedial, and coparamedial algebras with a unit element and an idempotent regular element.     

On Central Elements in the Universal Enveloping Algebras of the Orthogonal Lie Algebras

We present an analogy of the famous formula that the square of the Pfaffian is equal to the determinant for an alternating matrix for the case where the entries are the generators of the orthogonal Lie algebras. This identity clarifies the relation between the two sets of central elements in the enveloping algebra of the orthogonal Lie algebras. We employ systematically the exterior calculus for the proof.     

The algebraic and geometric classification of nilpotent terminal algebras

We give algebraic and geometric classifications of 4-dimensional complex nilpotent terminal algebras. Specifically, we find that, up to isomorphism, there are 41 one-parameter families of 4-dimensional nilpotent terminal (non-Leibniz) algebras, 18 two-parameter families of 4-dimensional nilpotent terminal (non-Leibniz) algebras, 2 three-parameter families of 4-dimensional nilpotent terminal (non-Leibniz) algebras, complemented by 21 additional isomorphism classes (see Theorem 13). The corresponding geometric variety has dimension 17 and decomposes into 3 irreducible components determined by the Zariski closures of a one-parameter family of algebras, a two-parameter family of algebras and a three-parameter family of algebras (see Theorem 15). In particular, there are no rigid 4-dimensional complex nilpotent terminal algebras.     

Computable Homogeneous Boolean Algebras and a Metatheorem

We consider computable homogeneous Boolean algebras. Previously, countable homogeneous Boolean algebras have been described up to isomorphism and a simple criterion has been found for the existence of a strongly constructive (decidable) isomorphic copy for such. We propose a natural criterion for the existence of a constructive (computable) isomorphic copy. For this, a new hierarchy of -computable functions and sets is introduced, which is more delicate than Feiner's. Also, a metatheorem is proved connecting computable Boolean algebras and their hyperarithmetical quotient algebras.     

Socle equivalences of weighted surface algebras

We describe the structure and properties of the finite-dimensional symmetric algebras over an algebraically closed field K which are socle equivalent to the general weighted surface algebras of triangulated surfaces, investigated in [11]. In particular, we prove that all these algebras are tame periodic algebras of period 4. The main results of this paper form an essential step towards a classification of all symmetric tame periodic algebras of period 4.     

Composition algebras of the second kind

The concept of a composition algebra of the second kind is introduced. We prove that such algebras are non-degenerate monocomposition algebras without unity. A big number of these algebras in any finite dimension are constructed, as well as two algebras in a countable dimension. The constructed algebras each contains a non-isotropic idempotent e² = e. We describe all orthogonally non-isomorphic composition algebras of the second kind in the following forms: (1) a two-dimensional algebra (which has turned out to be unique); (2) three-dimensional algebras in the constructed series. For every algebra A, the group Ortaut A of orthogonal automorphisms is specified. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 428–447, July–August, 2007.     

Four dimensional regular algebras with point scheme,anonsingular quadric in P3

In [22], a class of four-dimensional, quadratic, Artin-Schelter regular algebras was introduced, whose point scheme is the graph of an automorphism of a nonsingular quadric in P³. These algebras are the first examples of quadratic Artin-Schelter regular algebras whose defining relations are not determined by the point scheme and, hence, not determined by the algebraic data obtained from the point modules. In this paper, we study these algebras via their line modules. In particular, the set of lines in P³ that correspond to left line modules is not the set of lines in P³ that correspond to right line modules. Our analysis focuses on a distinguished member R _λ of this class of algebras, where R _λ is a twist by a twisting system of the other algebras. We prove that R _λ is a finite module over its center and that its central Proj is a smooth quadric inP⁴.     

Equations des algèbres Lie triple qui sont des algèbres train

In this paper, we consider equations of Lie triple algebras that are train algebras. We obtain two different types of equations depending on assuming the existence of an idempotent or a pseudo-idempotent.In general Lie triple algebras are not power-associative. However we show that their train equation with an idempotent is similar to train equations of power-associative algebras that are train algebras and we prove that Lie triple algebras that are train algebras of rank $\le 4$ with an idempotent are Jordan algebras.Moreover, the set of non-trivial idempotents has the same expression in Peirce decomposition as that of $e$-stable power-associative algebras.We also prove that the algebra obtained by $2$-gametization process of a Lie triple algebra is a Lie triple one.     

A homological approach to representations of algebras II: tame hereditary algebras

We determine the pure global dimension of finite dimensional hereditary or radical-squared zero algebras over algebraically closed fields. The results are applied to algebras of dimension four and to the incidence algebras of critical ordered sets studied by Loupias. We further prove that the path algebra of an oriented cycle shares with Dedekind domains the Kulikov property (submodules of pure-projective modules are pure-projective).     

L-quadri代数

Quadri代数是由Aguiar和Loday引入的一类著名的Loday代数.在本文中,我们引入具有4个运算的L-quadri代数的概念,它满足广义左对称性,其4个运算的和的换位运算是Lie代数,并且是quadri代数的Lie代数类似结构.任何quadri代数是L-quadri代数,并且L-quadri代数可以放在Lod...