Finite and Profinite Quantum Systems