Tjur's theorem

万恶的物以类聚

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

最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
& k0 Y9 {/ E6 o0 K& |小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~

* |% V( v7 V2 n1 b2 ]3 d' r再次跪求各位代数大神帮小弟科普一下~
5 {5 w4 j5 _3 }
2 N' I2 E# [& ^, @" \
3 m: x0 R' C" y$ x% c4 J% t. _
) u) l8 D# S/ C8 ^4 u% w8 u
3 f5 I3 P7 ]8 y& m/ C