Congruence-preserving functions on Stone and Kleene algebras

We investigate local polynomial functions on Stone algebras and on Kleene algebras. We find a generating set for the clone of all local polynomial functions. We also represent local polynomial functions on a given algebra by polynomial functions of some canonical extension of this algebra.     

The length function and matrix algebras

By the length of a finite system of generators for a finite-dimensional associative algebra over an arbitrary field we mean the least positive integer k such that words of length not exceeding k span this algebra (as a vector space). The maximum length for the systems of generators of an algebra is referred to as the length of the algebra. In the present paper, we study the main ring-theoretical properties of the length function: the behavior of the length under unity adjunction, direct sum of algebras, passage to subalgebras and homomorphic images. We give an upper bound for the length of the algebra as a function of the nilpotency index of its Jacobson radical and the length of the quotient algebra. We also provide examples of length computation for certain algebras, in particular, for the following classical matrix subalgebras: the algebra of upper triangular matrices, the algebra of diagonal matrices, the Schur algebra, Courter’s algebra, and for the classes of local and commutative algebras.     

Affine completeness of Kleene algebras

An algebra is called affine complete if all its compatible (i.e. congruence-preserving) functions are polynomial functions. In this paper we characterize affine complete members in the variety of Kleene algebras. We also characterize local polynomial functions of Kleene algebras and use this result to describe locally affine complete Kleene algebras. Received December 20, 1996; accepted in final form March 24, 1997.     

A new loop algebra and its subalgebras

The new concept of cycled numbers is proposed, from which a new loop algebra is properly constructed. Taking account of applicable needs, a few subalgebras of the loop algebras is presented. By employing one of the subalgebras and Tu scheme, a new integrable hierarchy of soliton equations with multi-component potential functions is worked out, which possesses bi-Hamiltonian structures. The method proposed in this paper can be used generally.     

Affine varieties and lie algebras of vector fields

In this article, we associate to affine algebraic or local analytic varieties their tangent algebra. This is the Lie algebra of all vector fields on the ambient space which are tangent to the variety. Properties of the relation between varieties and tangent algebras are studied. Being the tangent algebra of some variety is shown to be equivalent to a purely Lie algebra theoretic property of subalgebras of the Lie algebra of all vector fields on the ambient space. This allows to prove that the isomorphism type of the variety is determinde by its tangent algebra.     

Solvable quadratic Lie algebras

A Lie algebra endowed with a nondegenerate, symmetric, invariant bilinear form is called a quadratic Lie algebra. In this paper, the author investigates the structure of solvable quadratic Lie algebras, in particular, the solvable quadratic Lie algebras whose Cartan subalgebras consist of semi-simple elements, the author presents a procedure to construct a class of quadratic Lie algebras from the point of view of cohomology and shows that all solvable quadratic Lie algebras can be obtained in this way.     

Hyperbolic subalgebras of hyperbolic Kac–Moody algebras

We investigate regular hyperbolic subalgebras of hyperbolic Kac–Moody algebras via their Weyl groups. We classify all subgroup relations between Weyl groups of hyperbolic Kac–Moody algebras, and show that for every pair of a group and subgroup there exists at least one corresponding pair of algebra and subalgebra. We find all types of regular hyperbolic subalgebras for a given hyperbolic Kac–Moody algebra, and present a finite algorithm classifying all embeddings.     

The Ideal Index of Subalgebras of a Finite Dimensional Lie Algebra

D. A. Towers introduced the notion of ideal index of a maximal subalgebra of a Lie algebra, and used it to analyze the influence of maximal subalgebras on the structure of a finite dimensional Lie algebras.

In this article, we generalize the ideal index from maximal subalgebras to all subalgebras, and obtain some new characterizations of solvable and supersolvable Lie algebras by the ideal indices of some certain subalgebras.     

Cayley-like representations are for all algebras, not merely groups

Cayley 's Theorem represents an arbitrary group as a set of permutations with the group operation captured by the composition of permutations. A few other examples with related representations are monoids, Boolean algebras and Menger algebras, permutations now being replaced by functions with one or more arguments. Although Cayley-like representations appear to be rare, this article shows that they are not. The idea is to represent the elements of an arbitrary algebra by multivariable functions, and its operations by particular compositions of these functions. Any finite algebra can be so represented,and so can any variety generated by one finite subdirectly irreducible algebra. It will follow that these varieties are Cayley-like: semilattices, distributive lattices, median algebras, elementary Abelian p -groups (for fixed p), and those generated by a primal algebra. If the definition of Cayley-like is stretched to allow the representing functions to have an infinite number of arguments, then all algebras are Cayley-like.     

Classification of multivariate skew polynomial rings over finite fields via affine transformations of variables

In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full classification of such multivariate skew polynomial rings (free or not) over finite fields. To that end, we first show that all ring morphisms from the field to the ring of square matrices are diagonalizable, and that the corresponding derivations are all inner derivations. Secondly, we show that all such multivariate skew polynomial rings over finite fields are isomorphic as algebras to a multivariate skew polynomial ring whose ring morphism from the field to the ring of square matrices is diagonal, and whose derivation is the zero derivation. Furthermore, we prove that two such representations only differ in a permutation on the field automorphisms appearing in the corresponding diagonal. The algebra isomorphisms are given by affine transformations of variables and preserve evaluations and degrees. In addition, ours proofs show that the simplified form of multivariate skew polynomial rings can be found computationally and explicitly.     

The structure of algebraic jordan algebras without nonzero nilpotent elements

