Full level structures revisited: pairs of roots of unity

We introduce a notion of full level structure for the group scheme $\mu_p \times \mu_p$, and show that scheme of full level structures is flat over $\Bbb{Z}$.