What is the subgroup generated by involutions? I was recently taking some notes on the Cartan-Dieudonné theorem: if $(V,q)$ is a nondegenerate quadratic space of finite dimension $n$ over a field of characteristic not $2$, then every element of the orthogonal group $O(q)$ is a product of at most $n$ reflections through nondegenerate hyperplanes.  (Moreover -- this is not the hard part! -- $n$ is sharp, as one sees by considering $-1$.)  
So that's how things go in $O(q)$.  At some point my mind wandered and I started thinking about $\operatorname{GL}(V)$ instead.  Hyperplane reflections don't seem to have the same significance here, so I started to think about involutions -- i.e., elements of order $2$ -- instead.  What is the subgroup of $\operatorname{GL}(V)$ generated by all the involutions?
Well, I was smart enough to realize that every involution has determinant $\pm 1$, so the subgroup in question is definitely contained in the subgroup of all matrices with determinant $\pm 1$ -- let's call this $\operatorname{GL}(V)^{(2)}$ -- hence usually proper.   But is it actually this whole group?  I checked one example: $\operatorname{GL}_2(\mathbb{F}_3)$ is isomorphic to $S_4$ [not even close -- but still, one can see that my conclusion is true!], which is indeed generated by its involutions.  
I didn't make much more progress than that, so I started googling.  Eventually I came across the following paper:

Gustafson, W. H.; Halmos, P. R.; Radjavi, H.
Products of involutions.
Collection of articles dedicated to Olga Taussky Todd.
Linear Algebra and Appl. 13 (1976), no. 1/2, 157–162. 

Apparently in this paper the authors prove, among other things, that for any finite-dimensional vector space over any field, any element of $\operatorname{GL}(V)^{(2)}$ is a product of at most $4$ involutions.  This is a pretty striking result, so I have some questions.
Question 1: How do you prove it?  (I can't immediately access the paper, and unfortunately the description in the MathSciNet review was not immediately illuminating to me.)
Question 2: Can this result really not have been known until 1976??  The Cartan-Dieudonné theorem was proved at the latest in $1945$, the first publication date given for Dieudonné's book on classical groups.  No one wondered about general linear groups for another $30$ years??
Question 3: In lots of generality we can take a group $G$ and ask what is the subgroup generated by its involutions.  To fix ideas, suppose that $G$ is the group of $K$-rational points of a connected linear algebraic group over a field $K$.  (Or choose whatever special case of this you like.)  Can we say something about the subgroup generated by involutions?  What about the least number $N$ of involutions so that every element of this subgroup is a product of at most $N$ involutions (if such an $N$ exists)?
 A: Maybe I can comment on Question 2.  To me the essential point is that this kind of result belongs to elementary linear algebra and basic group theory rather than to geometric algebra.  Generation of special linear groups (or slightly larger groups) by involutions probably goes back a long way and may have multiple origins, though I don't have a definitive reference handy.   (I'd probably try to ask someone like Gustafson or Djokovic rather than search the scattered literature.)
From a semi-modern viewpoint, for instance, generation of a general linear group over an arbitrary field focuses on the traditional building blocks: elementary, permutation, and diagonal matrices.    Since a one-parameter group of elementary matrices along with a suitable permutation matrix will generate a copy of SL$_2$,  generation of a special linear group just requires these two kinds of ingredients.   Here a permutation matrix is obviously a product of involutions.  On the other hand, SL$_2$ is almost simple, while its subgroup generated by involutions is obviously normal.    (To include matrices of determinant -1 is a further step.)  
Books like those by Dieudonne (and Artin) mix in further ideas arising from the geometry of a bilinear form, along with consideration of exact upper bounds on the number of involutions needed to generate any group element.   Such upper bounds for products of involutions in general linear groups may have come along later.
P.S. I used SL$_2$ subgroups in the rough sketch above just to emphasize some elementary steps for showing that the big groups in question are generated by involutions; of course, simplicity of SL$_n$ modulo its center for most fields could be used directly here, plus ad hoc arguments for the few nonsimple cases.    Then multiplying any matrix of det -1 by a diagonal involution reduces to the det 1 case.   Anyway, none of this older theory deals with an explicit upper bound on number of involutions required.
FURTHER UPDATE: Sorry to have confused matters with my offhand remarks here.  While my "essential point" is unchanged, a quick look at the paper quoted (along with other comments here) indicates that the statement of the theorem is true:   Each matrix of determinant 1 or -1 is the product of at most four involutions (exactly four if you follow their convention that an involution is an element of square 1).   I managed to make a copy of the bound journal article at the library this morning, where the methods used rely just on linear algebra.   The authors are following in a tradition where products of 2 or 3 matrix involutions have been characterized.  
The point seems to be that you work exclusively in the larger group of all matrices having determinant 1 or -1 (leaving special linear groups aside).    Here the argument involves rational canonical forms and permutation matrices having either determinant.   With this flexibility, the argument in the paper seems OK but is written down a bit loosely.   It would help to state their theorem by giving the group in question a name (there seems not to be a standard one).  Since I think first in terms of connected algebraic or Lie groups, I was too quick to interpret the theorem as applying to special linear groups.    (Like Brian I am also tempted to consider other Lie types, relying on Bruhat
decomposition and the like.)
A: You might want to check out:
D.Z. Djokovic and J. Malzan , Products of reflections in the general linear group over a division ring. Linear Algebra Appl. 28 (1979), pp. 53–62.
