I vaguely recall (perhaps wrongly) that the conjecture K.Lynch alluded to (every abelian group structure arises as a Z_n*) was proven as a theorem in Daniel Shanks' book "solved & unsolved problems in number theory." -- Warren D. Smith http://RangeVoting.org <-- add your endorsement (by clicking "endorse" as 1st step)