Prefer a chat interface with context about you and your work?
p-BASIS OF A REGULAR SEMI-LOCAL RING
For a Frobenius-Sandwich of regular semi-local rings R ⊂ R ⊂ R p , R/R has a p-basis if and only if R has constant rank as R -module.