体上の群と群上の体

摘要

体の音語{·，0，1）で体K＝〈K,·+，0，1〉に対し、K上解釈可能な群についてはよく知られている。 体屋上の代数群、つまり、一般線形群GL（n,K）の閉部分群が代表鰍である。 それは体打上群が解釈され。 すなわち、ユニバースとして集合がK~(n~2)上体の言語で定義可能で群の演算と単位元が体の言語で定義される。