  In this paper we study the algebraic structure of $\omega$-stable bilinear
maps, arbitrary rings and nilpotent groups. We will also provide rather
complete structure theorems for the above structures in the finite Morley rank
case.
