Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userGalois Theory for a Class of Complete Modular Lattices
66
0
0.0
(
0
)
Authors
Alexandre A. Panin
Ask ChatGPT about the research
No Arabic abstract
We construct Galois theory for sublattices of certain complete modular lattices and their automorphism groups. A well-known description of the intermediate subgroups of the general linear group over a semilocal ring containing the group of diagonal matrices, due to Z.I.Borewicz and N.A.Vavilov, can be obtained as a consequence of this theory.
rate research
Read More
We construct Galois theory for sublattices of certain complete modular lattices and their automorphism groups. A well-known description of the intermediate subgroups of the general linear group over an Artinian ring containing the group of diagonal matrices, due to Z.I.Borewicz and N.A.Vavilov, can be obtained as a consequence of this theory.
All finite simple groups are determined with the property that every Galois orbit on conjugacy classes has size at most 4. From this we list all finite simple groups $G$ for which the normalized group of central units of the integral group ring ZG is an infinite cyclic group.
A weakly complete vector space over $mathbb{K}=mathbb{R}$ or $mathbb{K}=mathbb{C}$ is isomorphic to $mathbb{K}^X$ for some set $X$ algebraically and topologically. The significance of this type of topological vector spaces is illustrated by the fact that the underlying vector space of the Lie algebra of any pro-Lie group is weakly complete. In this study, weakly complete real or complex associative algebras are studied because they are necessarily projective limits of finite dimensional algebras. The group of units $A^{-1}$ of a weakly complete algebra $A$ is a pro-Lie group with the associated topological Lie algebra $A_{rm Lie}$ of $A$ as Lie algebra and the globally defined exponential function $expcolon Ato A^{-1}$ as the exponential function of $A^{-1}$. With each topological group, a weakly complete group algebra $mathbb{K}[G]$ is associated functorially so that the functor $Gmapsto mathbb{K}[G]$ is left adjoint to $Amapsto A^{-1}$. The group algebra $mathbb{K}[G]$ is a weakly complete Hopf algebra. If $G$ is compact, the $mathbb{R}[G]$ contains $G$ as the set of grouplike elements. The category of all real Hopf algebras $A$ with a compact group of grouplike elements whose linear span is dense in $A$ is shown to be equivalent to the category of compact groups. The group algebra $A=mathbb{R}[G]$ of a compact group $G$ contains a copy of the Lie algebra $mathcal{L}(G)$ in $A_{rm Lie}$; it also contains a copy of the Radon measure algebra $M(G,mathbb{R})$. The dual of the group algebra $mathbb{R}[G]$ is the Hopf algebra ${mathcal R}(G,mathbb{R})$ of representative functions of $G$. The rather straightforward duality between vector spaces and weakly complete vector spaces thus becomes the basis of a duality ${mathcal R}(G,mathbb{R})leftrightarrow mathbb{R}[G]$ and thus yields a new aspect of Tannaka duality.
We develop a version of the Bass-Serre theory for Lie algebras (over a field $k$) via a homological approach. We define the notion of fundamental Lie algebra of a graph of Lie algebras and show that this construction yields Mayer-Vietoris sequences. We extend some well known results in group theory to $mathbb{N}$-graded Lie algebras: for example, we show that one relator $mathbb{N}$-graded Lie algebras are iterated HNN extensions with free bases which can be used for cohomology computations and apply the Mayer-Vietoris sequence to give some results about coherence of Lie algebras.
Let $G$ be one of the classical groups of Lie rank $l$. We make a similar construction of a general extension field in differential Galois theory for $G$ as E. Noether did in classical Galois theory for finite groups. More precisely, we build a differential field $E$ of differential transcendence degree $l$ over the constants on which the group $G$ acts and show that it is a Picard-Vessiot extension of the field of invariants $E^G$. The field $E^G$ is differentially generated by $l$ differential polynomials which are differentially algebraically independent over the constants. They are the coefficients of the defining equation of the extension. Finally we show that our construction satisfies generic properties for a specific kind of $G$-primitive Picard-Vessiot extensions.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
