Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
% g( L2 L$ p# C! r( L  a4 z! O
最近在看一本The coordinate-Frree Approach to Linear Models的书。
, y! z6 B  q' }, Q  D第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
" `3 p1 k/ ~/ `; A3 X7 N这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~

6 B1 d' c1 M# w- h! f* U/ [$ ~* }再次跪求各位代数大神帮小弟科普一下~
3 L! c5 l' y; C/ }8 f* m: [7 U
* \0 u6 U" F7 A7 G8 l3 j& X
2 ?3 V) \( w, Y1 H( K9 t


' S9 r/ |7 M7 g