7.40 (1980)

Solved

Describe the (lattice of) subgroups of a given classical matrix group over a ring which contain the subgroup consisting of all matrices in that group with coefficients in some subring (see Ju. I. Merzljakov, J. Soviet Math., 1 (1973), 571–593).

Progress

If the root system has single edges ($A_l$, $D_l$, $E_l$) and the larger ring is not quasi-algebraic over the smaller one, then it is shown that the lattice in question contains the lattice of subgroups of a free product containing one of the factors (A. V. Stepanov, J. Algebra, 324, no. 7 (2010), 1549–1557), which means that a reasonable description is unfeasible. In almost all other cases a good description was obtained in (R. A. Schmidt, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova, 94 (1979), 119–130 (Russian); Ya. N. Nuzhin, Algebra Logic, 22 (1983), 378–389; Ya. N. Nuzhin, A. V. Yakushevich, Algebra Logic, 39 (2000), 199–206; A. Stepanov, J. Algebra, 362 (2012), 12–29; Ya. N. Nuzhin, Siberian Math. J., 54, no. 1 (2013), 119–123; A. Stepanov, A. Bak, St. Petersburg Math. J., 28, no. 4 (2017), 47–61).

Comments

All comments are the responsibility of the user. Comments appearing on this page are not verified for correctness. Please keep posts mathematical and on topic. If you want to submit a proof (or a partial proof), please use the dedicated proof submission form rather than posting it in the comments.
Order by newest first or oldest first.

No comments yet. Be the first to comment.

Proof claims

Proof claims are the responsibility of the submitter. Appearance here does not mean the claim has been checked for mathematical correctness. Moderators only screen for spam, abuse, and obviously low-effort submissions.

No proof claims yet.