Well, sorry to jump in late, but a state space is a Hilbert space, which is a complete inner product space. An inner product space is a vector space, which is, amongst other things, defined in terms of it's group structure. So at this rudimentary level, yes, you should have *seen* some group...