A better proof of the Goldman-Parker conjecture.
Let be a non-elementary complex hyperbolic Kleinian group. If preserves a complex line, then is -Fuchsian; if preserves a Lagrangian plane, then is -Fuchsian; is Fuchsian if is either -Fuchsian or -Fuchsian. In this paper, we prove that if the traces of all elements in are real, then is Fuchsian. This is an analogous result of Theorem V.G. 18 of B. Maskit, Kleinian Groups, Springer-Verlag, Berlin, 1988, in the setting of complex hyperbolic isometric groups. As an application...
An algorithm is given to decompose an automorphism of a finite vector space over ℤ₂ into a product of transvections. The procedure uses partitions of the indexing set of a redundant base. With respect to tents, i.e. finite ℤ₂-representations generated by a redundant base, this is a decomposition into base changes.