Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
8 ?+ j* p* l7 Z. z* U
最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
这个定理的中文名字是啥呀？
& ?5 p# J4 i- O( k附件截图是这个定理的一些内容~
4 `4 h# ?( b- J9 ?( K
再次跪求各位代数大神帮小弟科普一下~

( Z7 t) B5 v% q& {
- V% t- x; A9 L% |
1 F% P4 ^: S. s2 U
9 Z" k7 r) d; R7 n/ n4 _* f
, |/ H& b5 T* j1 k