Two inequalities for parameters of a cellular algebra

Two inequalities are proved. The first is a generalization for cellular algebras of a well- known theorem about the coincidence of the degree and the multiplicity of an irreducible representation of a finite group in its regular representation. The second inequality that is proved for primitive cellular algebras gives an upper bound for the minimal subdegree of a primitive permutation group in terms of the degrees of its irreducible representations in the permutation representation.Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 240, 1997, pp. 82–95.     

On computation complexity problems concerning relation algebras

In this paper, we study the computation complexity of some algebraic combinatorial problems that are closely associated with the graph isomorphism problem. The key point of our considerations is a relation algebra which is a combinatorial analog of a cellular algebra. We present upper bounds on the complexity of central algorithms for relation algebras such as finding the standard basis of extensions and intersection of relation algebras. Also, an approach is described to the graph isomorphism problem involving Schurian relation algebras (these algebras arise from the centralizing rings of permutation groups). We also discuss a number of open problems and possible directions for further investigation. Bibliography: 18 titles. Translated by I. N.Ponomarenko. Translated fromZapiski Nauchnykh Seminarov POMI, Vol 202, 1992, pp. 116–134.     

Free and cofree Hopf algebras

We first prove that a graded, connected, free and cofree Hopf algebra is always self-dual. Then, we prove that two graded, connected, free and cofree Hopf algebras are isomorphic if and only if they have the same Poincaré–Hilbert formal series. If the characteristic of the base field is zero, we prove that the Lie algebra of the primitive elements of such an object is free, and we deduce a characterization of the formal series of free and cofree Hopf algebras by a condition of growth of the coefficients. We finally show that two graded, connected, free and cofree Hopf algebras are isomorphic as (nongraded) Hopf algebras if and only if the Lie algebras of their primitive elements have the same number of generators.     

Simple iterative algebras

Based on the notion of an ideal of an iterative algebra, developed earlier, we introduce the concept of a simple iterative algebra of functions of a k-valued logic, that is, an algebra freed of proper ideals. It is found out that every simple algebra is contained in a maximal algebra and is naturally associated with some permutation group on a finite set. We specify a number of conditions on a permutation group under which a corresponding algebra is said to be maximal and simple. This allows us to completely list the maximal simple algebras for the case where k<-4. Translated fromAlgebra i Logika, Vol. 37, No. 4, pp. 460–477, July–August, 1998.     

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.     

Cellularity of twisted semigroup algebras

In this paper, the cellularity of twisted semigroup algebras over an integral domain is investigated by introducing the concept of cellular twisted semigroup algebras of type JH. Partition algebras, Brauer algebras and Temperley-Lieb algebras all are examples of cellular twisted semigroup algebras of type JH. Our main result shows that the twisted semigroup algebra of a regular semigroup is cellular of type JH with respect to an involution on the twisted semigroup algebra if and only if the twisted group algebras of certain maximal subgroups are cellular algebras. Here we do not assume that the involution of the twisted semigroup algebra induces an involution of the semigroup itself. Moreover, for a twisted semigroup algebra, we do not require that the twisting decomposes essentially into a constant part and an invertible part, or takes values in the group of units in the ground ring. Note that trivially twisted semigroup algebras are the usual semigroup algebras. So, our results extend not only a recent result of East, but also some results of Wilcox.     

Oligomorphic clones

A permutation group on a countably infinite domain is called oligomorphic if it has finitely many orbits of finitary tuples. We define a clone on a countable domain to be oligomorphic if its set of permutations forms an oligomorphic permutation group. There is a close relationship to ω-categorical structures, i.e., countably infinite structures with a first-order theory that has only one countable model, up to isomorphism. Every locally closed oligomorphic permutation group is the automorphism group of an ω-categorical structure, and conversely, the canonical structure of an oligomorphic permutation group is an ω-categorical structure that contains all first-order definable relations. There is a similar Galois connection between locally closed oligomorphic clones and ω-categorical structures containing all primitive positive definable relations. In this article we generalise some fundamental theorems of universal algebra from clones over a finite domain to oligomorphic clones. First, we define minimal oligomorphic clones, and present equivalent characterisations of minimality, and then generalise Rosenberg’s five types classification to minimal oligomorphic clones. We also present a generalisation of the theorem of Baker and Pixley to oligomorphic clones. Presented by A. Szendrei. Received July 12, 2005; accepted in final form August 29, 2006.     

On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond

We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite completion, which is also the completion with respect to a naturally defined metric. We give an algebraic interpretation of the Kripke model used by Bellissima as the principal ideal spectrum and show it to be first order interpretable in the Heyting algebra, from which several model theoretic and algebraic properties are derived. In particular, we prove that a free finitely generated Heyting algebra has only one set of free generators, which is definable in it. As a consequence its automorphism group is the permutation group over its generators.     

Bimodules over nest algebras and Deddens' theorem

