Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
4 g- J) y( W. r+ K$ b7 Q8 C0 `7 m
+ A; `7 C4 ~7 L  M) N* e, j2 x3 q最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
* Z" E. Z& D; Y, @3 Q小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~
5 o4 f$ o( C" Q# P1 h
4 ?( R" k# k" a/ m" u5 p( `再次跪求各位代数大神帮小弟科普一下~
8 S: q0 ]3 `+ T: x

" ~4 ?4 j6 c+ _8 v8 m

5 j: v) e4 D' S& R" e7 `