Es sei K {\displaystyle {}K} ein Körper der positiven Charakteristik p {\displaystyle {}p} , sei A {\displaystyle {}A} eine kommutative K {\displaystyle {}K} -Algebra und sei M ∈ GL r ( A ) {\displaystyle {}M\in \operatorname {GL} _{r}\!{\left(A\right)}} eine invertierbare r × r {\displaystyle {}r\times r} -Matrix mit Einträgen aus A {\displaystyle {}A} . Es sei X = ( X s t ) 1 ≤ s , t ≤ r {\displaystyle {}X=(X_{st})_{1\leq s,t\leq r}} eine Variablenmatrix und
wobei q = p e {\displaystyle {}q=p^{e}} , e ≥ 1 {\displaystyle {}e\geq 1} , eine Primzahlpotenz und X ( q ) = ( X s t q ) 1 ≤ s , t ≤ r {\displaystyle {}X^{(q)}=(X_{st}^{q})_{1\leq s,t\leq r}} ist.
Dann ist B {\displaystyle {}B} eine endliche étale A {\displaystyle {}A} -Algebra.
ein
Körper der
positiven Charakteristik
, sei 
eine kommutative
-Algebra
und sei 
eine invertierbare 
-Matrix mit Einträgen aus . Es sei 
eine Variablenmatrix und
![{\displaystyle B=A[X,(\det X)^{-1}]/(X^{(q)}-MX),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dbcd9743e4030ecafe2e6614fbe05632b128523)
, 
, eine Primzahlpotenz und 
ist.
eine endliche étale -Algebra.
