A NOTE ON FREE GROUPS IN THE RING OF FRACTIONS OF SKEW POLYNOMIAL RINGS

Let L be a function field over the rationals and let D denote the skew field of fractions of L[t; sigma], the skew polynomial ring in t, over L, with automorphism sigma. We prove that the multiplicative group D(x) of D contains a free noncyclic subgroup.

Crossed products by twisted partial actions and graded algebras

For a twisted partial action e of a group G on an (associative non-necessarily unital) algebra A over a commutative unital ring k, the crossed product A x(Theta) G is proved to be associative. Given a G-graded k-algebra B = circle plus(g is an element of G) B-g with the mild restriction of homogeneous non-degeneracy, a criteria is established for B to be isomorphic to the crossed product B-1 x(Theta) G for some twisted partial action of G on B-1. The equality BgBg-1 B-g = B-g (for all g is an element of G) is one of the ingredients of the criteria, and if it holds and, moreover, B has enough local units, then it is shown that B is stably isomorphic to a crossed product by a twisted partial action of G. (c) 2008 Elsevier Inc. All rights reserved.

Commutative Moufang loops and alternative algebras

We describe bases of free commutative Moufang loop with seven generators and calculate the order of this loop. (c) 2011 Published by Elsevier Inc.

Star-group identities and groups of units

Analogous to *-identities in rings with involution we define *-identities in groups. Suppose that G is a torsion group with involution * and that F is an infinite field with char F not equal 2. Extend * linearly to FG. We prove that the unit group U of FG satisfies a *-identity if and only if the symmetric elements U(+) satisfy a group identity.

Foliations and polynomial diffeomorphisms of R(3)

Let Y = (f, g, h): R(3) -> R(3) be a C(2) map and let Spec(Y) denote the set of eigenvalues of the derivative DY(p), when p varies in R(3). We begin proving that if, for some epsilon > 0, Spec(Y) boolean AND (-epsilon, epsilon) = empty set, then the foliation F(k), with k is an element of {f, g, h}, made up by the level surfaces {k = constant}, consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek`s Jacobian Conjecture for polynomial maps of R(n).

The univalent polynomial of Suffridge as a summability kernel

A positive summability trigonometric kernel {K(n)(theta)}(infinity)(n=1) is generated through a sequence of univalent polynomials constructed by Suffridge. We prove that the convolution {K(n) * f} approximates every continuous 2 pi-periodic function f with the rate omega(f, 1/n), where omega(f, delta) denotes the modulus of continuity, and this provides a new proof of the classical Jackson`s theorem. Despite that it turns out that K(n)(theta) coincide with positive cosine polynomials generated by Fejer, our proof differs from others known in the literature.

Minimum cycle cover and Chinese postman problems on mixed graphs with bounded tree-width

Let M = (V, E, A) be a mixed graph with vertex set V, edge set E and arc set A. A cycle cover of M is a family C = {C(1), ... , C(k)} of cycles of M such that each edge/arc of M belongs to at least one cycle in C. The weight of C is Sigma(k)(i=1) vertical bar C(i)vertical bar. The minimum cycle cover problem is the following: given a strongly connected mixed graph M without bridges, find a cycle cover of M with weight as small as possible. The Chinese postman problem is: given a strongly connected mixed graph M, find a minimum length closed walk using all edges and arcs of M. These problems are NP-hard. We show that they can be solved in polynomial time if M has bounded tree-width. (C) 2008 Elsevier B.V. All rights reserved.

Involutions of RA Loops

Let L be an RA loop, that is, a loop whose loop ring over any coefficient ring R is an alternative, but not associative, ring. Let l bar right arrow l(theta) denote an involution on L and extend it linearly to the loop ring RL. An element alpha is an element of RL is symmetric if alpha(theta) = alpha and skew-symmetric if alpha(theta) = -alpha. In this paper, we show that there exists an involution making the symmetric elements of RL commute if and only if the characteristic of R is 2 or theta is the canonical involution on L, and an involution making the skew-symmetric elements of RL commute if and only if the characteristic of R is 2 or 4.

