Tjur's theorem

万恶的物以类聚

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

最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
  X! q  x  ]+ u% C4 G, q这个定理的中文名字是啥呀？
4 r/ t0 M6 u3 \$ c/ i7 K' h( ?附件截图是这个定理的一些内容~
( j1 L6 B# B: t; P: {  c' [6 P+ W
再次跪求各位代数大神帮小弟科普一下~
/ z  c; C# [. i- v
, c/ B3 N1 \% o& z1 o1 W
" N7 A6 @/ e. [! t  z) J' |$ a  k

- z* L, `' u, V" d0 ]. ]