Characterizing transitive G-set actions in terms of orbits

  • Thread starter Thread starter xitoa
  • Start date Start date
  • Tags Tags
    Orbits Terms
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
10 replies · 3K views
xitoa
Messages
10
Reaction score
0

Homework Statement


A group G acts transitively on a non empty G-set S if, for all s1, s2 in S, there exists an element G in G such that g*s1 = s2. Characterize transitive G-set actions in terms of orbits. Prove your answer


Homework Equations


Transitive G-set Actions: for all s1, s2 in S, there exists a g in G such that g*s1=s2
Regular G-set Actions: 1) (gh)s = g(hs)
2) 1s = s

Orbit of S = {s' in S such that s' in gs for some g in G}


The Attempt at a Solution


Past the definitions, i don't really know anything. The problem is vague and it seems like I'm supposed to write the definition of transitive G-set actions in terms of orbits, but i don't know how to do that nor do i know how i would "prove" that.

Tips are greatly appreciated :D.
 
Physics news on Phys.org
transitive: a(bc) = (ab)c

and could i send x to itself transitively? say a(a^-1x) = (aa^-1)x?
 
oh shoot. yes that's totally wrong lol...

if a = b, b = c, then a = c.

edit: could i be sending x to the whole set of X? could i send it to the whole thing or only one element of X? I'm not sure.
 
Last edited:
the only definition i have for transitive action is transitive action on groups and I've posted it above...ahh:/
 
xitoa said:
the only definition i have for transitive action is transitive action on groups and I've posted it above...ahh:/

You already posted it in the OP... An action is transitive if for each x and y there is a g such that [itex]g\cdot x=y[/itex]. I don't know where the other things come from.

Now what does transitive mean intuitively?? Can you calculate the orbit right now??
 
oh well i thought you were asking for something other than the OP o.o

intuitively...the transitive action takes one orbit to another orbit?

the orbit should be {g*x} for x in X