IsPScheme

A scheme is called a $p$-scheme if it is $p$-valenced and its order is $p$-power. IsPScheme(R, p) returns whether R is a $p$-scheme.