If the field F is the field of real or complex numbers, then the special unitary group SU(n,F) is a Lie group.
... for Chris Sterritt (http://users.erols.com/csterrit/) Luca Cardelli (http://www.luca.demon.co.uk/) Jérôme Feret (http://www.di.ens.fr/~feret/) WojPob! ...