Question : Let p be a prime number. Let G be a ﬁnite group of elements. Let S be a ﬁnite set having N elements and assume that gcd( p , N ) = 1. Assume that G acts of S. Prove that G has a ﬁxed point in S.

Answer : It is possible to prove that .

S must be partitioned such that divides .

Because p is prime, S must be partitioned into pieces of for some

But we know that gcd( p , N ) = 1. Therefore, G must have at least one fixed element. Else, we get a contradiction that is or doesn't divide .

I'm wondering if my argument is sufficient.

I like math, but I don't have the spirit of a mathematician so I'm a little insecure. Thanks for your time.