Generalized Poisson brackets and lie algebras of type H in characteristic 0

The Lie algebra of Cartan type H which occurs as a subalgebra of the Lie algebra of derivations of the polynomial algebra was generalized by the first author to a class which included a subalgebra of the derivations of the Laurent polynomials . We show in this paper that these generalizations of Cartan type H algebras are isomorphic to certain generalizations of the classical algebra of Poisson brackets, and that it can be generalized further. In turn, these algebras can be recast in a form that is an adaption of a class of Lie algebras of characteristic p that was defined in 1958 be R. Block. A further generalization of these algebras is the main topic of this paper. We show when these algebras are simple, find their derivations, and determine all possible isomorphisms between two of these algebras. Received December 20, 1996; in final form September 15, 1997     

Automorphism groups of some algebras

The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra A _m,m+n is the universal enveloping algebra of the generalized Witt algebra W(m,m + n). This work was supported by 2007 Research fund of Hanyang University     

Embeddings of universal algebras into simple ones

This paper is concerned with the question which conditions imply the embeddability of an algebra of a varietyV into a simple algebra ofV. It is shown that this problem can be solved by using the concept of polynomial algebras and furthermore that polynomial algebras are in a certain sense most appropriate in order to deal with this question. The applicability of this method is exhibited by examples concerning varieties of groups and rings.Presented by L. Fuchs.     

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.     

Zero divisors in quaternion algebras

Let F be a finite field or an algebraic number field. In previous papers we have shown how to find the basic building blocks (the radical and the simple components) of a finite dimensional algebra over F in polynomial time (deterministically in characteristic zero and Las Vegas in the finite case). A finite-dimensional simple algebra A is a full matrix algebra over some not necessarily commutative extension field G of F. The problem remains to find G and an isomorphism between A and a matrix algebra over G. This, too, can be done in polynomial time for finite F. We indicate in the present paper that the problem for F = Q might be substantially more difficult. We link the problem to hard number theoretic problems such as quadratic residuosity modulo a composite number. We show that assuming the generalized Riemann hypothesis, there exists a randomized polynomial time reduction from quadratic residuosity to determining whether or not a given 4-dimensional algebra over Q has zero divisors. It will follow that finding a pair of zero divisors is at least as hard as factoring squarefree integers.     

A Basis for the Graded Identities of the Matrix Algebra of Order Two over a Finite Field of Characteristic p≠2

Let K be a finite field of characteristic p>2, and let M₂(K) be the matrix algebra of order two over K. We describe up to a graded isomorphism the 2-gradings of M₂(K). It turns out that there are only two nonisomorphic nontrivial such gradings. Furthermore, we exhibit finite bases of the graded polynomial identities for each one of these two gradings. One can distinguish these two gradings by means of the graded polynomial identities they satisfy.     

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.     

The Ring of Modules with Endo-permutation Source

In this paper we consider certain subalgebras of the Green algebra (representation algebra) of a finite group G. One such algebra is spanned by the isomorphism classes of all indecomposable modules whose source is an endo-permutation module. This algebra can be embedded into a finite direct product of Laurent polynomial rings in finitely many variables over a field. Another such algebra is spanned by the isomorphism classes of all irreducibly generated modules. When G is p-solvable then this algebra is finite-dimensional and split semisimple.R. Boltje was supported by the NSF, DMS-0200592 and 0128969. B. Külshammer was supported by the DAAD.     

Critère d’existence d’idempotent basé sur les algèbres de Rétrocroisement

We study the relationship of backcrossing algebras with mutation algebras and algebras satisfying ω-polynomial identities: we show that in a backcrossing algebra every element of weight 1 generates a mutation algebra and that for any polynomial identity f there is a backcrossing algebra satisfying f. We give a criterion for the existence of idempotent in the case of baric algebras satisfying a nonhomogeneous polynomial identity and containing a backcrossing subalgebra. We give numerous genetic interpretations of the algebraic results.     

Phase portraits of the quadratic vector fields with a polynomial first integral

In this work we classify the phase portraits of all quadratic polynomial differential systems having a polynomial first integral. IfH(x, y) is a polynomial of degreen+1 then the differential systemx′=−∂H/∂y,y′=∂H/∂x is called a Hamiltonian system of degreen. We also prove that all the phase portraits that we obtain in this paper are realizable by Hamiltonian systems of degree 2.     

Structure Theorems of Mixable Shuffle Algebras

Mixable shuffle algebras are generalizations of the well-known shuffle algebra and quasi-shuffle algebra with broad applications. In this article we study the ring theoretic structures of mixable shuffle algebras with coefficients in a field motivated by the well-known work of Radford that a shuffle algebra with rational coefficients is a polynomial algebra in Lyndon words. To consider coefficients in a field of positive characteristic p, we carefully study the Lyndon words and their p-variations. As a result, we determine the structures of a quite large class of mixable shuffle algebras by providing explicit sets of generators and relations.     

Group algebras and enveloping algebras with nonmatrix and semigroup identities

