linear groups over associative rings
play

Linear groups over associative rings. A.V. Mikhalev Faculty of - PowerPoint PPT Presentation

Linear groups over associative rings. A.V. Mikhalev Faculty of mechanics and mathematics Moscow State University May 2013 A.V. Mikhalev Linear groups over associative rings. May 2013 1 / 23 Main definitions Definition For arbitrary


  1. Linear groups over associative rings. A.V. Mikhalev Faculty of mechanics and mathematics Moscow State University May 2013 A.V. Mikhalev Linear groups over associative rings. May 2013 1 / 23

  2. Main definitions Definition For arbitrary associative ring R with 1 the group E n ( R ) is the subgroup of the group GL n ( R ) generated by the matrices E + re ij , i � = j . Definition The group D n ( R ) is the subgroup of the group GL n ( R ) generated by all diagonal matrices. Definition The group GE n ( R ) is the subgroup of the group GL n ( R ) generated by the subgroups E n ( R ) and D n ( R ) . A.V. Mikhalev Linear groups over associative rings. May 2013 2 / 23

  3. History In 1980s, I.Z. Golubchik, A.V. Mikhalev and E.I. Zelmanov described isomorphisms of general linear groups GL n ( R ) over associative rings with 1 2 for n � 3 . In 1997, I.Z. Golubchik and A.V. Mikhalev described isomorphisms of the group GL n ( R ) over arbitrary associative rings, n � 4 . 2000–2012: extensions of these theorems for various linear groups over different types of rings. A.V. Mikhalev Linear groups over associative rings. May 2013 3 / 23

  4. History: main result Theorem (I.Z. Golubchik and A.V. Mikhalev) Let R and S be associative rings with unit, n � 4 , m � 2 and ϕ : GL n ( R ) − → GL m ( S ) be a group isomorphism. Then there exist central idempotents e and f of the rings Mat n ( R ) and Mat m ( S ) respectively, a ring isomorphism θ 1 : e Mat n ( R ) → f Mat m ( S ) , a ring anti-isomorphism θ 2 : (1 − e ) Mat n ( R ) → (1 − f ) Mat m ( S ) , and a group homomorphism χ : GE n ( R ) → Z (GL m ( S )) such that ϕ ( A ) = χ ( A )( θ 1 ( eA ) + θ 2 ((1 − e ) A − 1 )) for all A ∈ GE n ( R ) . Remark . According to Baer–Kaplansky Theorem proved by A.V. Mikhalev for modules close to free modules all isomorphisms and anti-isomorphisms of matrix rings are completely described. A.V. Mikhalev Linear groups over associative rings. May 2013 4 / 23

  5. Basic definitions of the graded rings theory Definition A ring R is called G - graded if � R = R g , g ∈ G where { R g | g ∈ G } is a system of additive subgroups of the ring R and R g R h ⊆ R gh for all g , h ∈ G . If R s R h = R sh for all s , h ∈ G , then the ring is called strongly graded . Definition Two G -graded rings R and S are called isomorphic if there exists a ring isomorphism f : R → S such that f ( R g ) ∼ = S g for all g ∈ G . A.V. Mikhalev Linear groups over associative rings. May 2013 5 / 23

  6. Basic definitions of the graded modules theory Definition A right R -module M is called G - graded if M = � M g , where g ∈ G { M g | g ∈ G } is a system of additive subgroups in M such that M h R g ⊆ M hg for all h , g ∈ G . Definition An R -linear map f : M → N of right G -graded R -modules is called a graded morphism of degree g , if f ( M h ) ⊆ N gh for all h ∈ G . The set of graded morphisms of degree g is the subgroup HOM R ( M , N ) g of the group Hom R ( M , N ) . A.V. Mikhalev Linear groups over associative rings. May 2013 6 / 23

  7. Basic definitions of the graded modules theory Definition Let � END R ( M ) := HOM R ( M , M ) g . g ∈ G Then this graded ring is called the graded endomorphism ring of the graded R -module M . Definition A graded right R -module M is called gr-free , if there exists a basis that consists of homogeneous elements. A.V. Mikhalev Linear groups over associative rings. May 2013 7 / 23

  8. Description of graded endomorphism rings Let R = � R g be an associative graded ring with 1 , M be a finitely g ∈ G generated gr-free right R -module with a basis consisting of homogeneous elements v 1 , v 2 , . . . , v n where v i ∈ M g i ( i = 1 , . . . , n ) . Then the graded endomorphism ring END R ( M ) is isomorphic to the graded matrix ring � Mat n ( R )( g 1 , . . . , g n ) = Mat n ( R ) h ( g 1 , . . . , g n ) , h ∈ G where   R g − 1 R g − 1 . . . R g − 1 hg 1 hg 2 hg n 1 1 1 . . . R g − 1 R g − 1 R g − 1   hg 1 hg 2 hg n   Mat n ( R ) h ( g 1 , . . . , g n ) = 2 2 2 . . . .  ...  . . .  . . .    . . . R g − 1 R g − 1 R g − 1 hg 1 hg 2 hg n n n n A.V. Mikhalev Linear groups over associative rings. May 2013 8 / 23

  9. An isomorphism respecting grading We introduce the following notion. Definition Let R = � R g and S = � S g be associative graded rings with 1 , g ∈ G g ∈ G Mat n ( R ) , Mat n ( S ) be graded matrix rings. A group isomorphism ϕ : GL n ( R ) − → GL m ( S ) is called an isomorphism respecting grading , if ϕ (GL n ( R ) ∩ Mat n ( R ) e ) ⊆ GL m ( S ) e and A − E ∈ Mat n ( R ) g = ⇒ ϕ ( A ) − E ∈ Mat m ( S ) g . A.V. Mikhalev Linear groups over associative rings. May 2013 9 / 23

  10. Isomorphisms of linear groups over associative graded rings Theorem (A.S. Atkarskaya, E.I. Bunina, A.V. Mikhalev, 2009) Suppose that G is a commutative group, R = � R g and S = � S g are g ∈ G g ∈ G associative graded rings with 1 , Mat n ( R ) , Mat m ( S ) are graded matrix rings, n � 4 , m � 4 , and ϕ : GL n ( R ) − → GL m ( S ) is a group isomorphism, respecting grading. Suppose that ϕ − 1 also respects grading. Then there exist central idempotents e and f of the rings Mat n ( R ) and Mat m ( S ) respectively, e ∈ Mat n ( R ) 0 , f ∈ Mat m ( S ) 0 , a ring isomorphism θ 1 : e Mat n ( R ) − → f Mat m ( S ) and a ring anti-isomorphism θ 2 : (1 − e ) Mat n ( R ) − → (1 − f ) Mat m ( S ) , both of them preserve grading, such that ϕ ( A ) = θ 1 ( eA ) + θ 2 ((1 − e ) A − 1 ) for all A ∈ E n ( R ) . Remark . Also according to Baer–Kaplansky graded Theorem proved by A.V. Mikhalev and I.N. Balaba all isomorphisms and anti-isomorphisms of graded matrix rings are completely described. A.V. Mikhalev Linear groups over associative rings. May 2013 10 / 23

  11. Stable linear groups. Basic definitions. Denote by Mat ∞ ( R ) the set of all matrices with countable number of lines and rows but with finite number of nonzero elements outside of the main diagonal and such that there exists a number n with the property that for every i � n the elements of our matrix r ii = a , a ∈ R . Definition Let A ∈ GL n ( R ) . We identify A with an element from Mat ∞ ( R ) by the following rule: A is placed into the left upper corner, and from the position ( n , n ) we place 1 on the diagonal, and 0 in all other positions. Let us set � GL( R ) = GL n ( R ) . n � 1 It is a subgroup of the group of all invertible elements of Mat ∞ ( R ) . It is called the stable linear group. A.V. Mikhalev Linear groups over associative rings. May 2013 11 / 23

  12. The stable linear groups. Basic definitions. As above, we can include into Mat ∞ ( R ) the subgroups of elementary matrices E n ( R ) . Definition Let us set � E ( R ) = E n ( R ) n � 1 ( E n ( R ) ⊆ Mat ∞ ( R ) ). It is a subgroup of the group of all invertible elements of Mat ∞ ( R ) . We call it the stable elementary group. A.V. Mikhalev Linear groups over associative rings. May 2013 12 / 23

  13. Isomorphisms of the stable linear groups over rings Li Fuan, 1994: Automorphisms of stable linear groups over arbitrary commutative rings We describe the action of a stable linear groups isomorphism on the stable elementary subgroup. Theorem (A.S. Atkarskaya, 2013) Let R and S be associative rings with 1 2 , ϕ : GL( R ) → GL( S ) be a group isomorphism. Then there exist central idempotents h and e of the rings Mat ( R ) and Mat ( S ) respectively, a ring isomorphism θ 1 : h Mat ( R ) → e Mat ( S ) and a ring antiisomorphism θ 2 : (1 − h ) Mat ( R ) → (1 − e ) Mat ( S ) such that ϕ ( A ) = θ 1 ( hA ) + θ 2 ((1 − h ) A − 1 ) for all A ∈ E ( R ) . A.V. Mikhalev Linear groups over associative rings. May 2013 13 / 23

  14. Rings where the elementary subgroup is a free multiplier in the whole linear group Theorem (V.N. Gerasimov, 1987) There exists an algebra R over a given field Λ such that GL n ( R ) = GE n ( R ) ∗ Λ ∗ H , where H is a subgroup not equal to Λ ∗ , n � 2 is a given natural number. Every such algebra is a counter example to the following two well-known hypothesis: 1 The subgroup E n ( R ) is always normal in GL n ( R ) . 2 Any automorphism of GL n ( R ) ( n � 3) is standard. A.V. Mikhalev Linear groups over associative rings. May 2013 14 / 23

  15. An analogue of Gerasimov theorem for Unitary linear groups We consider Unitary linear groups U 2 n ( R , j , Q ) over rings R with involutions j with the form Q of maximal rang. Its elementary subgroup UE 2 n ( R , j , Q ) is generated by unitary transvections . Theorem (M.V. Tsvetkov, 2013) There exists an algebra R over the field F 2 such that U 2 n ( R , j , Q ) = UE 2 n ( R , j , Q ) ∗ F ∗ 2 H , where H is a nontrivial subgroup of U 2 n ( R , j , Q ) , n � 2 is a given natural number. Now we generalize this theorem for an arbitrary field Λ . A.V. Mikhalev Linear groups over associative rings. May 2013 15 / 23

Recommend


More recommend