  Structural properties of unitary groups over local, not necessarily
commutative, rings are developed, with applications to the computation of the
orders of these groups (when finite) and to the degrees of the irreducible
constituents of the Weil representation of a unitary group associated to a
ramified extension of finite local rings.
