摘要
Let G = Spec A be an affine K-group scheme and (A) over tilde = {w is an element of A*: dim(K) A* w < infinity, dim(K) w A* < infinity}. Let <-, -> : A* x (A) over tilde K, < w, (w) over tilde > := tr(w (w) over tilde), be the trace form. We prove that G is linearly reductive if and only if the trace form is non-degenerate on A*.
- 出版日期2011-1