Primitive Elements and Automorphisms of Free Algebras of Schreier Varieties

In this article, we review results on primitive elements of free algebras of main types of Schreier varieties of algebras. A variety of linear algebras over a field is Schreier if any subalgebra of a free algebra of this variety is free in the same variety of algebras. A system of elements of a free algebra is primitive if it is a subset of some set of free generators of this algebra. We consider free nonassociative algebras, free commutative and anti-commutative nonassociative algebras, free Lie algebras and superalgebras, and free Lie p-algebras and p-superalgebras. We present matrix criteria for systems of elements of elements. Primitive elements distinguish automorphisms: endomorphisms sending primitive elements to primitive elements are automorphisms. We give a series of examples of almost primitive elements (an element of a free algebra is almost primitive if it is not a primitive element of the whole algebra, but it is a primitive element of any proper subalgebra which contains it). We also consider generic elements and Δ-primitive elements. Translated from Itogi Nauki i Tekhniki, Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematicheskie Obzory. Vol. 74, Algebra-15, 2000.     

Ideal Submodules Versus Ternary Ideals Versus Linking Ideals

We show that ideal submodules and closed ternary ideals in Hilbert modules are the same. We use this insight as a little peg on which to hang a little note about interrelations with other notions regarding Hilbert modules. In Section 3, we show that the ternary ideals (and equivalent notions) merit fully, in terms of homomorphisms and quotients, to be called ideals of (not necessarily full) Hilbert modules. The properties to be checked are intrinsically formulated for the modules (without any reference to the algebra over which they are modules) in terms of their ternary structure. The proofs, instead, are motivated from a third equivalent notion, linking ideals (Section 2), and a Theorem (Section 3) that all extends nicely to (reduced) linking algebras. As an application, in Section 4, we introduce ternary extensions of Hilbert modules and prove most of the basic properties (some new even for the known notion of extensions of Hilbert modules), by reducing their proof to the well-known analogue theorems about extensions of C^?–algebras. Finally, in Section 5, we propose several open problems that our method naturally suggests.

     

Automorphic Equivalence of Many-Sorted Algebras

For every variety Θ of universal algebras we can consider the category Θ⁰ of the finite generated free algebras of this variety. The quotient group \(\mathfrak {A/Y}\), where \(\mathfrak {A}\) is a group of all the automorphisms of the category Θ⁰ and \(\mathfrak {Y}\) is a subgroup of all the inner automorphisms of this category measures difference between the geometric equivalence and automorphic equivalence of algebras from the variety Θ. In Plotkin and Zhitomirski (J. Algebra 306(2), 344–367, 2006) the simple and strong method of the verbal operations was elaborated on for the calculation of the group \(\mathfrak {A/Y} \) in the case when the Θ is a variety of one-sorted algebras. In the first part of our paper (Sections 1, 2 and 3) we prove that this method can be used in the case of many-sorted algebras. In the second part of our paper (Section 4) we apply the results of the first part to the universal algebraic geometry of many-sorted algebras and prove again and refine the results of Plotkin (2003) and Tsurkov (Int. J. Algebra Comput. 17(5/6), 1263–1271, 2007) for these algebras. For example we prove in the Theorem 4.3 that the automorphic equivalence of algebras can be reduced to the geometric equivalence if we change the operations in one of these algebras. In the third part of this paper (Section 5) we consider some varieties of many-sorted algebras. We prove that automorphic equivalence coincides with geometric equivalence in the variety of all the actions of semigroups over sets and in the variety of all the automatons, because the group \(\mathfrak {A/Y}\) is trivial for these varieties. We also consider the variety of all the representations of groups and all the representations of Lie algebras. The group \(\mathfrak {A/Y}\) is not trivial for these varieties and for both these varieties we give an examples of the representations which are automorphically equivalent but not geometrically equivalent.     

Representations of small braid groups in Temperley-Lieb algebra

In this paper we consider the question of faithfulness of the Jones' representation of braid group Bn into the Temperley-Lieb algebra TLn. The obvious motivation to study this problem is that any non-trivial element in the kernel of this representation (for any n) would almost certainly yield a non-trivial knot with trivial Jones polynomial (see [S. Bigelow, Does the Jones polynomial detect the unknot? J. Knot Theory Ramifications 11 (4) (2002) 493-505], we will explain it in more detail in Section 1). As one of the two main results we prove Theorem 1 in which we present a method to obtain non-trivial elements in the kernel of the representation of B₆ into TL9,2—to the authors' knowledge the first such examples in the second gradation of the Temperley-Lieb algebra. Theorem 2 which is a refinement of Theorem 1 may be used to produce smaller examples of the same kind. We also show briefly how some braids that are used in Section 4 to construct specific examples were generated with a computer program.     

