Definition:Effective Group Action