We generalize Deddens' theorem for nest algebras in the case of w*-closed nest algebras bimodules. For each such bimodule, we introduce a norm closed sub-bimodule of it, which corresponds to the radical of a nest algebra and describe it in a number of ways, generalizing known facts about nest algebras.

     

Permutation Groups, a Related Algebra and a Conjecture of Cameron

We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which would show that the algebra is an integral domain if, in addition, the group is oligomorphic. We go on to show that this conjecture is true in certain special cases, including those of the form H Wr S and H Wr A, and show that in the oligormorphic case, the algebras corresponding to these special groups are polynomial algebras. In the H Wr A case, the algebra is related to the shuffle algebra of free Lie algebra theory.     

Projective algebras and primitive subquasivarieties in varieties with factor congruences

We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is projective if and only if it has every minimal algebra as its homomorphic image. Using this criterion of projectivity, we describe the primitive subquasivarieties of discriminator varieties that have a finite minimal algebra embedded in every nontrivial algebra from this variety. In particular, we describe the primitive quasivarieties of discriminator varieties of monadic Heyting algebras, Heyting algebras with regular involution, Heyting algebras with a dual pseudocomplement, and double-Heyting algebras.     

Primitive axial algebras are of Jordan type

The notion of axial algebra is closely related to 3-transposition groups, the Monster group and vertex operator algebras. In this work we continue our previous works and complete the proof that all algebras generated by a set of primitive axes not necessarily of the same type (see the definition in the body of the paper), are primitive axial algebras of Jordan type.     

Algebraically flat or projective algebras

We define and study algebraically flat algebras in order to have a better understanding of algebraically projective algebras of finite type (the projective algebras of literature). A close examination of the differential properties of these algebras leads to our main structure theorem. As a corollary, we get that an algebraically projective algebra of finite type over a field is either a polynomial ring or the affine algebra of a complete intersection.     

Noncommutative two-dimensional topological field theories and Hurwitz numbers for real algebraic curves

It is well known that the classical two-dimensional topological field theories are in one-to-one correspondence with the commutative Frobenius algebras. An important extension of classical two-dimensional topological field theories is provided by open-closed two-dimensional topological field theories. In this paper we extend open-closed two-dimensional topological field theories to nonorientable surfaces. We call them Klein topological field theories (KTFT). We prove that KTFTs bijectively correspond to (in general noncommutative) algebras with certain additional structures, called structure algebras. The semisimple structure algebras are classified. Starting from an arbitrary finite group, we construct a structure algebra and prove that it is semisimple. We define an analog of Hurwitz numbers for real algebraic curves and prove that they are correlators of a KTFT. The structure algebra of this KTFT is the structure algebra of a symmetric group.     

Lie Representations and an Algebra Containing Solomon's

We introduce and study a Hopf algebra containing the descent algebra as a sub-Hopf-algebra. It has the main algebraic properties of the descent algebra, and more: it is a sub-Hopf-algebra of the direct sum of the symmetric group algebras; it is closed under the corresponding inner product; it is cocommutative, so it is an enveloping algebra; it contains all Lie idempotents of the symmetric group algebras. Moreover, its primitive elements are exactly the Lie elements which lie in the symmetric group algebras.     

Binary Relations and Permutation Groups

We discuss some new properties of the natural Galois connection among set relation algebras, permutation groups, and first order logic. In particular, we exhibit infinitely many permutational relation algebras without a Galois closed representation, and we also show that every relation algebra on a set with at most six elements is Galois closed and essentially unique. Thus, we obtain the surprising result that on such sets, logic with three variables is as powerful in expression as full first order logic.     

Fusion Procedure for Cyclotomic BMW Algebras

In this paper, we prove that the pairwise orthogonal primitive idempotents of generic cyclotomic Birman-Murakami-Wenzl algebras can be constructed by consecutive evaluations of a certain rational function. In the Appendix, we prove a similar result for generic cyclotomic Nazarov-Wenzl algebras. A consequence of the constructions is a one-parameter family of fusion procedures for the cyclotomic Hecke algebra and its degenerate analogue.     

Local pseudo-BCK algebras with pseudo-product

Pseudo-BCK algebras were introduced by G. Georgescu and A. Iorgulescu as a generalization of BCK algebras in order to give a corresponding structure to pseudo-MV algebras, since the bounded commutative BCK algebras correspond to MV algebras. Properties of pseudo-BCK algebras and their connections with other fuzzy structures were established by A. Iorgulescu and J. Kühr. The aim of this paper is to define and study the local pseudo-BCK algebras with pseudo-product. We will also introduce the notion of perfect pseudo-BCK algebras with pseudo-product and we will study their properties. We define the radical of a bounded pseudo-BCK algebra with pseudo-product and we prove that it is a normal deductive system. Another result consists of proving that every strongly simple pseudo-hoop is a local bounded pseudo-BCK algebra with pseudo-product.