Free Products of Units in Algebras. II. Crossed Products

We investigate the problem of explicitly constructing non-cyclic free groups in finite-dimensional crossed products using valuation criteria. The results are applied to produce explicit free groups in division algebras generated by nilpotent groups, and symmetric free groups in group rings of finite groups in arbitrary characteristic.