Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
& z, ~+ L' N3 m. N
1 ]0 E* Q1 y# e+ ^7 d9 o! `8 S最近在看一本The coordinate-Frree Approach to Linear Models的书。
6 N1 }/ h' Q2 @1 b. }; J0 U第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
, m7 [0 s9 z3 C4 J. ~这个定理的中文名字是啥呀？
0 d$ u" i; O; d3 E& n6 c7 B附件截图是这个定理的一些内容~

+ S7 R) F; B; c再次跪求各位代数大神帮小弟科普一下~

5 e) a5 N- u8 A

& l/ f2 K+ J. Y" O$ }! k6 z& C) P
9 s0 @( Y7 o7 e
0 |9 ]7 p9 X- \' g& @. d1 ^3 Y  R% f