On the operad of bigraft algebras

In this paper, we study the notion of a bigraft algebra, generalizing the notions of left and right graft algebras. We construct the free bigraft algebra on one generator in terms of certain planar rooted trees with decorated edges, and therefore describe explicitly the bigraft operad. We then compute its Koszul dual and show that the bigraft operad is Koszul. Moreover, we endow the free bigraft algebra on one generator with a universal Hopf algebra structure and a pairing. Finally, we prove an analogue of the Poincaré–Birkhoff–Witt and Cartier–Milnor–Moore theorems. For this, we define the notion of infinitesimal bigraft bialgebras and we prove the existence of a new good triple of operads.     

Good fuzzy preorders on fuzzy power structures

This paper deals with good fuzzy preorders on fuzzy power structures. It is shown that a fuzzy preorder R on an algebra (X,\mathbbF){(X,\mathbb{F})} is compatible if and only if it is Hoare good, if and only if it is Smyth good.     

Cardy algebras and sewing constraints,II

This is the part II of a two-part work started in [18]. In part I, Cardy algebras were studied, a notion which arises from the classification of genus-0, 1 open–closed rational conformal field theories. In this part, we prove that a Cardy algebra also satisfies the higher genus factorisation and modular-invariance properties formulated in [7] in terms of the notion of a solution to the sewing constraints. We present the proof by showing that the latter notion, which is defined as a monoidal natural transformation, can be expressed in terms of generators and relations, which correspond exactly to the defining data and axioms of a Cardy algebra.     

Cellular algebras arising from Hecke algebras of type H_n

We study a finite-dimensional quotient of the Hecke algebra of type for general n, using a calculus of diagrams. This provides a basis of monomials in a certain set of generators. Using this, we prove a conjecture of C.K. Fan about the semisimplicity of the quotient algebra. We also discuss the cellular structure of the algebra, with certain restrictions on the ground ring. Received February 24, 1997; in final form May 9, 1997     

Equationally distinct countable simple Q-relation algebras

Relation algebras were conceived by Tarski as the means to capture the algebra of binary relations. In this paper, we prove that a Maddux Style Representation preserves well-foundedness of relations, which is not in general true for a relation algebra isomorphism. This theorem enables us to construct equationally distinct countable simple Q-relation algebras using the method of forcing.     

Codimension and pseudometric in co-Heyting algebras

In this paper, we introduce a notion of dimension and codimension for every element of a bounded distributive lattice L. These notions prove to have a good behavior when L is a co-Heyting algebra. In this case the codimension gives rise to a pseudometric on L which satisfies the ultrametric triangle inequality. We prove that the Hausdorff completion of L with respect to this pseudometric is precisely the projective limit of all its finite dimensional quotients. This completion has some familiar metric properties, such as the convergence of every monotonic sequence in a compact subset. It coincides with the profinite completion of L if and only if it is compact or equivalently if every finite dimensional quotient of L is finite. In this case we say that L is precompact. If L is precompact and Hausdorff, it inherits many of the remarkable properties of its completion, specially those regarding the join/meet irreducible elements. Since every finitely presented co-Heyting algebra is precompact Hausdorff, all the results we prove on the algebraic structure of the latter apply in particular to the former. As an application, we obtain the existence for every positive integers n, d of a term t _{n, d} such that in every co-Heyting algebra generated by an n-tuple a, t _{n, d} (a) is precisely the maximal element of codimension d.     

Quotients of little Lipschitz algebras

We prove a Tietze type theorem which provides extensions of little Lipschitz functions defined on closed subsets. As a consequence, we get that the quotient of any little Lipschitz algebra by any norm-closed ideal is another little Lipschitz algebra.

     

Based algebras and standard bases for quasi-hereditary algebras

Quasi-hereditary algebras can be viewed as a Lie theory approach to the theory of finite dimensional algebras. Motivated by the existence of certain nice bases for representations of semisimple Lie algebras and algebraic groups, we will construct in this paper nice bases for (split) quasi-hereditary algebras and characterize them using these bases. We first introduce the notion of a standardly based algebra, which is a generalized version of a cellular algebra introduced by Graham and Lehrer, and discuss their representation theory. The main result is that an algebra over a commutative local noetherian ring with finite rank is split quasi-hereditary if and only if it is standardly full-based. As an application, we will give an elementary proof of the fact that split symmetric algebras are not quasi-hereditary unless they are semisimple. Finally, some relations between standardly based algebras and cellular algebras are also discussed.     

Table algebras with central fusions

The character theory of table algebras is not as good as the character theory of finite groups. We introduce the notion of a table algebra with a central-fusion, in which the character theory has better properties. We study conditions under which a table algebra (A,B) has a central-fusion, and its central-fusion is exactly isomorphic to the wreath product of the central-fusion of a quotient table algebra of (A,B) and another table algebra. As a consequence, we obtain a complete characterization of table algebras with exactly one irreducible character whose degree and multiplicity are not equal. Applications to association schemes are also discussed.     

