Talk:Frobenius splitting