Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
8 }: X$ j, s" i) e" Y$ e" W
1 C- K& C, w+ e  Y( b) Y4 ~6 c最近在看一本The coordinate-Frree Approach to Linear Models的书。
  d  a( ~2 {- \第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
8 G5 N2 G1 X) g6 q小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~

再次跪求各位代数大神帮小弟科普一下~
9 f$ i( t$ w+ k
3 P' M8 e" C: @, |* l8 e% c

! [( W5 w. R2 _( O4 P