Homomorphisms of Lie Groups

Lie groups are very important objects in algebra, topology and geometry, as it is naturally endowed with two special structures: the algebraic structure of group and the geometric structure of differential manifold. Hence, it is quite meaningful to better know the structure of Lie groups and the actions, and the transformations between them. Two specific theorems about Lie groups and their homomorphism and Lie homomorphism are proved in this paper. First, the fact that there does not exist a surjective Lie group homomorphism between and is introduced. This is done by first having a trial of constructing Lie group surjective homomorphism but fails. Next, this result is further proved by applying topological method that to construct a covering map between and , followed by computing the fundamental group of . Finally, by applying that is a simple group, the fact that there does not exist a surjective group homomorphism between and is demonstrated, together with the statement that is a simple group.

1. Symmetries of vector spaces: 1.1. What is a symmetry? 1.2. Distance is fundamental 1.3. Groups of symmetries 1.4. Bilinear forms and symmetries of spacetime 1.5. Putting the pieces together 1.6. A broader view: Lie groups 2. Complex numbers, quaternions and geometry: 2.1. Complex numbers 2.2. Quaternions 2.3. The geometry of rotations of R3 2.4. Putting the pieces together 2.5. A broader view: octonions 3. Linearization: 3.1. Tangent spaces 3.2. Group homomorphisms 3.3. Differentials 3.4. Putting the pieces together 3.5. A broader view: Hilbert's fifth problem 4. One-parameter subgroups and the exponential map: 4.1. One-parameter subgroups 4.2. The exponential map in dimension one 4.3. Calculating the matrix exponential 4.4. Properties of the matrix exponential 4.5. Using exp to determine L(G) 4.6. Differential equations 4.7. Putting the pieces together 4.8. A broader view: Lie and differential equations 4.9. Appendix on convergence 5. Lie algebras: 5.1. Lie algebras 5.2. Adjoint maps { big `A' and small `a' 5.3. Putting the pieces together 5.4. A broader view: Lie theory 6. Matrix groups over other fields: 6.1. What is a field? 6.2. The unitary group 6.3. Matrix groups over finite fields 6.4. Putting the pieces together 6.5. A broader view of finite groups of Lie type and simple groups Appendix I. Linear algebra facts Appendix II. Paper assignment used at Mount Holyoke College Appendix III. Opportunities for further study Solutions to selected problems Bibliography.

On the structure of finite coverings of compact connected groups

Let K be a commutative field and let V be an n-dimensional vector space over K. We denote by L(V) the ring of all K-linear endomorphisms of V into itself. A subring of L(V) is always assumed to contain the unit element of L(V), but it need not be a vector subspace of the K-algebra L(V). Suppose now that A is a subring of L(V). Then we may consider L(V) as a left or a right A-module. We may also consider V as a left A-module, i.e. if x ∈ V and if f ∈ A then we get the image element f(x) in V. If we choose a basis for V over K then we get the associated matrix representation of L(V). So in this way L(V) is identified with the full matrix ring Mn(K), and in this way the study of subrings of L(V) can be reduced to the study of subrings of Mn(K).

In this chapter, we introduce the reader to the homology theory for algebras known as cyclic homology. As we shall see in the next section, cyclic homology may be viewed as the “linearization” of K-theory, in the same sense in which the matrix ring M n (R) is the “linearization” of the general linear group GL(n, R). For motivation, it is useful to think of the case where the ring R is ℝ or ℂ. Then GL(n, R)is a Lie group, and the space BGL(n, R)+ giving rise to the higher K-groups is by its construction an H-space whose homology agrees with the homology of this Lie group (never mind for the moment that we are forgetting the topology!). On the other hand, one of the basic principles of Lie theory is that the best way to study Lie groups (which are “non-linear” objects) is often by way of their Lie algebras (which can be studied using linear algebra). For example, it is a famous result that for any compact Lie group G with Lie algebra g, the topological cohomology H●(G;ℝ) (here we are just thinking of G as a space and ignoring the group structure) is canonically isomorphic to the Lie algebra cohomology H●(g;ℝ), which can at least in principle be computed using only finite-dimensional linear algebra. This suggests that some construction with the Lie algebra M n (R) of GL(n, R)ought to yield a reasonable approximation to the K-theory of R, at least in the limit as n → ∞. While the actual construction of cyclic homology and of the Chern character which relates it to K-theory is a bit roundabout, this philosophy turns out to be basically correct.KeywordsExact SequenceCommutative RingHomology TheoryChern CharacterCyclic HomologyThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Let (M be a group with unit element e. An element g C (M is a k-th root of unity, for some integer ki ? 2, if gk e. If, in addition, gi j e for all j 1,2, 2 , Ic-i, then g is a primitive k-th root. The purpose of this paper is to show that, when (M is a compact connected Lie group, the structure of primitive roots of unity is, to a considerable extent, determined by the topology of (M and hence is independent of the algebraic structure on (M. Our approach will be, instead of considering only Lie groups, to study a larger class of objects. By an H-manifold we shall mean a triple (M. m, e) where M is a compact connected topological manifold without boundary, e C M, and m: M X M -> M is a map such that mr(x, e) rm(e,x) ==x for all xC M. Define in1: M --VI by m, (x) ==x and, for 7A>2, define Mk(X) m (X, mk-l (X) ). A primitive 1-th root of unity in the H-manifold (M, m, e) is a point x C M such that mk(x) = e but mj (x) 7& e for all j < k. We will studyprimitive roots of unity in this setting. We remark that the subject is of interest, independent of its application to Lie groups. Recent results by Hilton, Belfi [1], Morgan [6], and Zabrodsky produce many new classes of H-manifolds which are not homeomorphic to any Lie group or even, in some cases, of the same homotopy type as any Lie group. We shall show that the existence of primitive roots of unity in an Hmanifold (M, m, e) is independent of the choice of the map m in the sense that:

In this paper we continue our study of right Johns rings, that is, right Noetherian rings in which every right ideal is an annihilator. Specifically we study strongly right Johns rings, or rings such that every n × n n \times n matrix ring R n {R_n} is right Johns. The main theorem (Theorem 1.1) characterizes them as the left FP {\text {FP}} -injective right Noetherian rings, a result that shows that not all Johns rings are strong. (This first was observed by Rutter for Artinian Johns rings; see Theorem 1.2.) Another characterization is that all finitely generated right R R -modules are Noetherian and torsionless, that is, embedded in a product of copies of R R . A corollary to this is that a strongly right Johns ring R R is preserved by any group ring R G RG of a finite group (Theorem 2.1). A strongly right Johns ring is right F P F FPF (Theorem 4.2).

In this paper we prove isomorphisms between 5 Lie groups (of arbitrary dimension and fixed signatures) in Clifford algebra and classical matrix Lie groups - symplectic, orthogonal and linear groups. Also we obtain isomorphisms of corresponding Lie algebras.

On the Schröder–Bernstein property for modules

We study classical right quotient rings and ordinary extensions of various kinds of 2-primal rings, constructing examples for situations that raise naturally in the process. We show: (1) Let R be a right Ore ring with P(R) left T-nilpotent. Then Q is a 2-primal local ring with P(Q)=J(Q) = {ab-1 ∈ Q | a ∈ P(R), b ∈ C(0)} if and only if C(0)=C(P(R))=R∖P(R), where Q is the classical right quotient ring of R. (2) Let R be a right Ore ring. Then R[x] is a domain whose classical right quotient ring is a division ring if and only if R is a right p.p. ring with C(P(R))=R∖P(R). As a consequence, if R is a right Noetherian ring, then R[[x]] is a domain whose classical right quotient ring is a division ring if and only if R[x] is a domain whose classical right quotient ring is a division ring if and only if R is a right p.p. ring with C(P(R))=R∖P(R).

Almost slender rings and compact rings

In 2002, Anderson and Dumitrescu introduced [Formula: see text]-Noetherian rings, a significant advancement in ring theory. Later, in 2018, Bennis and El Hajoui expanded on this by introducing two new classes of rings that generalize the concept of coherent rings: [Formula: see text]-coherent rings, where every finitely generated ideal is [Formula: see text]-finitely presented, and [Formula: see text]-[Formula: see text]-coherent rings, where every [Formula: see text]-finite ideal is [Formula: see text]-finitely presented. This paper builds on these concepts to introduce the [Formula: see text]-[Formula: see text]-(weak) global dimension for rings with a multiplicative subset [Formula: see text], offering a new perspective on ring structures. We also explore [Formula: see text]-[Formula: see text]-variants of specific ring types, including semisimple, von Neumann, and (semi)hereditary rings. Finally, we extend the generalization of [Formula: see text]-rings and [Formula: see text]-coherent rings, originally introduced by Costa in 1994, to rings with a multiplicative subset [Formula: see text], deepening the understanding of ring theory.

The class of rings studied in this paper properly contains the class of right distributive rings which have at least one completely prime ideal in the Jacobson radical. Amongst other results we study prime and semiprime ideals, right noetherian rings with comparability and prove a structure theorem for rings with comparability. Several examples are also given.

Injective modules play an important role in characterizing different classes of rings (e.g. Noetherian rings, semisimple rings). Some semirings have no nonzero injective semimodules (e.g. the semiring of non-negative integers). In this paper, we study some of the basic properties of the so-called e-injective semimodules introduced by the first author using a new notion of exact sequences of semimodules. We clarify the relationships between the injective semimodules, the [Formula: see text]-injective semimodule, and the [Formula: see text]-injective semimodules through several implications, examples and counter examples. Moreover, we show that every semimodule over an arbitrary semiring can be embedded in a [Formula: see text]-[Formula: see text]-injective semimodule.

Chapter 7 continues to develop the theory of rings and studies chain conditions for ideals of a ring. The motivation came from an interesting property of the ring of integers Z that its every ascending chain of ideals terminates. This interesting property of Z was first recognized by the German mathematician Emmy Noether (1882–1935). This property leads to the concept of Noetherian rings. On the other hand, Emil Artin (1898–1962) showed that there are some rings in which every infinite descending chain of ideals terminates. Such rings are called Artinian rings. The ring Z has an infinite descending chain of ideals. This property of Z shows that Z is not an Artinian ring. In this chapter special classes of rings are also studied and deeper results on ideal theory are proved. Some finiteness condition for ideals is imposed and Noetherian rings are introduced which are versatile. The most convenient equivalent formulation of the Noetherian requirement is that the ideals of the ring satisfy the ascending chain condition. A connection between a Noetherian domain and a factorization domain is established. Moreover, the Hilbert Basis Theorem is proved. This theorem has made a revolution and has given an extensive class of Noetherian rings. Its application to algebraic geometry is also discussed. The study in this chapter culminates in rings with a descending chain condition for ideals, which determines their ideal structure.