Tjur's theorem

万恶的物以类聚

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

最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
9 ?0 A- d! v8 a这个定理的中文名字是啥呀？
) |$ }  b0 f- s- \  E附件截图是这个定理的一些内容~
8 c$ C! o. ?$ R. x/ \6 h5 v" K
再次跪求各位代数大神帮小弟科普一下~
6 @" ]0 K# E  r: i9 W" [% g
2 I* Q- w' e) ~" \- b
# \: ], h/ f9 `" u% e

7 r! I' ^8 i8 D* Y& x
% m& D+ y6 P1 V2 O, r