Computing in Quotient Groups
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Quotient Groups §7.8 (Ed.2), 8.4 (Ed.2): Quotient Groups and Homomorphisms, Part I
Math 371 Lecture #33 x7.7 (Ed.2), 8.3 (Ed.2): Quotient Groups x7.8 (Ed.2), 8.4 (Ed.2): Quotient Groups and Homomorphisms, Part I Recall that to make the set of right cosets of a subgroup K in a group G into a group under the binary operation (or product) (Ka)(Kb) = K(ab) requires that K be a normal subgroup of G. For a normal subgroup N of a group G, we denote the set of right cosets of N in G by G=N (read G mod N). Theorem 8.12. For a normal subgroup N of a group G, the product (Na)(Nb) = N(ab) on G=N is well-defined. We saw the proof of this before. Theorem 8.13. For a normal subgroup N of a group G, we have (1) G=N is a group under the product (Na)(Nb) = N(ab), (2) when jGj < 1 that jG=Nj = jGj=jNj, and (3) when G is abelian, so is G=N. Proof. (1) We know that the product is well-defined. The identity element of G=N is Ne because for all a 2 G we have (Ne)(Na) = N(ae) = Na; (Na)(Ne) = N(ae) = Na: The inverse of Na is Na−1 because (Na)(Na−1) = N(aa−1) = Ne; (Na−1)(Na) = N(a−1a) = Ne: Associativity of the product in G=N follows from the associativity in G: [(Na)(Nb)](Nc) = (N(ab))(Nc) = N((ab)c) = N(a(bc)) = (N(a))(N(bc)) = (N(a))[(N(b))(N(c))]: This establishes G=N as a group. -
Lie Group Structures on Quotient Groups and Universal Complexifications for Infinite-Dimensional Lie Groups
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Functional Analysis 194, 347–409 (2002) doi:10.1006/jfan.2002.3942 Lie Group Structures on Quotient Groups and Universal Complexifications for Infinite-Dimensional Lie Groups Helge Glo¨ ckner1 Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana 70803-4918 E-mail: [email protected] Communicated by L. Gross Received September 4, 2001; revised November 15, 2001; accepted December 16, 2001 We characterize the existence of Lie group structures on quotient groups and the existence of universal complexifications for the class of Baker–Campbell–Hausdorff (BCH–) Lie groups, which subsumes all Banach–Lie groups and ‘‘linear’’ direct limit r r Lie groups, as well as the mapping groups CK ðM; GÞ :¼fg 2 C ðM; GÞ : gjM=K ¼ 1g; for every BCH–Lie group G; second countable finite-dimensional smooth manifold M; compact subset SK of M; and 04r41: Also the corresponding test function r r # groups D ðM; GÞ¼ K CK ðM; GÞ are BCH–Lie groups. 2002 Elsevier Science (USA) 0. INTRODUCTION It is a well-known fact in the theory of Banach–Lie groups that the topological quotient group G=N of a real Banach–Lie group G by a closed normal Lie subgroup N is a Banach–Lie group provided LðNÞ is complemented in LðGÞ as a topological vector space [7, 30]. Only recently, it was observed that the hypothesis that LðNÞ be complemented can be omitted [17, Theorem II.2]. This strengthened result is then used in [17] to characterize those real Banach–Lie groups which possess a universal complexification in the category of complex Banach–Lie groups. -
The Category of Generalized Lie Groups 283
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 199, 1974 THE CATEGORYOF GENERALIZEDLIE GROUPS BY SU-SHING CHEN AND RICHARD W. YOH ABSTRACT. We consider the category r of generalized Lie groups. A generalized Lie group is a topological group G such that the set LG = Hom(R, G) of continuous homomorphisms from the reals R into G has certain Lie algebra and locally convex topological vector space structures. The full subcategory rr of f-bounded (r positive real number) generalized Lie groups is shown to be left complete. The class of locally compact groups is contained in T. Various prop- erties of generalized Lie groups G and their locally convex topological Lie algebras LG = Horn (R, G) are investigated. 1. Introduction. The category FT of finite dimensional Lie groups does not admit arbitrary Cartesian products. Therefore we shall enlarge the category £r to the category T of generalized Lie groups introduced by K. Hofmann in [ll]^1) The category T contains well-known subcategories, such as the category of compact groups [11], the category of locally compact groups (see §5) and the category of finite dimensional De groups. The Lie algebra LG = Horn (R, G) of a generalized Lie group G is a vital and important device just as in the case of finite dimensional Lie groups. Thus we consider the category SI of locally convex topological Lie algebras (§2). The full subcategory Í2r of /--bounded locally convex topological Lie algebras of £2 is roughly speaking the family of all objects on whose open semiballs of radius r the Campbell-Hausdorff formula holds. -
Normal Subgroup Structure of Totally Disconnected Locally Compact Groups
Normal subgroup structure of totally disconnected locally compact groups Colin D. Reid Abstract The present article is a summary of joint work of the author and Phillip Wesolek on the normal subgroup structure of totally disconnected locally compact second-countable (t.d.l.c.s.c.) groups. The general strategy is as follows: We obtain normal series for a t.d.l.c.s.c. group in which each factor is ‘small’ or a non-abelian chief factor; we show that up to a certain equivalence relation (called association), a given non-abelian chief factor can be inserted into any finite normal series; and we obtain restrictions on the structure of chief factors, such that the restrictions are invariant under association. Some limitations of this strategy and ideas for future work are also discussed. 1 Introduction A common theme throughout group theory is the reduction of problems concern- ing a group G to those concerning the normal subgroup N and the quotient G=N, where both N and G=N have some better-understood structure; more generally, one can consider a decomposition of G via normal series. This approach has been espe- cially successful for the following classes of groups: finite groups, profinite groups, algebraic groups, connected Lie groups and connected locally compact groups. To summarise the situation for these classes, let us recall the notion of chief factors and chief series. Definition 1. Let G be a Hausdorff topological group. A chief factor K=L of G is a pair of closed normal subgroups L < K such that there are no closed normal subgroups of G lying strictly between K and L.A descending chief series for G is a Colin D. -
Quotient-Rings.Pdf
4-21-2018 Quotient Rings Let R be a ring, and let I be a (two-sided) ideal. Considering just the operation of addition, R is a group and I is a subgroup. In fact, since R is an abelian group under addition, I is a normal subgroup, and R the quotient group is defined. Addition of cosets is defined by adding coset representatives: I (a + I)+(b + I)=(a + b)+ I. The zero coset is 0+ I = I, and the additive inverse of a coset is given by −(a + I)=(−a)+ I. R However, R also comes with a multiplication, and it’s natural to ask whether you can turn into a I ring by multiplying coset representatives: (a + I) · (b + I)= ab + I. I need to check that that this operation is well-defined, and that the ring axioms are satisfied. In fact, everything works, and you’ll see in the proof that it depends on the fact that I is an ideal. Specifically, it depends on the fact that I is closed under multiplication by elements of R. R By the way, I’ll sometimes write “ ” and sometimes “R/I”; they mean the same thing. I Theorem. If I is a two-sided ideal in a ring R, then R/I has the structure of a ring under coset addition and multiplication. Proof. Suppose that I is a two-sided ideal in R. Let r, s ∈ I. Coset addition is well-defined, because R is an abelian group and I a normal subgroup under addition. I proved that coset addition was well-defined when I constructed quotient groups. -
Math 412. Adventure Sheet on Quotient Groups
Math 412. Adventure sheet on Quotient Groups Fix an arbitrary group (G; ◦). DEFINITION: A subgroup N of G is normal if for all g 2 G, the left and right N-cosets gN and Ng are the same subsets of G. NOTATION: If H ⊆ G is any subgroup, then G=H denotes the set of left cosets of H in G. Its elements are sets denoted gH where g 2 G. The cardinality of G=H is called the index of H in G. DEFINITION/THEOREM 8.13: Let N be a normal subgroup of G. Then there is a well-defined binary operation on the set G=N defined as follows: G=N × G=N ! G=N g1N ? g2N = (g1 ◦ g2)N making G=N into a group. We call this the quotient group “G modulo N”. A. WARMUP: Define the sign map: Sn ! {±1g σ 7! 1 if σ is even; σ 7! −1 if σ is odd. (1) Prove that sign map is a group homomorphism. (2) Use the sign map to give a different proof that An is a normal subgroup of Sn for all n. (3) Describe the An-cosets of Sn. Make a table to describe the quotient group structure Sn=An. What is the identity element? B. OPERATIONS ON COSETS: Let (G; ◦) be a group and let N ⊆ G be a normal subgroup. (1) Take arbitrary ng 2 Ng. Prove that there exists n0 2 N such that ng = gn0. (2) Take any x 2 g1N and any y 2 g2N. Prove that xy 2 g1g2N. -
On Generalizations of Sylow Tower Groups
Pacific Journal of Mathematics ON GENERALIZATIONS OF SYLOW TOWER GROUPS ABI (ABIADBOLLAH)FATTAHI Vol. 45, No. 2 October 1973 PACIFIC JOURNAL OF MATHEMATICS Vol. 45, No. 2, 1973 ON GENERALIZATIONS OF SYLOW TOWER GROUPS ABIABDOLLAH FATTAHI In this paper two different generalizations of Sylow tower groups are studied. In Chapter I the notion of a fc-tower group is introduced and a bound on the nilpotence length (Fitting height) of an arbitrary finite solvable group is found. In the same chapter a different proof to a theorem of Baer is given; and the list of all minimal-not-Sylow tower groups is obtained. Further results are obtained on a different generalization of Sylow tower groups, called Generalized Sylow Tower Groups (GSTG) by J. Derr. It is shown that the class of all GSTG's of a fixed complexion form a saturated formation, and a structure theorem for all such groups is given. NOTATIONS The following notations will be used throughont this paper: N<]G N is a normal subgroup of G ΛΓCharG N is a characteristic subgroup of G ΛΓ OG N is a minimal normal subgroup of G M< G M is a proper subgroup of G M<- G M is a maximal subgroup of G Z{G) the center of G #>-part of the order of G, p a prime set of all prime divisors of \G\ Φ(G) the Frattini subgroup of G — the intersec- tion of all maximal subgroups of G [H]K semi-direct product of H by K F(G) the Fitting subgroup of G — the maximal normal nilpotent subgroup of G C(H) = CG(H) the centralizer of H in G N(H) = NG(H) the normalizer of H in G PeSy\p(G) P is a Sylow ^-subgroup of G P is a Sy-subgroup of G PeSγlp(G) Core(H) = GoreG(H) the largest normal subgroup of G contained in H= ΓioeoH* KG) the nilpotence length (Fitting height) of G h(G) p-length of G d(G) minimal number of generators of G c(P) nilpotence class of the p-group P some nonnegative power of prime p OP(G) largest normal p-subgroup of G 453 454 A. -
Let G Be a Group. a Subnormal Series of Subgroups of G Is a Sequence G {E} < G 1 < ... < Gn = G Such That G I−1
NORMAL AND SUBNORMAL SERIES Let G be a group. A subnormal series of subgroups of G is a sequence G0 = feg < G1 < ::: < Gn = G such that Gi−1 / Gi for i = 1; :::; n. A normal series is a subnormal series such that each Gi is normal in G. The number n is called the length of the (sub)normal series. A (sub)normal series is called proper if all the quotient groups Gi=Gi−1 are nontrivial. These quotient groups are refered to as successive quotients of the (sub)normal series. We say that two (sub)normal series are equivalent if they have the same length and there is a permutation π 2 Sn such that the groups Gi=Gi−1 and Gπ(i)=Gπ(i)−1 are isomorphic for all i = 1; 2; :::; n. A refinement of a (sub)normal series G0 = feg < G1 < ::: < Gn = G is a 0 0 0 (sub)normal series G0 = feg < G1 < ::: < Gm = G such that there is a strictly 0 increasing function f : f1; :::; ng −! f1; 2; :::; mg such that Gi = Gf(i) for all i. We prove now the following important theorem: Schreier Refinement Theorem. Any two (sub)normal series in G have equivalent refinements. It the series are proper, the refinements can be chosen proper as well. Proof: Note first that each integer k can be uniquely written in the form (m+1)i+j for some integer i and some j 2 f0; :::; mg. If 0 ≤ k < (m+1)(n+1) then 0 ≤ i ≤ n. Similarly, each integer 0 ≤ k < (m + 1)(n + 1) can be uniquely written in the form (n + 1)j + i, where 0 ≤ i ≤ n and 0 ≤ j ≤ m. -
Extreme Classes of Finite Soluble Groups
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 9, 285-313 (1968) Extreme Classes of Finite Soluble Groups ROGER CARTER The Mathematics Institute, University of Warwick, Coventry, England BERND FISCHER Mathematisches Seminar der Universitdt Frankfurt am Main, Germany TREVOR HAWKES Corpus Christi College, Cambridge, England Communicated by B. Huppert Received August 24, 1967 Knowledge of the structure of a specified collection 9 of subgroups of a group G can often yield detailed information about G itself. For example we have the elementary fact that if all the minimal cyclic subgroups of a group G are n-groups then G is a n-group. Another example is provided by an unpublished theorem of M. B. Powell who has shown that if we take for 9’ the collection of 2-generator subgroups of a finite soluble group G then G has p-length at most n if and only if every member of Y has p-length at most n. Clearly one should aim to make the set Y as small as possible con- sistent with still retrieving useful information about the structure of G. In this note we investigate a situation of this type and for the purpose intro- duce a class (3 of extreme groups. (5 is a subclass of the class of finite soluble groups and loosely speaking comprises those groups which contain as few complemented chief factors, as possible, in a given chief series; more precisely, a group G is extreme if it has a chief series with exactly Z(G) complemented chief factors, where Z(G) denotes the nilpotent (or Fitting) length of G. -
Quasi P Or Not Quasi P? That Is the Question
Rose-Hulman Undergraduate Mathematics Journal Volume 3 Issue 2 Article 2 Quasi p or not Quasi p? That is the Question Ben Harwood Northern Kentucky University, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Harwood, Ben (2002) "Quasi p or not Quasi p? That is the Question," Rose-Hulman Undergraduate Mathematics Journal: Vol. 3 : Iss. 2 , Article 2. Available at: https://scholar.rose-hulman.edu/rhumj/vol3/iss2/2 Quasi p- or not quasi p-? That is the Question.* By Ben Harwood Department of Mathematics and Computer Science Northern Kentucky University Highland Heights, KY 41099 e-mail: [email protected] Section Zero: Introduction The question might not be as profound as Shakespeare’s, but nevertheless, it is interesting. Because few people seem to be aware of quasi p-groups, we will begin with a bit of history and a definition; and then we will determine for each group of order less than 24 (and a few others) whether the group is a quasi p-group for some prime p or not. This paper is a prequel to [Hwd]. In [Hwd] we prove that (Z3 £Z3)oZ2 and Z5 o Z4 are quasi 2-groups. Those proofs now form a portion of Proposition (12.1) It should also be noted that [Hwd] may also be found in this journal. Section One: Why should we be interested in quasi p-groups? In a 1957 paper titled Coverings of algebraic curves [Abh2], Abhyankar conjectured that the algebraic fundamental group of the affine line over an algebraically closed field k of prime characteristic p is the set of quasi p-groups, where by the algebraic fundamental group of the affine line he meant the family of all Galois groups Gal(L=k(X)) as L varies over all finite normal extensions of k(X) the function field of the affine line such that no point of the line is ramified in L, and where by a quasi p-group he meant a finite group that is generated by all of its p-Sylow subgroups. -
The Development and Understanding of the Concept of Quotient Group
HISTORIA MATHEMATICA 20 (1993), 68-88 The Development and Understanding of the Concept of Quotient Group JULIA NICHOLSON Merton College, Oxford University, Oxford OXI 4JD, United Kingdom This paper describes the way in which the concept of quotient group was discovered and developed during the 19th century, and examines possible reasons for this development. The contributions of seven mathematicians in particular are discussed: Galois, Betti, Jordan, Dedekind, Dyck, Frobenius, and H61der. The important link between the development of this concept and the abstraction of group theory is considered. © 1993 AcademicPress. Inc. Cet article decrit la d6couverte et le d6veloppement du concept du groupe quotient au cours du 19i~me si~cle, et examine les raisons possibles de ce d6veloppement. Les contributions de sept math6maticiens seront discut6es en particulier: Galois, Betti, Jordan, Dedekind, Dyck, Frobenius, et H61der. Le lien important entre le d6veloppement de ce concept et l'abstraction de la th6orie des groupes sera consider6e. © 1993 AcademicPress, Inc. Diese Arbeit stellt die Entdeckung beziehungsweise die Entwicklung des Begriffs der Faktorgruppe wfihrend des 19ten Jahrhunderts dar und untersucht die m/)glichen Griinde for diese Entwicklung. Die Beitrfi.ge von sieben Mathematikern werden vor allem diskutiert: Galois, Betti, Jordan, Dedekind, Dyck, Frobenius und H61der. Die wichtige Verbindung zwischen der Entwicklung dieses Begriffs und der Abstraktion der Gruppentheorie wird betrachtet. © 1993 AcademicPress. Inc. AMS subject classifications: 01A55, 20-03 KEY WORDS: quotient group, group theory, Galois theory I. INTRODUCTION Nowadays one can hardly conceive any more of a group theory without factor groups... B. L. van der Waerden, from his obituary of Otto H61der [1939] Although the concept of quotient group is now considered to be fundamental to the study of groups, it is a concept which was unknown to early group theorists. -
A STUDY on the ALGEBRAIC STRUCTURE of SL 2(Zpz)
A STUDY ON THE ALGEBRAIC STRUCTURE OF SL2 Z pZ ( ~ ) A Thesis Presented to The Honors Tutorial College Ohio University In Partial Fulfillment of the Requirements for Graduation from the Honors Tutorial College with the degree of Bachelor of Science in Mathematics by Evan North April 2015 Contents 1 Introduction 1 2 Background 5 2.1 Group Theory . 5 2.2 Linear Algebra . 14 2.3 Matrix Group SL2 R Over a Ring . 22 ( ) 3 Conjugacy Classes of Matrix Groups 26 3.1 Order of the Matrix Groups . 26 3.2 Conjugacy Classes of GL2 Fp ....................... 28 3.2.1 Linear Case . .( . .) . 29 3.2.2 First Quadratic Case . 29 3.2.3 Second Quadratic Case . 30 3.2.4 Third Quadratic Case . 31 3.2.5 Classes in SL2 Fp ......................... 33 3.3 Splitting of Classes of(SL)2 Fp ....................... 35 3.4 Results of SL2 Fp ..............................( ) 40 ( ) 2 4 Toward Lifting to SL2 Z p Z 41 4.1 Reduction mod p ...............................( ~ ) 42 4.2 Exploring the Kernel . 43 i 4.3 Generalizing to SL2 Z p Z ........................ 46 ( ~ ) 5 Closing Remarks 48 5.1 Future Work . 48 5.2 Conclusion . 48 1 Introduction Symmetries are one of the most widely-known examples of pure mathematics. Symmetry is when an object can be rotated, flipped, or otherwise transformed in such a way that its appearance remains the same. Basic geometric figures should create familiar examples, take for instance the triangle. Figure 1: The symmetries of a triangle: 3 reflections, 2 rotations. The red lines represent the reflection symmetries, where the trianlge is flipped over, while the arrows represent the rotational symmetry of the triangle.