Subgroups between special linear groups over a ring and its subring

All the subgroups between the special linear groups SL(n, o) and SL(n, o) are described in the following two cases: 1) o is a real-closed field, and o is its algebraic closure; 2) o is a Euclidean ring, and o is its quotient field.Translated from Matematicheskie Zametki, Vol. 6, No. 3, pp. 335–345, September, 1969.     

A note on the existence of non-cyclic free subgroups in division rings

A division ring D is said to be weakly locally finite if for every finite subset ${S \subset D}$ , the division subring of D generated by S is centrally finite. It is known that the class of weakly locally finite division rings strictly contains the class of locally finite division rings. In this note we prove that every non-central subnormal subgroup of the multiplicative group of a weakly locally finite division ring contains a non-cyclic free subgroup. This generalizes the previous result by Gonçalves for centrally finite division rings.     

Semisimilarity for matrices over a division ring

Two square matrices A and B over a ring R are semisimilar, written A$\text{?}$B, if YAX=B and XBY=A for some (possibly rectangular) matrices X, Y over R. We show that if A and B have the same dimension, and if the ring is a division ring $\text{D}$, then A$\text{?}$B if and only if A² is similar to B² and rank(A^k)=rank(B^k), k=1,2,…     

The subring generated by the units in a compact ring

ABSTRACT

In this paper, the authors introduce the concept of integrally closed modules and characterize Dedekind modules and Dedekind domains. They also show that a given domain R is integrally closed if and only if a finitely generated torsion-free projective R-module is integrally closed. In addition, it is proved that any invertible submodule of a finitely generated projective module over a domain is finitely generated and projective. Also they give the equivalent conditions for Dedekind modules and Dedekind domains.

     

Parabolic subgroups of Chevalley groups over a semilocal ring

Let G be the Chevalley group over a commutative semilocal ring R which is associated with a root system . The parabolic subgroups of G are described in the work. A system =() of ideals in R ( runs through all roots of the system ) is called a net of ideals in the commutative ring R if ₊ for all those roots and for which + is also a root. A net is called parabolic if =R for >0. The main theorem: under minor additional assumptions all parabolic subgroups of G are in bijective correspondence with all parabolic nets . The paper is related to two works of K. Suzuki in which the parabolic subgroups of G are described under more stringent conditions.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 75, pp. 43–58, 1978.     

A note on non-congruence subgroups

Let Z (ω_d) be the ring of quadratic imaginary integers with discriminant d. Serre [SI] has demonstrated the existence of non-congruence subgroups of SL(2,Z (ω_d)). This note demonstrates how some of these subgroups can be found.     

A note on cosubnormal subgroups

Two subgroupsH andK of a groupG are called cosubnormal if they are both subnormal in the subgroup generated by them. In this paper some subnormality criteria for cosubnormal subgroups of nilpotent-by-abelian groups are given.     

A note on maximal subgroups of free idempotent generated semigroups over bands

We prove that all maximal subgroups of the free idempotent generated semigroup over a band B are free for all B belonging to a band variety V if and only if V consists either of left seminormal bands, or of right seminormal bands.     

Parabolic subgroups of twisted Chevalley groups over a semilocal ring

It is shown that, under minor additional assumptions, the standard parabolic subgroups of a Chevalley group G (, R) of twisted type =A_l,l odd, D_l, E₆ over a commutative semilocal ring R with involution are in one-to-one correspondence with the -invariant parabolic nets of ideals of R of type , i.e., with the sets, of ideals of R such that: (l) whenever; (2) = for all ; (3) =R for > 0. For Chevalley groups of normal types, analogous results were obtained in Ref. Zh. Mat. 1976, 10A151; 1977, 10A 301; 1978, 6A476.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 94, pp. 21–36, 1979.     

Polynomial algorithms for LP over a subring of the algebraic integers with applications to LP with circulant matrices

We show that a modified variant of the interior point method can solve linear programs (LPs) whose coefficients are real numbers from a subring of the algebraic integers. By defining the encoding size of such numbers to be the bit size of the integers that represent them in the subring, we prove the modified algorithm runs in time polynomial in the encoding size of the input coefficients, the dimension of the problem, and the order of the subring. We then extend the Tardos scheme to our case, obtaining a running time which is independent of the objective and right-hand side data. As a consequence of these results, we are able to show that LPs with real circulant coefficient matrices can be solved in strongly polynomial time. Finally, we show how the algorithm can be applied to LPs whose coefficients belong to the extension of the integers by a fixed set of square roots.     

Subnormalizer of net subgroups in the general linear group over a ring

Let be a commutative ring in which the elements of the form ²–1, * generate the unit ideal and assume that a is any D-net of ideals of of order n. It is shown that the normalizerN() of the net subgroup G() (RZhMat, 1977, 2A280) coincides with its subnormalizer in GL(n, ). For noncommutative the corresponding result is obtained under the assumptions: 1) in the elements of the form — 1, where runs through all invertible elements of the center of , generate the unit ideal, and 2) the subgroup G() contains the group of block diagonal matrices with blocks of order 2.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 14–19, 1982.