Schur multiplier of finite group is finite and exponent of Schur multiplier divides group order

From Groupprops

Statement

Let G be a finite group. Then the Schur multiplier M(G) of G is finite, and its exponent divides the order of G.

Proof

Let n be the order of G.

We show that any 2-cocycle for the action of G on C* is cohomologous (viz, a coboundary times) a 2-cocycle with values in the nth roots of unity. To see this let α be a 2-cocycle α:G×GC*. Then:

α(x,y)α(xy,z)=α(x,yz)α(y,z)

We now take the product over all xG. We get:

xGα(x,y)α(xy,z)=xGα(x,yz)α(y,z)

Set t(y)=xGα(x,y). The above then simplifies to:

t(y)t(z)=t(yz)α(y,z)n

For any xG choose g(x)C* such that g(x)n=t(x)1. Then the coboundary g is the map (x,y)g(xy)/g(x)g(y) and we can easily see that β=(g)α is a 2-cocycle such that β(x,y)n=1 for all x,yG. This completes the proof.