Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Isomorphisms and actions

  1. Jun 23, 2010 #1
    Hello,
    let's suppose we are given a set [itex]A[/itex], a (semi)group [itex]S[/itex] and we define a (semi)group-action [itex]t:A \times S \rightarrow A[/itex].
    Now, if I define a bijection [itex]f:A \rightarrow B[/itex], is it possible to show that there always exists some other (semi)group S' and some action [tex]t':B \times S' \rightarrow B[/tex] such that:

    [tex]\forall a \in A[/tex] and [tex]\forall s \in S[/tex]

    [tex]f(t(a,s))=t'(f(a),s')[/tex]

    for some [tex]s' \in S'[/tex]
     
    Last edited: Jun 23, 2010
  2. jcsd
  3. Jun 23, 2010 #2
    You might like to have another go at that.

    Strangenesses include:
    Do you then mean [itex]f[/itex] is just a 1-1 mapping? Onto [itex]B[/itex]?
    The rôles of set and semigroup appear to have changed places.
    Is the argument of the function on the last line intended to be in its domain?
     
  4. Jun 23, 2010 #3
    damn, I´m sorry for those mistakes. I must be very tired at this time.
    btw, I´ll try to clarify:

    *) [itex]f:A\rightarrow B[/itex] is a bijection

    **) the action of the (semi)group S onto A is [itex]t:A\times S \rightarrow A[/itex]

    ***) if [itex]s \in S[/tex] and [itex]a \in A[/tex], the expression [tex]f(t(a,s))=...[/tex] should now make sense.

    I will correct also the first post in case other readers stumble upon it.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook