Principal homogeneous spaces
for finite groups in the category of sets with groupoid action are studied and
classified. The results are applied to separable algebras, using the fundamental
theorem of Galois theory of commutative rings, which embeds the category of
separable algebras into the category of sets on which a certain profinite groupoid
acts.