Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
) i- h7 P) }4 w" K, M9 h; ], {' t8 O
最近在看一本The coordinate-Frree Approach to Linear Models的书。
0 z; `+ c- _; s; a: c$ ?第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
( d. L  {! I" \  K; E; b% Y3 ^这个定理的中文名字是啥呀？
9 m' c( d1 }8 |附件截图是这个定理的一些内容~

再次跪求各位代数大神帮小弟科普一下~

$ t3 R1 a( j! L' w4 U
$ V. [, D3 r/ g; ]" H* k0 J5 E


$ D4 b9 q0 i7 H& i$ ]