Hyperbolic unit groups and quaternion algebras

We classify the quadratic extensions K = Q[root d] and the finite groups G for which the group ring o(K)[G] of G over the ring o(K) of integers of K has the property that the group U(1)(o(K)[G]) of units of augmentation 1 is hyperbolic. We also construct units in the Z-order H(o(K)) of the quaternion algebra H(K) = (-1, -1/K), when it is a division algebra.

Hypercentral unit groups and the hyperbolicity of a modular group algebra

We classify groups G such that the unit group U-1 (ZG) is hypercentral. In the second part, we classify groups G whose modular group algebra has hyperbolic unit groups U-1 (KG).

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.

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.

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.

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.

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.