Commuting double Ockham algebras

In this paper,we study a certain class of double Ockham algebras (L;∧,∨,f,k,0,1), namely the bounded distributive lattices (L;∧,∨,0,1) endowed with a commuting pair of unary op- erations f and k,both of which are dual endomorphisms.We characterize the subdirectly irreducible members,and also consider the special case when both (L;f) and (L;k) are de Morgan algebras.We show via Priestley duality that there are precisely nine non-isomorphic subdirectly irreducible members, all of which are simple.     

Lifting and Restricting Recollement Data

We study the problem of lifting and restricting TTF triples (equivalently, recollement data) for a certain wide type of triangulated categories. This, together with the parametrizations of TTF triples given in Nicolás and Saorín (Parametrizing recollement data for triangulated categories. To appear in J. Algebra), allows us to show that many well-known recollements of right bounded derived categories of algebras are restrictions of recollements in the unbounded level, and leads to criteria to detect recollements of general right bounded derived categories. In particular, we give in Theorem 1 necessary and sufficient conditions for a right bounded derived category of a differential graded (=dg) category to be a recollement of right bounded derived categories of dg categories. Theorem 2 considers the case of dg categories with cohomology concentrated in non-negative degrees. In Theorem 3 we consider the particular case in which those dg categories are just ordinary algebras.     

Finite vs affine W-algebras

In Section 1 we review various equivalent definitions of a vertex algebra V. The main novelty here is the definition in terms of an indefinite integral of the λ-bracket. In Section 2 we construct, in the most general framework, the Zhu algebra Zhu_ΓV, an associative algebra which “controls” Γ-twisted representations of the vertex algebra V with a given Hamiltonian operator H. An important special case of this construction is the H-twisted Zhu algebra Zhu_H V. In Section 3 we review the theory of non-linear Lie conformal algebras (respectively non-linear Lie algebras). Their universal enveloping vertex algebras (resp. universal enveloping algebras) form an important class of freely generated vertex algebras (resp. PBW generated associative algebras). We also introduce the H-twisted Zhu non-linear Lie algebra Zhu_H R of a non-linear Lie conformal algebra R and we show that its universal enveloping algebra is isomorphic to the H-twisted Zhu algebra of the universal enveloping vertex algebra of R. After a discussion of the necessary cohomological material in Section 4, we review in Section 5 the construction and basic properties of affine and finite W-algebras, obtained by the method of quantum Hamiltonian reduction. Those are some of the most intensively studied examples of freely generated vertex algebras and PBW generated associative algebras. Applying the machinery developed in Sections 3 and 4, we then show that the H-twisted Zhu algebra of an affine W-algebra is isomorphic to the finite W-algebra, attached to the same data. In Section 6 we define the Zhu algebra of a Poisson vertex algebra, and we discuss quasiclassical limits. In the Appendix, the equivalence of three definitions of a finite W-algebra is established. “I am an old man, and I know that a definition cannot be so complicated.” I.M. Gelfand (after a talk on vertex algebras in his Rutgers seminar)     

n-Lie代数的分解及唯一性

本文研究具有平凡中心的有限维的n-Lie代数的分解及唯一性问题(定理2.2),而且证明了具有非平凡中心的n-Lie代数结论不成立.同时研究了n-Lie代数的导子代数及内导子代数的分解问题(定理2.1).     

Functions of event variables of a random system with complete connections

In applications it often occurs that the experimenter is faced with functions of random processes. Suppose, for instance, that he only can draw partial or incomplete information about the underlying process or that he has to classify events for the sake of efficiency. We assume that the underlying process is a random system with complete connections (which contains the Markovian case as a special one) satisfying some basic properties, and that a mapping operates on the event space. With these two elements we construct in Section 2 a new random system with complete connections which inherits the properties of the old one (Theorem 2.2.3). In Section 3 we prove a weak convergence theorem (Theorem 3.4.4) in the theoretical framework of the so-called distance diminishing models, which gives a straightforward application in Section 4 to conditional probabilities related to partially observed events (Theorems 4.1.3). Finally we prove a Shannon-McMillan-type theorem (Theorem 4.2.3) finding application to classification procedures.     

Representing measures and infinite-dimensional holomorphy

We consider some applications of the Bishop-De Leeuw Theorem about representing measures for some algebras of analytic functions on unit balls of Banach spaces. In particular, we investigate Hardy spaces H² associated with corresponding algebras. Some examples are considered.     

