An algebraically independent generating set of the algebra of local unitary invariants

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.