Let Kbe a field of characteristic p> 0. Denote by ω(R) the augmentation ideal of either a group algebra (R) = K[G] or a restricted enveloping algebra R= u(L) over K. We first characterize those Rfor which ω(R) satisfies a polynomial identity not satisfied by the algebra of all 2 × 2 matrices over K. Then, we examine those Rfor which U J(R) satisfies a semigroup identity (that is, a polynomial identity which can be written as the difference of two monomials).     

New classes of test polynomials of polynomial algebras

A polynomialp in a polynomial algebra over a field is called a test polynomial if any endomorphism of the polynomial algebra that fixesp is an automorphism. some classes of new test polynomials recognizing nonlinear automorphisms of polynomial algebras are given. In the odd prime characteristic case, test polynomials recognizing non-semisimple automorphisms are also constructed. Project supported by the National Natural Science Foundation of China (Grant No. 19631100) and University of Hong Kong RGC Fundable Grant 344/024/0004.     

A note on Tutte polynomials and Orlik–Solomon algebras

Let be a (central) arrangement of hyperplanes in and the dependence matroid of the linear forms . The Orlik–Solomon algebra of a matroid is the exterior algebra on the points modulo the ideal generated by circuit boundaries. The graded algebra is isomorphic to the cohomology algebra of the manifold . The Tutte polynomial is a powerful invariant of the matroid . When is a rank 3 matroid and the θ_Hi are complexifications of real linear forms, we will prove that determines . This result partially solves a conjecture of Falk.     

On a New High Dimensional Weisfeiler-Lehman Algorithm

We investigate the following problem: how different can a cellular algebra be from its Schurian closure, i.e., the centralizer algebra of its automorphism group? For this purpose we introduce the notion of a Schurian polynomial approximation scheme measuring this difference. Some natural examples of such schemes arise from high dimensional generalizations of the Weisfeiler-Lehman algorithm which constructs the cellular closure of a set of matrices. We prove that all of these schemes are dominated by a new Schurian polynomial approximation scheme defined by the m-closure operators. A sufficient condition for the m-closure of a cellular algebra to coincide with its Schurian closure is given.     

Vizing's coloring algorithm and the fan number

Most upper bounds for the chromatic index of a graph come from algorithms that produce edge colorings. One such algorithm was invented by Vizing [Diskret Analiz 3 (1964), 25–30] in 1964. Vizing's algorithm colors the edges of a graph one at a time and never uses more than Δ+µ colors, where Δ is the maximum degree and µ is the maximum multiplicity, respectively. In general, though, this upper bound of Δ+µ is rather generous. In this paper, we define a new parameter fan(G) in terms of the degrees and the multiplicities of G. We call fan(G) the fan number of G. First we show that the fan number can be computed by a polynomial‐time algorithm. Then we prove that the parameter Fan(G)=max{Δ(G), fan(G)} is an upper bound for the chromatic index that can be realized by Vizing's coloring algorithm. Many of the known upper bounds for the chromatic index are also upper bounds for the fan number. Furthermore, we discuss the following question. What is the best (efficiently realizable) upper bound for the chromatic index in terms of Δ and µ ? Goldberg's Conjecture supports the conjecture that χ′+1 is the best efficiently realizable upper bound for χ′ at all provided that P ≠ NP . © 2009 Wiley Periodicals, Inc. J Graph Theory 65: 115–138, 2010     

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.     

Canonical forms of skew polynomial rings

We consider special relations in a skew polynomial ring with the following property: every commutation relation between the elements of the ring basis and the elements of the ring of coefficients can be calculated with the help of these special relations. Such relations are called canonical forms of the skew polynomial ring. For example, the Weyl relation is a canonical form for the Weyl algebra. Skew polynomial rings with such canonical forms can be applied, for example, to the representation theory and to mathematical physics. Bibliography: 10 titles.Published in Zapiski Nauchnykh Seminarov POMI, Vol. 292, 2002, pp. 40–57.This revised version was published online in April 2005 with a corrected cover date and article title.     

On the algebra of quasi-shuffles

For any commutative algebra R the shuffle product on the tensor module T(R) can be deformed to a new product. It is called the quasi-shuffle algebra, or stuffle algebra, and denoted T ^q (R). We show that if R is the polynomial algebra, then T ^q (R) is free for some algebraic structure called Commutative TriDendriform (CTD-algebras). This result is part of a structure theorem for CTD-bialgebras which are associative as coalgebras and whose primitive part is commutative. In other words, there is a good triple of operads (As, CTD, Com) analogous to (Com, As, Lie). In the last part we give a similar interpretation of the quasi-shuffle algebra in the noncommutative setting.     

Configurations of limit cycles and planar polynomial vector fields

We show that every finite configuration of disjoint simple closed curves of the plane is topologically realizable as the set of limit cycles of a polynomial vector field. Moreover, the realization can be made by algebraic limit cycles, and we provide an explicit polynomial vector field exhibiting any given finite configuration of limit cycles.