I don't understand the definition of . If a is a fixed point of G, then g.a=a for all g. So what is for
Okay, given a function for a group action of the group G acting on a set A (with a fixed point a of A): . One definition I have for the kernal is . But the definition in the group action section is that . Are these somehow equivalent? I don't see it.