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.

A family of Schroeder-Bernstein type theorems for Banach spaces

Motivated by a characterization of the complemented subspaces in Banach spaces X isomorphic to their squares X-2, we introduce the concept of P-complemented subspaces in Banach spaces. In this way, the well-known Pelczynski`s decomposition method can be seen as a Schroeder-Bernstein type theorem. Then, we give a complete description of the Schroeder-Bernstein type theorems for this new notion of complementability. By contrast, some very elementary questions on P-complementability are refinements of the Square-Cube Problem closely connected with some Banach spaces introduced by W.T. Gowers and B. Maurey in 1997. (C) 2007 Elsevier Inc. All rights reserved.

Some Schroeder-Bernstein type theorems for Banach spaces

We first introduce the notion of (p, q, r)-complemented subspaces in Banach spaces, where p, q, r is an element of N. Then, given a couple of triples {(p, q, r), (s, t, u)} in N and putting Lambda = (q + r - p)(t + u - s) - ru, we prove partially the following conjecture: For every pair of Banach spaces X and Y such that X is (p, q, r)-complemented in Y and Y is (s, t, u)-complemented in X, we have that X is isomorphic Y if and only if one of the following conditions holds: (a) Lambda not equal 0, Lambda divides p - q and s - t, p = 1 or q = 1 or s = 1 or t = 1. (b) p = q = s = t = 1 and gcd(r, u) = 1. The case {(2, 1, 1), (2, 1,1)} is the well-known Pelczynski`s decomposition method. Our result leads naturally to some generalizations of the Schroeder-B em stein problem for Banach spaces solved by W.T. Gowers in 1996. (C) 2007 Elsevier Inc. All rights reserved.

Bicyclic units, Bass cyclic units and free groups

Let G be a finite group and ZG its integral group ring. We show that if alpha is a nontrivial bicyclic unit of ZG, then there are bicyclic units beta and gamma of different types, such that and are non-abelian free groups. In the case when G is non-abelian of order coprime to 6 we prove the existence of a bicyclic unit u and a Bass cyclic unit v in ZG, such that < u(m), v > is a free non-abelian group for all sufficiently large positive integers m.

INVOLUTIONS AND FREE PAIRS OF BASS CYCLIC UNITS IN INTEGRAL GROUP RINGS

Let ZG be the integral group ring of the finite nonabelian group G over the ring of integers Z, and let * be an involution of ZG that extends one of G. If x and y are elements of G, we investigate when pairs of the form (u(k,m)(x*), u(k,m)(x*)) or (u(k,m)(x), u(k,m)(y)), formed respectively by Bass cyclic and *-symmetric Bass cyclic units, generate a free noncyclic subgroup of the unit group of ZG.

BASS CYCLIC UNITS AS FACTORS IN A FREE GROUP IN INTEGRAL GROUP RING UNITS

Marciniak and Sehgal showed that if u is a non-trivial bicyclic unit of an integral group ring then there is a bicyclic unit v such that u and v generate a non-abelian free group. A similar result does not hold for Bass cyclic units of infinite order based on non-central elements as some of them have finite order modulo the center. We prove a theorem that suggests that this is the only limitation to obtain a non-abelian free group from a given Bass cyclic unit. More precisely, we prove that if u is a Bass cyclic unit of an integral group ring ZG of a solvable and finite group G, such that u has infinite order modulo the center of U(ZG) and it is based on an element of prime order, then there is a non-abelian free group generated by a power of u and a power of a unit in ZG which is either a Bass cyclic unit or a bicyclic unit.

ALTERNATING UNITS AS FREE FACTORS IN THE GROUP OF UNITS OF INTEGRAL GROUP RINGS

Let G be a group of odd order that contains a non-central element x whose order is either a prime p >= 5 or 3(l), with l >= 2. Then, in U(ZG), the group of units of ZG, we can find an alternating unit u based on x, and another unit v, which can be either a bicyclic or an alternating unit, such that for all sufficiently large integers m we have that < u(m), v(m)> = < u(m)> * < v(m)> congruent to Z * Z.

The lower central and derived series of the braid groups of the projective plane

In this paper, we determine the lower central and derived series for the braid groups of the projective plane. We are motivated in part by the study of Fadell-Neuwirth short exact sequences, but the problem is interesting in its own right. The n-string braid groups B(n)(RP(2)) of the projective plane RP(2) were originally studied by Van Buskirk during the 1960s. and are of particular interest due to the fact that they have torsion. The group B(1)(RP(2)) (resp. B(2)(RP(2))) is isomorphic to the cyclic group Z(2) of order 2 (resp. the generalised quaternion group of order 16) and hence their lower central and derived series are known. If n > 2, we first prove that the lower central series of B(n)(RP(2)) is constant from the commutator subgroup onwards. We observe that Gamma(2)(B(3)(RP(2))) is isomorphic to (F(3) X Q(8)) X Z(3), where F(k) denotes the free group of rank k, and Q(8) denotes the quaternion group of order 8, and that Gamma(2)(B(4)(RP(2))) is an extension of an index 2 subgroup K of P(4)(RP(2)) by Z(2) circle plus Z(2). As for the derived series of B(n)(RP(2)), we show that for all n >= 5, it is constant from the derived subgroup onwards. The group B(n)(RP(2)) being finite and soluble for n <= 2, the critical cases are n = 3, 4. We are able to determine completely the derived series of B(3)(RP(2)). The subgroups (B(3)(RP(2)))((1)), (B(3)(RP(2)))((2)) and (B(3)(RP(2)))((3)) are isomorphic respectively to (F(3) x Q(8)) x Z(3), F(3) X Q(8) and F(9) X Z(2), and we compute the derived series quotients of these groups. From (B(3)(RP(2)))((4)) onwards, the derived series of B(3)(RP(2)), as well as its successive derived series quotients, coincide with those of F(9). We analyse the derived series of B(4)(RP(2)) and its quotients up to (B(4)(RP(2)))((4)), and we show that (B(4)(RP(2)))((4)) is a semi-direct product of F(129) by F(17). Finally, we give a presentation of Gamma(2)(B(n)(RP(2))). (C) 2011 Elsevier Inc. All rights reserved.

