Full level structures revisited: Pairs of roots of unity

We introduce a notion of full level structure for the group scheme (μp×μp)/Z(μp×μp)/Z, and show that scheme of full level structures is flat over ZZ.