Separable polynomials over finite dimensional algebras

In [5] it was shown that for a polynomial P of precise degree n with coefficients in an arbitrary m-ary algebra of dimension d as a vector space over an algebraically closed fields, the zeros of P together with the homogeneous zeros of the dominant part of P form a set of cardinality n^d or the cardinality of the base field. We investigate polynomials with coefficients in a d dimensional algebra A without assuming the base field k to be algebraically closed. Separable polynomials are defined to be those which have exactly n^d distinct zeros in [Ktilde] ?_k A [Ktilde] where [Ktilde] denotes an algebraic closure of k. The main result states that given a separable polynomial of degree n, the field extension L of minimal degree over k for which L ?_k A contains all nd zeros is finite Galois over k. It is shown that there is a non empty Zariski open subset in the affine space of all d-dimensional k algebras whose elements A have the following property: In the affine space of polynomials of precise degree n with coefficients in A there is a non empty Zariski open subset consisting of separable polynomials; in other polynomials with coefficients in a finite dimensional algebra are “generically” separable.     

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.     

Strong Version of the Basic Deciding Algorithm for the Existential Theory of Real Fields

Let U be a real algebraic variety in the n-dimensional affine space that is a set of all zeros of a family of polynomials of degree less than d. In the case where U is bounded (this is the main case), an algorithm of polynomial complexity is described for constructing a subset of U with the number of elements bounded from above by dⁿ that has the following property: for every s, this set has a nonempty intersection with every d-dimensional cycle with coefficients from s of the closure of the set of smooth points of dimension s of U. Bibliography: 16 titles.     

Generalized entropy in expanded semigroups and in algebras with neutral element

The complex product of (non-empty) subalgebras of a given algebra from a variety \(\mathcal{V}\) is again a subalgebra if and only if the variety \(\mathcal{V}\) has the so-called generalized entropic property. This paper is devoted to algebras with a neutral element or with a semigroup operation. We investigate relationships between the generalized entropic property and the commutativity of the fundamental operations of the algebra. In particular, we characterize the algebras with a neutral element that have the generalized entropic property. Furthermore, we show that, similarly as for n-monoids and n-groups, for inverse semigroups, the generalized entropic property is equivalent to commutativity.     

<Emphasis Type="Italic">n</Emphasis>-Tuple algebras of associative type

We study properties of n-tuple algebras of associative type. We show that the nilpotency of an n-tuple algebra of associative type is determined by the nilpotency of each element. In addition, we characterize the nilpotency of an n-tuple algebra of associative type in terms of the trace function. In the final part of the paper, we show that a homogeneously semisimple n-tuple algebra of associative type is the direct sum of two-sided ideals each of which is a homogeneously simple n-tuple algebra of associative type.     

Representation type of Jordan algebras

The problem of classification of Jordan bimodules over (non-semisimple) finite dimensional Jordan algebras with respect to their representation type is considered. The notions of diagram of a Jordan algebra and of Jordan tensor algebra of a bimodule are introduced and a mapping Qui is constructed which associates to the diagram of a Jordan algebra J the quiver of its universal associative enveloping algebra S(J). The main results are concerned with Jordan algebras of semi-matrix type, that is, algebras whose semi-simple component is a direct sum of Jordan matrix algebras. In this case, criterion of finiteness and tameness for one-sided representations are obtained, in terms of diagram and mapping Qui, for Jordan tensor algebras and for algebras with radical square equals to 0.     

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.     

Aur la vacuité du spectre d'un élément d'une algèbre\mathcal{L}\mathcal{F}

We give an example of a complete commutative unitary and semi-simple topological algebra, which is a locally convex inductive limit of an increasing sequence of Fréchet algebras ( algebra), and which contains the field (X) of rational functions; so it contains elements which have empty spectrum and therefore does not contain any character, neither continuous nor non-continuous. This unitary algebra is not a division algebra, so it contains at least one non-trivial maximal ideal; but none of its maximal ideals is closed and they all have infinite codimension. The Gelfand-Mazur Theorem remains therefore unknown for algebras.

     

Enumeration of maximal subalgebras in free restricted lie algebras

Given a finitely generated restricted Lie algebra L over the finite field \(\mathbb{F}_q \), and n ≥ 0, denote by a _n (L) the number of restricted subalgebras H ? L with \(\dim _{\mathbb{F} _q} \) L/H = n. Denote by ã _n (L) the number of the subalgebras satisfying the maximality condition as well. Considering the free restricted Lie algebra L = F _d of rank d ≥ 2, we find the asymptotics of ã _n (F _d ) and show that it coincides with the asymptotics of a _n (F _d ) which was found previously by the first author. Our approach is based on studying the actions of restricted algebras by derivations on the truncated polynomial rings. We establish that the maximal subalgebras correspond to the so-called primitive actions. This means that “almost all” restricted subalgebras H ? F _d of finite codimension are maximal, which is analogous to the corresponding results for free groups and free associative algebras.     

Harmonic functions of maximal growth: invertibility and cyclicity in Bergman spaces