Periodic geodesics and geometry of compact Lorentzian manifolds with a Killing vector field

We study the geometry and the periodic geodesics of a compact Lorentzian manifold that has a Killing vector field which is timelike somewhere. Using a compactness argument for subgroups of the isometry group, we prove the existence of one timelike non self-intersecting periodic geodesic. If the Killing vector field is nowhere vanishing, then there are at least two distinct periodic geodesics; as a special case, compact stationary manifolds have at least two periodic timelike geodesics. We also discuss some properties of the topology of such manifolds. In particular, we show that a compact manifold M admits a Lorentzian metric with a nowhere vanishing Killing vector field which is timelike somewhere if and only if M admits a smooth circle action without fixed points.

CLASSIFICATION OF SUBALGEBRAS OF THE CAYLEY ALGEBRA OVER A FINITE FIELD

We classify all unital subalgebras of the Cayley algebra O(q) over the finite field F(q), q = p(n). We obtain the number of subalgebras of each type and prove that all isomorphic subalgebras are conjugate with respect to the automorphism group of O(q). We also determine the structure of the Moufang loops associated with each subalgebra of O(q).

SIGMA THEORY AND TWISTED CONJUGACY CLASSES

Using Sigma theory we show that for large classes of groups G there is a subgroup H of finite index in Aut(G) such that for phi is an element of H the Reidemeister number R(phi) is infinite. This includes all finitely generated nonpolycyclic groups G that fall into one of the following classes: nilpotent-by-abelian groups of type FP(infinity); groups G/G `` of finite Prufer rank; groups G of type FP(2) without free nonabelian subgroups and with nonpolycyclic maximal metabelian quotient; some direct products of groups; or the pure symmetric automorphism group. Using a different argument we show that the result also holds for 1-ended nonabelian nonsurface limit groups. In some cases, such as with the generalized Thompson`s groups F(n,0) and their finite direct products, H = Aut(G).

Involutions and free pairs of bicyclic units in integral group rings

If * : G -> G is an involution on the finite group G, then * extends to an involution on the integral group ring Z[G] . In this paper, we consider whether bicyclic units u is an element of Z[G] exist with the property that the group < u, u*> generated by u and u* is free on the two generators. If this occurs, we say that (u, u*)is a free bicyclic pair. It turns out that the existence of u depends strongly upon the structure of G and on the nature of the involution. One positive result here is that if G is a nonabelian group with all Sylow subgroups abelian, then for any involution *, Z[G] contains a free bicyclic pair.

Cantor-Bernstein Sextuples for Banach Spaces

Let X and Y be Banach spaces isomorphic to complemented subspaces of each other with supplements A and B. In 1996, W. T. Gowers solved the Schroeder-Bernstein (or Cantor-Bernstein) problem for Banach spaces by showing that X is not necessarily isomorphic to Y. In this paper, we obtain a necessary and sufficient condition on the sextuples (p, q, r, s, u, v) in N with p + q >= 1, r + s >= 1 and u, v is an element of N*, to provide that X is isomorphic to Y, whenever these spaces satisfy the following decomposition scheme A(u) similar to X(P) circle plus Y(q) B(v) similar to X(r) circle plus Y(s). Namely, Phi = (p - u)(s - v) - (q + u)(r + v) is different from zero and Phi divides p + q and r + s. These sextuples are called Cantor-Bernstein sextuples for Banach spaces. The simplest case (1, 0, 0, 1, 1, 1) indicates the well-known Pelczynski`s decomposition method in Banach space. On the other hand, by interchanging some Banach spaces in the above decomposition scheme, refinements of the Schroeder-Bernstein problem become evident.

Locally nilpotent groups of units in tiled rings

We consider locally nilpotent subgroups of units in basic tiled rings A, over local rings O which satisfy a weak commutativity condition. Tiled rings are generalizations of both tiled orders and incidence rings. If, in addition, O is Artinian then we give a complete description of the maximal locally nilpotent subgroups of the unit group of A up to conjugacy. All of them are both nilpotent and maximal Engel. This generalizes our description of such subgroups of upper-triangular matrices over O given in M. Dokuchaev, V. Kirichenko, and C. Polcino Milies (2005) [3]. (C) 2010 Elsevier Inc. 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.