Register to reply

Group action and equivalence relation

by Damidami
Tags: action, equivalence, relation
Share this thread:
Dec16-12, 03:40 PM
P: 94
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].

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!
Phys.Org News Partner Science news on
Experts defend operational earthquake forecasting, counter critiques
EU urged to convert TV frequencies to mobile broadband
Sierra Nevada freshwater runoff could drop 26 percent by 2100
Dec17-12, 09:31 AM
P: 350
An equivalence relation is the same as a partition of the set into a disjoint union of subsets (the equivalence classes). Let G be the group of bijections from X to itself. Let H be the subset of G which leaves the equivalence classes invariant. Then H is a subgroup, and it acts in the way you want.
Dec17-12, 01:42 PM
P: 94
Hi Vargo,
Thanks for your reply. I think I can see your point.
By the subset of G wich leaves the equivalence classes invariant, I think you mean the maximal one with that property (as the trivial susbset of G obviously leaves the classes invariant)
Anyway it's interesting that any equivalence relation can be thought as the result of a group action, so every time I see a quotient space of any kind I can think as the result of some group acting by "gluing" some elements together.

Register to reply

Related Discussions
Equivalence relation and equivalence class Precalculus Mathematics Homework 2
Equivalence relation...? Calculus & Beyond Homework 1
Equivalence Relation Calculus & Beyond Homework 4
Prove that a relation is an equivalence relation Precalculus Mathematics Homework 4
Equivalence relation Precalculus Mathematics Homework 4