We investigate the problem of explicitly constructing non-cyclic free group
s in finite-dimensional crossed products using valuation criteria. The resu
lts are applied to produce explicit free groups in division algebras genera
ted by nilpotent groups, and symmetric free groups in group rings of finite
groups in arbitrary characteristic. (C) 2000 Academic Press.