Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~

. x" V5 _/ f9 A  o最近在看一本The coordinate-Frree Approach to Linear Models的书。
$ N" _! n0 v5 d+ G; i* d第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
' I; l4 X* G/ p5 @小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~
3 p/ M8 M0 Y& \0 k2 r
* u- O3 d. g# j1 ]% W再次跪求各位代数大神帮小弟科普一下~
/ c2 J" m: F  w7 F6 D9 L

1 l) l# I8 y! D0 |: h; \7 `

& ~0 ~/ `  ~+ F
$ q, Y/ S# q& P4 P5 y# t