Special subalgebras of Boolean algebras

We consider eight special kinds of subalgebras of Boolean algebras. In Section 1 we describe the relationships between these subalgebra notions. In succeeding sections we consider how the subalgebra notions behave with respect to the most common cardinal functions on Boolean algebras (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On semigroups of order-preserving transformations of countable linearly ordered sets

We consider semigroups of endomorphisms of linearly ordered sets ℕ and ℤ and their subsemigroups of cofinite endomorphisms. We study the Green relations, groups of automorphisms, conjugacy, centralizers of elements, growth, and free subsemigroups in these subgroups.     

Limit Automorphisms of the <Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Isometric Representations for Semigroups of Rationals

We consider inductive sequences of Toeplitz algebras whose connecting homomorphisms are defined by collections of primes. The inductive limits of these sequences are C*-algebras generated by representations for semigroups of rationals. We study the limit endomorphisms of these C*-algebras induced by morphisms between copies of the same inductive sequences of Toeplitz algebras. We establish necessary and sufficient conditions for these endomorphisms to be automorphisms of the algebras.     

Nondegenerate Semiramified Valued and Graded Division Algebras

The main goal of this article is to give examples of division p-algebras that are not tensor product of cyclic algebras (Corollary 2.19) and to prove that nondegenerate tame semiramified division algebras of prime power degree over a Henselian valued field are indecomposable (Theorem 3.5). For this, we give new results concerning nicely semiramified division algebras over Henselian valued fields, and we develop a new study for nondegenerate valued and graded division algebras.     

A Tiled Order of Finite Global Dimension with No Neat Primitive Idempotent

The aim of this article is to introduce the notion of Hom-Lie color algebras. This class of algebras is a natural generalization of the Hom-Lie algebras as well as a special case of the quasi-hom-Lie algebras. In the article, homomorphism relations between Hom-Lie color algebras are defined and studied. We present a way to obtain Hom-Lie color algebras from the classical Lie color algebras along with algebra endomorphisms and offer some applications. Also, we introduce a multiplier σ on the abelian group Γ and provide constructions of new Hom-Lie color algebras from old ones by the σ-twists. Finally, we explore some general classes of Hom-Lie color admissible algebras and describe all these classes via G–Hom-associative color algebras, where G is a subgroup of the symmetric group S ₃.     

A resolution (minimal model) of the PROP for bialgebras

This paper is concerned with a minimal resolution of the PROP for bialgebras (Hopf algebras without unit, counit and antipode). We prove a theorem about the form of this resolution (Theorem 15) and give, in Section 5, a lot of explicit formulas for the differential.     

Termal and polynomial endomorphisms of universal algebras

We consider semigroups of termal and polynomial endomorphisms of universal algebras.     

On Even Generalized Table Algebras

Generalized table algebras were introduced in Arad, Fisman and Muzychuk (Israel J. Math. 114 (1999), 29–60) as an axiomatic closure of some algebraic properties of the Bose-Mesner algebras of association schemes. In this note we show that if all non-trivial degrees of a generalized integral table algebra are even, then the number of real basic elements of the algebra is bounded from below (Theorem 2.2). As a consequence we obtain some interesting facts about association schemes the non-trivial valencies of which are even. For example, we proved that if all non-identical relations of an association scheme have the same valency which is even, then the scheme is symmetric.     

Stopping times for quantum Markov chains

In the paper we introduce stopping times for quantum Markov states. We study algebras and maps corresponding to stopping times, give a condition of strong Markov property and give classification of projections for the property of accessibility. Our main result is a new recurrence criterium in terms of stopping times (Theorem 1 and Corollary 2). As an application of the criterium we study how, in Section 6, the quantum Markov chain associated with the one-dimensional Heisenberg (usually non-Markovian) process, obtained from this quantum Markov chain by restriction to a diagonal subalgebra, is such that all its states are recurrent. We were not able to obtain this result from the known recurrence criteria of classical probability.Supported by GNAFA-CNR, Bando n. 211.01.25.     

Semidirect products of weak multiplier Hopf algebras: Smash products and smash coproducts

In this paper, we will develop the smash product of weak multiplier Hopf algebras unifying the cases of Hopf algebras, weak Hopf algebras and multiplier Hopf algebras. We will show that the smash product R#A has a regular weak multiplier Hopf algebra structure if R and A are regular weak multiplier Hopf algebras. We shall investigate integrals on R#A. We also consider the result in the ?-situation and new examples. Dually, we consider the smash coproduct of weak multiplier Hopf algebras under an appropriate form and integrals on the smash coproduct and we obtain results in the ?-situation.