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.

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.