Skew-symmetric identities of octonions

Quadratic alternative superalgebras are introduced and their super-identities and central functions on one odd generator are described. As a corollary, all multilinear skew-symmetric identities and central polynomials of octonions are classified. (C) 2008 Elsevier B.V. All rights reserved.

Hyperbolicity of semigroup algebras

Let A be a finite-dimensional Q-algebra and Gamma subset of A a Z-order. We classify those A with the property that Z(2) negated right arrow U(Gamma) and refer to this as the hyperbolic property. We apply this in case A = K S is a semigroup algebra, with K = Q or K = Q(root-d). A complete classification is given when KS is semi-simple and also when S is a non-semi-simple semigroup. (c) 2008 Elsevier Inc. All rights reserved.

HYPERBOLICITY OF SEMIGROUP ALGEBRAS II

In 1996, Jespers and Wang classified finite semigroups whose integral semigroup ring has finitely many units. In a recent paper, Iwaki-Juriaans-Souza Filho continued this line of research by partially classifying the finite semigroups whose rational semigroup algebra contains a Z-order with hyperbolic unit group. In this paper, we complete this classification and give an easy proof that deals with all finite semigroups.

Group algebras of torsion groups and Lie nilpotence

Let * be an involution of a group algebra FG induced by an involution of the group G. For char F not equal 2, we classify the torsion groups G with no elements of order 2 whose Lie algebra of *-skew elements is nilpotent.

The Gelfand-Kirillov conjecture and Gelfand-Tsetlin modules for finite W-algebras

We address two problems with the structure and representation theory of finite W-algebras associated with general linear Lie algebras. Finite W-algebras can be defined using either Kostant`s Whittaker modules or a quantum Hamiltonian reduction. Our first main result is a proof of the Gelfand-Kirillov conjecture for the skew fields of fractions of finite W-algebras. The second main result is a parameterization of finite families of irreducible Gelfand-Tsetlin modules using Gelfand-Tsetlin subalgebra. As a corollary, we obtain a complete classification of generic irreducible Gelfand-Tsetlin modules for finite W-algebras. (C) 2009 Elsevier Inc. All rights reserved.

Generalized solutions of a nonlinear parabolic equation with generalized functions as initial data

In [H. Brezis, A. Friedman, Nonlinear parabolic equations involving measures as initial conditions, J. Math. Pure Appl. (9) (1983) 73-97.] Brezis and Friedman prove that certain nonlinear parabolic equations, with the delta-measure as initial data, have no solution. However in [J.F. Colombeau, M. Langlais, Generalized solutions of nonlinear parabolic equations with distributions as initial conditions, J. Math. Anal. Appl (1990) 186-196.] Colombeau and Langlais prove that these equations have a unique solution even if the delta-measure is substituted by any Colombeau generalized function of compact support. Here we generalize Colombeau and Langlais` result proving that we may take any generalized function as the initial data. Our approach relies on recent algebraic and topological developments of the theory of Colombeau generalized functions and results from [J. Aragona, Colombeau generalized functions on quasi-regular sets, Publ. Math. Debrecen (2006) 371-399.]. (C) 2009 Elsevier Ltd. All rights reserved.

Group identities on symmetric units

Let F be an infinite field of characteristic different from 2, G a group and * an involution of G extended by linearity to an involution of the group algebra FG. Here we completely characterize the torsion groups G for which the *-symmetric units of FG satisfy a group identity. When * is the classical involution induced from g -> g(-1), g is an element of G, this result was obtained in [ A. Giambruno, S. K. Sehgal, A. Valenti, Symmetric units and group identities, Manuscripta Math. 96 (1998) 443-461]. (C) 2009 Elsevier Inc. All rights reserved.