Definition:Left Group Action