Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
) s' k6 J" [' ]0 i" C6 k
最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~
8 _$ s5 c8 n" n. L- k
. n3 z/ m( M; A再次跪求各位代数大神帮小弟科普一下~
* L( F4 t$ A6 {  ~! p/ |& v5 f  x% n
6 {+ D. |- R& n& _+ A4 X6 p

% S& K1 F1 U: M3 Z* U9 T4 v

+ g; Z8 N# N( `5 W/ i6 O! F$ i