Abstract
Let G = SpecA be an affine K-group scheme and à = {w ∈ A*: dim K A*·w < ∞, dim K w· A* < ∞}. Let 〈−,−〉: A* × Ã → K, 〈w, \( \tilde w \)〉:=tr(w~w), be the trace form. We prove that G is linearly reductive if and only if the trace form is non-degenerate on A*.
Similar content being viewed by others
References
Larson, R. G., Sweedler, M. E.: An associative orthogonal bilinear form for Hopf algebras. Amer. J. Math., 91, 75–93 (1969)
Murray, W.: Bilinear forms on Frobenius algebras. J. Algebra, 293(1), 89–101 (2005)
Sweedler, M. E.: Hopf Algebras, Mathematics Lecture Note Series 44, Addison-Wesley, New York, 1969
Álvarez, A., Sancho, C., Sancho, P.: Algebra schemes and their representations. J. Algebra, 296(1), 110–144 (2006)
Álvarez, A., Sancho, C., Sancho, P.: Reynolds operator. arXiv: math/0611311v5 [math.AG] (2009)
Author information
Authors and Affiliations
Corresponding author
Additional information
The first and the second authors are partially supported by Junta de Extremadura and FEDER funds
Rights and permissions
About this article
Cite this article
Álvarez, A., Sancho, P. & Sancho, C. A characterization of linearly semisimple groups. Acta. Math. Sin.-English Ser. 27, 185–192 (2011). https://doi.org/10.1007/s10114-011-8658-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10114-011-8658-1