Tjur's theorem

万恶的物以类聚

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

最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
7 a5 o' C6 K& P5 @; O- a3 ]小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
( @, p4 S& U  z0 Z, c这个定理的中文名字是啥呀？
5 O6 g' F1 I2 h5 z5 U" c6 N附件截图是这个定理的一些内容~

再次跪求各位代数大神帮小弟科普一下~
5 `4 y2 ?* X% Q9 n4 S2 o2 j
% L$ s2 c* x+ I$ ^! I* [$ r
4 O! v  S. q, b/ t) o" ?( H
1 h* D# N7 m. W$ O6 O1 w
3 f3 a% A5 }- m$ A( A" i  B) Q( w& f
/ I9 }! r" D/ B8 W) [