Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~

最近在看一本The coordinate-Frree Approach to Linear Models的书。
0 y2 S0 i% Z( b2 M第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
( H6 A5 I, Q7 P2 w这个定理的中文名字是啥呀？
附件截图是这个定理的一些内容~
6 z) B8 F3 Y' H* K  D
再次跪求各位代数大神帮小弟科普一下~
7 z6 g" }) \8 m
$ c" @2 n. D7 ~  }
" B( p% d( d% b$ K8 h+ ^9 S
/ s' ]& Q2 \, P. p3 C7 Y- B5 u

5 z% x/ v8 p6 X& O  O1 l