An algebraic, linear Jordan algebra without nonzero nil-potent elements is proved to be a subdirect sum of prime Jordan algebras each of which has finite capacity or contains simple subalgebras of arbitrary capacity. If in addition the base field has nonzero character-istic or the algebra satisfies a polynomial identity, then each of the summands is determined to be simple of finite capacity. Further, it is proved that algebraic, PI Jordan algebras without nonzero nilpotent elements are locally finite in the sense that any finitely generated subalgebra has finite capacity.     

Hopf subalgebras and Hopf ideals of certain semisimple Hopf algebras

In the paper, for semisimple Hopf algebras that have only one non-one-dimensional irreducible representation, all Hopf ideals are described and, under some restriction concerning the number of group elements in the dual Hopf algebra, some series of Hopf subalgebras are found. Moreover, the quotient Hopf algebras of these semisimpleHopf algebras are described.     

Gentzen-style axiomatizations in equational logic

The notion of a Gentzen-style axiomatization of equational theories is presented. In the standard deductive systems for equational logic axioms take the form of equations and the inference rules can be viewed as quasi-equations. In the deductive systems for quasi-equational logic the axioms, which are quasi-equations, can be viewed as sequents and the inference rules as Gentzen-style rules. It is conjectured that every finite algebra has a finite Gentzen-style axiomatization for its quasi-identities. We verify this conjecture for a class of algebras that includes all finite algebras without proper subalgebras and all finite simple algebras that are embeddable into the free algebra of their variety.Dedicated to the memory of Alan DayPresented by J. Sichler.Supported by an Iowa State University Research Assistantship.Supported by National Science Foundation Grant #DMS 8005870.     

On the identities of subalgebras of matrices over the Grassmann algebra

The polynomial identities of certain subalgebras of matrices, over the Grassmann algebra, are studied in terms of their cocharacters. Our present knowledge of such characters for matrices over a fieldF (charF=0) plays a role here, and some of these results are extended to these subalgebras. In particular, we obtain bounds for the codimensions of these algebras (Theorem 0.1 below). Partially supported by an N. S. F. Grant.     

Norm‐controlled inversion in smooth Banach algebras,II

We show that smoothness implies norm‐controlled inversion: the smoothness of an element a in a Banach algebra with a one‐parameter automorphism group is preserved under inversion, and the norm of the inverse is controlled by the smoothness of a and by spectral data. In our context smooth subalgebras are obtained with the classical constructions of approximation theory and resemble spaces of differentiable functions, Besov spaces or Bessel potential spaces. To treat ultra‐smoothness, we resort to Dales‐Davie algebras. Furthermore, based on Baskakov's work, we derive explicit norm control estimates for infinite matrices with polynomial off‐diagonal decay. This is a quantitative version of Jaffard's theorem.     

Clifford Algebras of Forms of Higher Degrees

The aim of this lecture is to introduce Clifford algebras of polynomial forms of higher degrees. We recall that these algebras are in general of infinite dimension, and we give a basis depending on a given basis of the underlying vector space. We then show that, though they contain large free associative algebras, we may construct finite dimensional representations of these algebras, also called linearizations of the polynomial form. If the polynomial form is, in a certain sense, non degenerate, the dimensions of these representations are multiples of the degree of the form. In the end, we recall some results known for the special case of a binary cubic form with at least one simple zero, when explicit computations can be done: the Clifford algebra is an Azumaya algebra of rank 9 over its center, which is the algebra of functions over a cubic curve depending on the given cubic form.     

Right coideal subalgebras of Nichols algebras and the Duflo order on the Weyl groupoid

We study graded right coideal subalgebras of Nichols algebras of semisimple Yetter-Drinfeld modules. Assuming that the Yetter-Drinfeld module admits all reflections and the Nichols algebra is decomposable, we construct an injective order preserving and order reflecting map between morphisms of the Weyl groupoid and graded right coideal subalgebras of the Nichols algebra. Here morphisms are ordered with respect to right Duflo order and right coideal subalgebras are ordered with respect to inclusion. If the Weyl groupoid is finite, then we prove that the Nichols algebra is decomposable and the above map is bijective. In the special case of the Borel part of quantized enveloping algebras our result implies a conjecture of Kharchenko.     

Polynomial Identities for Tangent Algebras of Monoassociative Loops

We introduce degree n Sabinin algebras, which are defined by the polynomial identities up to degree n in a Sabinin algebra. Degree 4 Sabinin algebras can be characterized by the polynomial identities satisfied by the commutator, associator, and two quaternators in the free nonassociative algebra. We consider these operations in a free power associative algebra and show that one of the quaternators is redundant. The resulting algebras provide the natural structure on the tangent space at the identity element of an analytic loop for which all local loops satisfy monoassociativity, a ² a ≡ aa ². These algebras are the next step beyond Lie, Malcev, and Bol algebras. We also present an identity of degree 5 which is satisfied by these three operations but which is not implied by the identities of lower degree.     

Recognition of certain properties of automaton algebras

Abstract. The paper considers a new algebraic object, the completely automaton binomial algebras, which generalize certain existing classes of algebras. The author presents a classification of semigroup algebras taking into account completely automaton algebras and gives the corresponding examples. A number of standard algorithmic problems are solved for completely automaton binomial algebras: the recognition of a strict and nonstrict polynomial property, the recognition of the right and/or left finite processing, and the construction of the determining regular language for an algebra with finite processing and for monomial subalgebras of a free associative algebra and certain completely automaton algebras. For an automaton monomial algebra, the author constructs the left syzygy module of a finite system of elements and the Gröbner basis of a finitely generated left ideal; also, some algorithmic problems are solved.