Given a group [itex]G[/itex] acting on a set [itex]X[/itex] we get an equivalence relation [itex]R[/itex] on [itex]X[/itex] by [itex]xRy[/itex] iff [itex]x[/itex] is in the orbit of [itex]y[/itex].(adsbygoogle = window.adsbygoogle || []).push({});

My question is, does some form of "reciprocal" always work in the following sense: given a set [itex]X[/itex] with an equivalence relation [itex]R[/itex] defined on it, does it always exist some group [itex]G[/itex] with some action over [itex]X[/itex] such that the set of its orbits coincide with the equivalence classes?

I have thoght it, and concluded that for finite sets and groups, the cardinal of [itex]G[/itex] has to be a mĂșltiple of the cardinal of every orbit, but I can't see if it is always possible to construct such group with such an action.

Thanks in advance for any help!

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Group action and equivalence relation

**Physics Forums | Science Articles, Homework Help, Discussion**