Tjur's theorem

万恶的物以类聚

跪求大神帮忙科普这个定理~
1 f* Y; |3 D" @. D/ H
% n3 j, [& s  G# U* S/ H最近在看一本The coordinate-Frree Approach to Linear Models的书。
第二章中topics in linear algebra有一节介绍Tjur's theorem还有Tjur's system的内容。
0 n& V; j) j) ?5 u  i7 U小弟才疏学浅，也没有查到任何这个定理相关的知识，希望有大神能够帮忙科普一下。
这个定理的中文名字是啥呀？
& O: J! O7 O' V! O# X附件截图是这个定理的一些内容~

7 f8 C* q% B0 S3 X% s! ]再次跪求各位代数大神帮小弟科普一下~

1 n' v9 s, t; i% h+ {; E

$ D  O: A2 q! J# x. b1 o' j* s

+ U7 Z2 b* x4 ~9 `+ v$ n