ABSTRACT
We prove a first part of the standard description of groups H lying between an exterior power of an elementary group and a general linear group
for a commutative ring
and
. The description uses the classical notion of a level: for every group H we find a unique ideal A of the ground ring R, which describes H.
2020 MATHEMATICS SUBJECT CLASSIFICATION:
Acknowledgements
We would like to express our sincere gratitude to our scientific adviser Nikolai Vavilov for formulating the problem and for a constant support, without which this paper would never have been written. The authors are grateful to Alexei Stepanov for carefully reading our original manuscript and for numerous remarks and corrections. Also, we would like to thank an anonymous referee for bringing our attention to the paper [Citation46].
Disclosure statement
No potential conflict of interest was reported by the author(s).
Notes
1 The restriction of the exterior square map to the group
is an isomorphism onto the elementary orthogonal group
[Citation24].
2 The same strict inclusions are still true with changing to
.
3 Recall that we consider the representation with the highest weight .
4 From root systems geometry any vertex can be initial or terminal for at most one α-path.