Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
& e! _, l7 B; [
最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
0 ]9 x( t8 i3 ?" K5 R$ @小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
$ N6 V* m& d) P" h这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~
9 s/ ]( t$ Z0 w3 C* D" J
再次跪求各位代数大神帮小弟科普一下~
) J2 p$ A. P5 t' Y0 d) o% ^2 ~

! G1 D/ M2 [9 U6 f: h, \% W& `. s; j

- Y- u. I% o1 k/ c. J% P