Dendriform Analogues of Lie and Jordan Triple Systems

We use computer algebra to determine all the multilinear polynomial identities of degree ≤7 satisfied by the trilinear operations (a·b)·c and a·(b·c) in the free dendriform dialgebra, where a·b is the pre-Lie or the pre-Jordan product. For the pre-Lie triple products, we obtain one identity in degree 3, and three independent identities in degree 5, and we show that every identity in degree 7 follows from the identities of lower degree. For the pre-Jordan triple products, there are no identities in degree 3, five independent identities in degree 5, and ten independent irreducible identities in degree 7. Our methods involve linear algebra on large matrices over finite fields, and the representation theory of the symmetric group.     

On tortkara triple systems

The commutator [a,b] = ab?ba in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation T(a,b,c,d) which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying T(a,b,c,d) which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product [a,b,c] = [[a,b],c] in a free Zinbiel algebra and use computer algebra to construct a relation TT(a,b,c,d,e) which implies every relation satisfied by [a,b,c] in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by [a,b,c] which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity n≥9.     

Superposition operator on the space of sequences almost converging to zero

We study the superposition operator f on on the space ac ₀ of sequences almost converging to zero. Conditions are derived for which f has a representation of the form f x = a+bx +g x, for all x ∈ ac ₀ with a = f 0, b ∈ D(ac ₀), g a superposition operator from ℓ_∞ into I(ac ₀), D(ac ₀) = {z: zx ∈ ac ₀ for all x ∈ ac ₀}, and I(ac ₀) the maximal ideal in ac ₀. If f is generated by a function f of a real variable, then f is linear. We consider the conditions for which a bounded function f generates f acting on ac ₀ and the conditions for which there exists a sequence y ∈ ac ₀ such that y − f y ∈ ac ₀. In terms of f, criteria for the boundedness, continuity, and sequential σ(ac ₀ℓ₁)-continuity of f on ac ₀ are given. It is shown that the continuity of f is equivalent to the weak sequential continuity. Finally, properties of spaces D(ac ₀) and I(ac ₀) are studied, and in particular it is established that the inclusion I(ac ₀) ⊕ {λe: λ ∈ ℝ} ⊂ D(ac ₀) is proper, where e = (1, 1, …). By means of D(ac ₀), a number of Banach-Mazur limit properties are derived.     

Involutions for upper triangular matrix algebras

In this paper we describe completely the involutions of the first kind of the algebra UT_n(F) of n×n upper triangular matrices. Every such involution can be extended uniquely to an involution on the full matrix algebra. We describe the equivalence classes of involutions on the upper triangular matrices. There are two distinct classes for UT_n(F) when n is even and a single class in the odd case.Furthermore we consider the algebra UT₂(F) of the 2×2 upper triangular matrices over an infinite field F of characteristic different from 2. For every involution *, we describe the *-polynomial identities for this algebra. We exhibit bases of the corresponding ideals of identities with involution, and compute the Hilbert (or Poincaré) series and the codimension sequences of the respective relatively free algebras.Then we consider the *-polynomial identities for the algebra UT₃(F) over a field of characteristic zero. We describe a finite generating set of the ideal of *-identities for this algebra. These generators are quite a few, and their degrees are relatively large. It seems to us that the problem of describing the *-identities for the algebra UT_n(F) of the n×n upper triangular matrices may be much more complicated than in the case of ordinary polynomial identities.     

Verma Modules Over Generalized Block Algebras B(b (1), b (2))

ABSTRACT

Given a field F with characteristic zero, a free Abelian group G with rank two, and a total order ? on G which is compatible with the addition, we define Verma modules M([ddot], ?) over the generalized Block algebra B(b ⁽¹⁾, b ⁽²⁾) with b ⁽¹⁾, b ⁽²⁾ ∈ F. The irreducibility of the module M([ddot], ?) is completely determined in this article.     

Automorphisms of Free Left Nilpotent Leibniz Algebras and Fixed Points

ABSTRACT

Let F _m (N) be the free left nilpotent (of class two) Leibniz algebra of finite rank m, with m ≥ 2. We show that F _m (N) has non-tame automorphisms and, for m ≥ 3, the automorphism group of F _m (N) is generated by the tame automorphisms and one more non-tame IA-automorphism. Let F(N) be the free left nilpotent Leibniz algebra of rank greater than 1 and let G be an arbitrary non-trivial finite subgroup of the automorphism group of F(N). We prove that the fixed point subalgebra F(N) ^G is not finitely generated.     

Third power associative,antiflexible rings satisfying (a,b,ac) = a(a,b,c)

In this paper, we study third power associative, antiflexible rings satisfying the identity (a,b,ac)?=?a(a,b,c). We prove that third power associative, antiflexible rings satisfying the identity (a,b,ac)?=?a(a,b,c) with characteristic ≠2,3 are associative of degree 5. As a consequence of this result, we prove that a third power associative semiprime antiflexible ring satisfying the identity (a,b,ac)?=?a(a,b,c) is associative.     

Polynomial Identities of M2,1(G)

We describe the multilinear identities of the superalgebra M _{2, 1}(G) of matrices over the Grassmann algebra, in the minimal possible degree, which is 9.     

On Composition series relative to a module

ABSTRACT

A commutative algebra with the identity (a * b) * (c * d) ? (a * d) * (c * b) = (a, b, c) * d ? (a, d, c) * b is called Novikov–Jordan. Example: K[x] under multiplication a * b = ?(ab) is Novikov–Jordan. A special identity for Novikov–Jordan algebras of degree 5 is constructed. Free Novikov–Jordan algebras with q generators are exceptional for any q ≥ 1.

     

Graded Polynomial Identities for Tensor Products by the Grassmann Algebra

