Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
+ f# U) A2 }( G- ?
; }& \1 ]) k2 w' H+ L最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
! U' _6 T1 W3 H( ^& U" `这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~
4 I0 ^! e  d& m6 v" U' U) Q
再次跪求各位代数大神帮小弟科普一下~

$ W4 f/ t+ j" n1 b
! F0 k- L' l) ?1 r$ e7 }8 w/ j/ i