Quotients of dimension effect algebras

We show that the quotient of a dimension effect algebra by its dimension equivalence relation is a unital bounded lattice-ordered positive partial abelian monoid that satisfies a version of the Riesz decomposition property. For a dimension effect algebra of finite type, the quotient is a centrally orthocomplete Stone–Heyting MV-effect algebra; moreover, an orthocomplete effect algebra in which equality is a dimension equivalence relation is the same thing as a complete Stone–Heyting MV-effect algebra.     

Cayley-dickson algebras and alternative loop algebras

In this paper we establish a relationship between alternative loop algebras and Cayley-Dickson algebras: any Cayley-Dickson algebra is a quotient algebra of an alternative loop algebra. Thus we give a new way of representing a Cayley-Dickson algebra. As an application, a result of Luiz G. X. de Barros is generalized.     

Construction of Rota-Baxter algebras via Hopf module algebras

We propose the notion of Hopf module algebra and show that the projection onto the subspace of coinvariants is an idempotent Rota-Baxter operator of weight-1. We also provide a construction of Hopf module algebras by using Yetter-Drinfeld module algebras. As an application,we prove that the positive part of a quantum group admits idempotent Rota-Baxter algebra structures.     

Remarks on annihilators preserving congruence relations

In this note we shall give some results on annihilators preserving congruence relations, or AP-congruences, in bounded distributive lattices. We shall give some new characterizations, and a topological interpretation of the notion of annihilator preserving congruences introduced in [JANOWITZ, M. F.: Annihilator preserving congruence relations of lattices, Algebra Universalis 5 (1975), 391–394]. As an application of these results, we shall prove that the quotient of a quasicomplemented lattice by means of a AP-congruence is a quasicomplemented lattice. Similarly, we will prove that the quotient of a normal latttice by means of a AP-congruence is also a normal lattice.     

J-dendriform algebras

In this paper, we introduce a notion of J-dendriform algebra with two operations as a Jordan algebraic analogue of a dendriform algebra such that the anticommutator of the sum of the two operations is a Jordan algebra. A dendriform algebra is a J-dendriform algebra. Moreover, J-dendriform algebras fit into a commutative diagram which extends the relationships among associative, Lie, and Jordan algebras. Their relations with some structures such as Rota-Baxter operators, classical Yang-Baxter equation, and bilinear forms are given.     

Poisson manifolds with compatible pseudo-metric and pseudo-Riemannian Lie algebras

In a previous paper (C. R. Acad. Sci. Paris Sér. I 333 (2001) 763–768), the author introduced a notion of compatibility between a Poisson structure and a pseudo-Riemannian metric. In this paper, we introduce a new class of Lie algebras called pseudo-Riemannian Lie algebras. The two notions are closely related: we prove that the dual of a Lie algebra endowed with its canonical linear Poisson structure carries a compatible pseudo-Riemannian metric if and only if the Lie algebra is a pseudo-Riemannian Lie algebra. Moreover, the Lie algebra obtained by linearizing at a point a Poisson manifold with a compatible pseudo-Riemannian metric is a pseudo-Riemannian Lie algebra. We also give some properties of the symplectic leaves of such manifolds, and we prove that every Poisson manifold with a compatible Riemannian metric is unimodular. Finally, we study Poisson Lie groups endowed with a compatible pseudo-Riemannian metric, and we give the classification of all pseudo-Riemannian Lie algebras of dimension 2 and 3.     

Irreducible characters of Hadamard algebras

The notion of Hadamard decomposition of a semisimple associative finite-dimensional complex algebra generalizes the notion of classicalHadamard matrix, which corresponds to the case of commutative algebras. The algebras admitting Hadamard decompositions are called Hadamard algebras. A relation for the values of an irreducible character of a Hadamard algebra on the products of involutions forming an orthogonal basis of the algebra is obtained. This relation is then applied to describe the Hadamard decompositions in an algebra of dimension 8.     

局部强紧空间的Hoare空间与Smyth空间

本文主要讨论局部强紧空间的性质,特别是其Hoare空间和Smyth空间的性质,证明了T_0空间为局部强紧空间的当且仅当其Hoare空间为局部强紧空间,局部强紧空间的Smyth空间为C-空间.对于强局部紧空间,我们有类似的结论.     

A note on ideals in synaptic algebras

The notion of a synaptic algebra was introduced by David Foulis. Synaptic algebras unite the notions of an order-unit normed space, a special Jordan algebra, a convex effect algebra and an orthomodular lattice. In this note we study quadratic ideals in synaptic algebras which reflect its Jordan algebra structure. We show that projections contained in a quadratic ideal from a p-ideal in the orthomodular lattice of projections in the synaptic algebra and we find a characterization of those quadratic ideals which are generated by their projections.