Abstract

Let 𝕂 be a field of characteristic zero, and R be a G-graded 𝕂-algebra. We consider the algebra R ? E, then deduce its G × ?₂-graded polynomial identities starting from the G-graded polynomial identities of R. As a consequence, we describe a basis for the ? _n  × ?₂-graded identities of the algebras M _n (E). Moreover we give the graded cocharacter sequence of M ₂(E), and show that M ₂(E) is PI-equivalent to M _1,1(E) ? E. This fact is a particular case of a more general result obtained by Kemer.     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

PI (non)equivalence and Gelfand-Kirillov dimension in positive characteristic

The verbally prime algebras are well understood in characteristic 0 while over a field of positive characteristic p > 2 little is known about them. In previous papers we discussed some sharp differences between these two cases for the characteristic; we showed that the so-called Tensor Product Theorem cannot be extended for infinite fields of positive characteristic p > 2. Furthermore we studied the Gelfand-Kirillov dimension of the relatively free algebras of verbally prime and related algebras. In this paper we compute the GK dimensions of several algebras and thus obtain a new proof of the fact that the algebras M _a,a (E) ⊗ E and M _2a (E) are not PI equivalent in characteristic p > 2. Furthermore we show that the following algebras are not PI equivalent in positive characteristic: M _a,b (E) ⊗ M _c,d (E) and M _ac+bd,ad+cb (E); and M _a,b (E) ⊗ M _c,d (E) and M _{e, f} (E) ⊗ M _g,h (E) when a ≥ b, c ≥ d, e ≥ f, g ≥ h, ac + bd = eg+ f h, ad +bc = eh + fg and ac ≠ eg. Here E stands for the infinite dimensional Grassmann algebra with 1, and M _a,b (E) is the subalgebra of M _a+b (E) of the block matrices with blocks a × a and b × b on the main diagonal with entries from E ₀, and off-diagonal entries from E ₁; E = E ₀ ⊗ E ₁ is the natural grading on E. Partially supported by CNPq 620025/2006-9. This paper was written during the author’s PhD study at the UNICAMP, under the supervision of P.Koshlukov, to whom he expresses his sincere thanks.     

Gröbner–Shirshov bases for brace algebras

Let A be a brace algebra. This structure implies that A is also a pre-Lie algebra. In this paper, we establish Composition-Diamond lemma for brace algebras. For each pre-Lie algebra L, we find a Gröbner–Shirshov basis for its universal brace algebra U_b(L). As applications, we determine an explicit linear basis for U_b(L) and prove that L is a pre-Lie subalgebra of U_b(L).     

Homotopy and homology of simplicial abelian Hopf algebras

Let A be a simplicial bicommutative Hopf algebra over the field with the property that . We show that is a functor of the André-Quillen homology of A, where A is regarded as an algebra. Then we give a method for calculating that André-Quillen homology independent of knowledge of . Received November 15, 1996 ; in final form March 15, 1997     

On finite retract lattices of monounary algebras

For a monounary algebra (A, f) we denote R ^∅(A, f) the system of all retracts (together with the empty set) of (A, f) ordered by inclusion. This system forms a lattice. We prove that if (A, f) is a connected monounary algebra and R ^∅(A, f) is finite, then this lattice contains no diamond. Next distributivity of R ^∅(A, f) is studied. We find a representation of a certain class of finite distributive lattices as retract lattices of monounary algebras.     

Ideals of identities of representations of nilpotent lie algebras

Let L be a Lie algebra, nilpotent of class 2, over an infinite field K, and suppose that the centre C of L is one dimensional; such Lie algebras are called Heisenberg algebras. Let ρ:L→hom _KV be a finite dimensional representation of the Heisenberg algebra L such that ρ(C) contains non-singular linear transformations of V, and denote l(ρ) the ideal of identities for the representation ρ. We prove that the ideals of identities of representations containing I(ρ) and generated by multilinear polynomials satisfy the ACC. Let sl ₂(L) be the Lie algebra of the traceless 2×2 matrices over K, and suppose the characteristic of K equals 2. As a corollary we obtain that the ideals of identities of representations of Lie algebras containing that of the regular representation of sl ₂(K) and generated by multilinear polynomials, are finitely based. In addition we show that one cannot simply dispense with the condition of multilinearity. Namely, we show that the ACC is violated for the ideals of representations of Lie algebras (over an infinite field of characteristic 2) that contain the identities of the regular representation of sl ₂(K).     

Weak factorizations of operators in the group von Neumann algebras of certain amenable groups and applications

Let G be a compact group whose local weight b(G) has uncountable cofinality. Let H be an amenable locally compact group and A(G × H) be the Fourier algebra of G × H. We prove that the group von Neumann algebra VN(G × H) = A(G × H)^* has the weak uniform A(G × H)^** factorization property of level b(G). As a corollary we show that A(G × H) is strongly Arens irregular, and the topological centre of UC ₂(G × H)^* is equal to the Fourier–Stieltjes algebra B(G × H).     

Notes on Free Monadic Boolean Algebras

If F B(2 ⁿ – 1) denotes the Boolean algebra with 2 ⁿ – 1 free generators and P(2 ⁿ ) is the Cartesian product of 2 ⁿ Boolean algebras all equal to F B(2 ⁿ – 1), we define on P(2 ⁿ ) an existential quantifier by means of a relatively complete Boolean subalgebra of P(2 ⁿ ) and we prove that (P(2ⁿ),) is the monadic Boolean algebra with n free generators. Every element of P(2 ⁿ ) is a 2 ⁿ -tuple whose coordinates are in F B(2 ⁿ – 1); in particular, so are the n generators of P(2 ⁿ ). We indicate in this work the coordinates of the n generators of P(2 ⁿ ).