In the theory of commutative Banach algebras with unit, an element generates a dense ideal if and only if it is invertible, in which case its Gelfand transform has no zeros, and the ideal it generates is the whole algebra. With varying degrees of success, efforts have been made to extend the validity of this result beyond the context of Banach algebras. For instance, for the Hardy space on the unit disk, it is known that all invertible elements are cyclic (an element is cyclic if its polynomial multiples are dense), but cyclic elements need not be invertible. In this paper, we supply examples of functions in the Bergman and uniform Bergman spaces on the unit disk which are invertible, but not cyclic. This answers in the negative questions raised by Shapiro, Nikolskii, Shields, Korenblum, Brown, and Frankfurt.

     

Spaces of Dirichlet series with the complete Pick property

We consider reproducing kernel Hilbert spaces of Dirichlet series with kernels of the form \(k\left( {s,u} \right) = \sum {{a_n}} {n^{ - s - \overline u }}\), and characterize when such a space is a complete Pick space. We then discuss what it means for two reproducing kernel Hilbert spaces to be “the same”, and introduce a notion of weak isomorphism. Many of the spaces we consider turn out to be weakly isomorphic as reproducing kernel Hilbert spaces to the Drury–Arveson space H _d ² in d variables, where d can be any number in {1, 2,...,∞}, and in particular their multiplier algebras are unitarily equivalent to the multiplier algebra of H _d ² . Thus, a family of multiplier algebras of Dirichlet series is exhibited with the property that every complete Pick algebra is a quotient of each member of this family. Finally, we determine precisely when such a space of Dirichlet series is weakly isomorphic as a reproducing kernel Hilbert space to H _d ² and when its multiplier algebra is isometrically isomorphic to Mult(H _d ² ).     

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

Conservative algebras of 2-dimensional algebras,II

In 1990 Kantor defined the conservative algebra W(n) of all algebras (i.e. bilinear maps) on the n-dimensional vector space. If n>1, then the algebra W(n) does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). We describe automorphisms, one-sided ideals, and idempotents of W(2). Also similar problems are solved for the algebra W₂ of all commutative algebras on the 2-dimensional vector space and for the algebra S₂ of all commutative algebras with trace zero multiplication on the 2-dimensional vector space.     

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.     

Left-symmetric algebras and homogeneous improper affine spheres

The nonzero level sets in n-dimensional flat affine space of a translationally homogeneous function are improper affine spheres if and only if the Hessian determinant of the function is equal to a nonzero constant multiple of the nth power of the function. The exponentials of the characteristic polynomials of certain left-symmetric algebras yield examples of such functions whose level sets are analogues of the generalized Cayley hypersurface of Eastwood–Ezhov. There are found purely algebraic conditions sufficient for the characteristic polynomial of the left-symmetric algebra to have the desired properties. Precisely, it suffices that the algebra has triangularizable left multiplication operators and the trace of the right multiplication is a Koszul form for which right multiplication by the dual idempotent is projection along its kernel, which equals the derived Lie subalgebra of the left-symmetric algebra.     

Flag Partial Differential Equations and Representations of Lie Algebras

Flag partial differential equations naturally appear in the problem of decomposing the polynomial algebra (symmetric tensor) over an irreducible module of a Lie algebra into the direct sum of its irreducible submodules. Many important linear partial differential equations in physics and geometry are also of flag type. In this paper, we use the grading technique in algebra to develop the methods of solving such equations. In particular, we find new special functions by which we are able to explicitly give the solutions of the initial value problems of a large family of constant-coefficient linear partial differential equations in terms of their coefficients. As applications to representations of Lie algebras, we find certain explicit irreducible polynomial representations of the Lie algebras $sl(n,\mathbb {F}),\;so(n,\mathbb {F})$ and the simple Lie algebra of type G ₂.     

A general framework for the polynomiality property of the structure coefficients of double-class algebras

In this paper, we build a general framework in which we give a formula that shows the form of the structure coefficients of double-class algebras and centers of group algebras. This formula allows us to give a polynomiality property for the structure coefficients of some important algebras. In particular, we re-obtain the polynomiality property of the structure coefficients in the cases of the center of the symmetric group algebra and the Hecke algebra of the pair \((\mathcal {S}_{2n},\mathcal {B}_{n}).\) We also assign a new polynomiality property for the structure coefficients of the center of the hyperoctahedral group algebra and the Hecke algebra of the pair \((\mathcal {S}_n\times \mathcal {S}_{n-1}^\mathrm{opp},{{\mathrm{diag}}}(\mathcal {S}_{n-1}))\).     

Free Skew Boolean Intersection Algebras and Set Partitions

We show that atoms of the n-generated free left-handed skew Boolean intersection algebra are in a bijective correspondence with pointed partitions of non-empty subsets of \(\{1,2,\dots , n\}\). Furthermore, under the canonical inclusion into the k-generated free algebra, where k≥n, an atom of the n-generated free algebra decomposes into an orthogonal join of atoms of the k-generated free algebra in an agreement with the containment order on the respective partitions. As a consequence of these results, we describe the structure of finite free left-handed skew Boolean intersection algebras and express several their combinatorial characteristics in terms of Bell numbers and Stirling numbers of the second kind. We also look at the infinite case. For countably many generators, our constructions lead to the ‘partition analogue’ of the Cantor tree whose boundary is the ‘partition variant’ of the Cantor set.