  We show that the inverse limit of the graded algebras of local unitary
invariant polynomials of finite dimensional k-partite quantum systems is free,
and give an algebraically independent generating set. The number of degree 2d
invariants in the generating set is equal to the number of conjugacy classes of
index d subgroups of a free group on k-1 generators.
