Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
: X) P& q, ^2 e" ~$ d
最近在看一本The coordinate-Frree Approach to Linear Models的书。
1 R1 {. d( E% I1 c: E/ P% C第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
" r7 }3 l/ S, ~+ ?1 [+ S9 K5 e小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~
& i2 H0 V8 P5 h/ A- R3 s% @. f
再次跪求各位代数大神帮小弟科普一下~

: H! g  S2 e; ~' Q+ }
4 |. }- T5 ]7 X* Y) l
1 D, c1 W0 T2 _8 A

+ _! e4 N! N1 T! C