I know that the Heisenberg group { x,y  [x,[x,y]]=[y,[x,y]]=1 } is free nilpotent; what about the higher dimensional ones? Do the higer dimensional Heisenberg groups have nice presentations? By higher dimensional Heisenberg groups I mean nxn upper triangular matrices with integral entries. Thanks.

3$\begingroup$ What do you mean by 'Heisenberg groups'? Upper triangular matrices with integral entries and ones along the diagonal? $\endgroup$ – Mariano SuárezÁlvarez Mar 1 '10 at 22:56

$\begingroup$ It would be nice to give faithful representations of the free nilpotent groups in GL(n,Z) for minimal n. GAP's polycyclic package can very quickly produce linear representations, but I'm not sure if they are minimal, and the basis chosen is somewhat difficult for humans. As a specific version, the free group of rank 2 and class 3 is represented in dimension 6 (which I believe is the minimal dimension, by easy counting). $\endgroup$ – Jack Schmidt Mar 2 '10 at 3:26

3$\begingroup$ There is no free nilpotent group; there are instead e.g. free kstep nilpotent groups. So in asking your question, you should figure out what the degree of nilpotency would be (i.e. the value of k). Then it should be clear that the Heisenberg groups are not free kstep nilpotent. In particular, if you look at the ranks of the associated graded (quotients of successive terms in the lower central series), the ranks for the free kstep nilpotent group grow according to Hall's formula. In the Heisenberg case they get smaller by the end; I think the last term has rank 1 (the upperright corner)! $\endgroup$ – Tom Church Mar 2 '10 at 17:07
Let $U_n$ be the group of upper triangular integer matrices of size $n$ by $n$ with ones on the diagonal. Then $U_n$ is generated by the elements $x_i$, $i=1,...,n1$, with Serre relations $$ [x_i,[x_i,x_{i+1}]]=[x_{i+1},[x_i,x_{i+1}]]=1, $$ and $[x_i,x_j]=1$ if $ij\ge 2$ (EDIT: one needs additional relations, see below). Indeed, the group $G_n$ generated in this way maps surjectively to $U_n$ by $x_i\mapsto 1+E_{i,i+1}$, and one can check that this map is injective (EDIT: with additional relations) by writing every element of $G_n$ as an ordered product of powers of $x_{ij}:=[x_i[x_{i+1}...x_j]]$, $i\le j$. The corresponding groups over $\Bbb Z/m\Bbb Z$ are then obtained by adding the relations $x_{ij}^m=1$.
EDIT: As Jack kindly pointed out, I erroneously ignored the treacherous 2torsion. According to Theorem 1 of the paper
D. Biss, S. Dasgupta, "A presentation for the unipotent groups over rings with $1$", J. of Algebra, v. 237, pp.691707, 2001,
the above statements are correct over $\Bbb Z/m\Bbb Z$ when $m$ is an odd integer. In general (i.e. for any integer $m$, including $m=2$ and $m=0$), it suffices to add the relation $$ [[x_i,x_{i+1}],[x_{i+1},x_{i+2}]]=1 $$ for $i=1,...,n3$. Moreover, over $\Bbb Z/m\Bbb Z$ with $m\ne 0$ it is enough to impose the relations $x_i^m=1$ (the relations $x_{ij}^m=1$ will then follow).

$\begingroup$ For n=3, this map is not injective. You mean the group generated by x,y,z subject to the relations [x,z], [x,[x,y]], [y,[x,y]], [z,[y,z]], [y,[y,z]], right? The group G3/γ5(G3) (of nilpotency class 4) has 2torsion. Maybe you also need to enforce a nilpotency class condition? $\endgroup$ – Jack Schmidt Mar 2 '10 at 3:40
The higher dimensional Heisenberg groups are the matrix groups G(V,R,f) = { [ 1, x, z ; 0, 1, y ; 0, 0, 1] : x,y in V, z in R } where V is an Rmodule, R is a ring, and f is an alternating Rbilinear form on V. Typically V is a free Rmodule, and R is a field or the integers, and f is a block diagonal matrix with blocks [0,1;1,0]. Sometimes V is just called a symplectic space over R.
The group has a normal series 1 ≤ ⟨ z: z in R ⟩ ≤ ⟨ y,z : y in V, z in R ⟩ ≤ G. This gives a very nice presentation of the group as ⟨ x,y,z : [x,y] = f(x,y), [x,z] = [y,z] = 1 ⟩ where the relations from V (for various "x", and also for various "y") and R (for various "z") are implicitly added.
For instance taking V free of rank 2 over R=Z, you get ⟨ x1, x2, y1, y2, z : [ x1, y1 ] = [ x2, y2 ] = z, [ x1, x2 ] = [ y1, y2 ] = [ z, x1 ] = [ z, x2 ] = [ z, y1 ] = [ z, y2 ] = [ x1, y2 ] = [ x2, y1 ] = 1 ⟩. This is a very pretty presentation, but is not usually "free". Way too many things commute.
However, these types of groups are very important. When R=Z/pZ, these are the extraspecial groups of exponent p. Rather than "free products" they are "central products".
These form reasonably nice examples of justnonabelian groups, since V can be a fairly arbitrary Rmodule as long as R is Z/pZ.