R. Kwashira 1, 2 Work with J.C. Mba 3 ( 1 Birmingham, (CoE-MaSS), South Africa, 3 University of Johannesburg, South Africa
|
|
- Eric Jones
- 5 years ago
- Views:
Transcription
1 Groups, St Andrews 2017 Non-cancellation group of a direct product R. Kwashira 1, 2 Work with J.C. Mba 3 1 University of the Witwatersrand, South Africa, 2 DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), South Africa, 3 University of Johannesburg, South Africa Birmingham, UK August, 2017 University of the Witwatersrand, South Africa, 2 UK August, /
2 Outline of Talk Introduction Non cancellation set of χ o -groups Non cancellation set of K-groups The category Grp F Non cancelation group of a direct product University of the Witwatersrand, South Africa, 2 UK August, /
3 ABSTRACT Abstract Consider the semidirect product G i = Z ni ωi Z. Methods for computation of the non-cancellation groups χ(g 1 G 2 ) and χ(g k i ), k N were developed in literature. We develop a general method of computing χ(g 1 G 2, h), where h : F G 1 G 1 G 2 and F a nite group. University of the Witwatersrand, South Africa, 2 UK August, /
4 Introduction N f.g. nilpotent group G(N): isomorphism classes of f.g nilpotent groups M such that for every prime p M p N p G(N) has a group structure χ o : class of all G f.g. groups with [G, G] nite Non cancellation set χ(g): set of all isomorphism classes of groups H such that G Z = H Z N is a f.g nilpotent group [N, N] nite then G(N) = χ(n) χ(g) has a group structure similar to the group structure on the Mislin genus of a nilpotent χ o - group H Z = G Z i. H π = Gπ (π for every nite set of primes π χ o - group H, χ(h) coincides with the restricted genus Γ f (H) of H University of the Witwatersrand, South Africa, 2 UK August, /
5 Introduction 2 continued... Fix F nite grp. h : F G be a monomorphism Grp F : category of groups under F objects: (G, h), (G 1, k) group homomorphisms h : F G and k : F G 1 morphisms: group homomorphism β : G G 1 such that β h = k π-localization of an object: h : F G is the object h π : F G π where π is set of primes X F : full subcategory of χ o - groups Γ f (h): restricted genus: isomorphism classes k such that k π is isomorphic to h π for k X F F is a trivial group then X F is identied with χ o -groups F trivial : χ(g, h), non cancellation group of G under F coincides with χ(g) University of the Witwatersrand, South Africa, 2 UK August, /
6 Introduction 3 continued... K be the class of groups: T ω F, F nite rank free abelian group T nite abelian group H = G(m, u) = Z m ν Z, (m, u) = 1. H is a K- group K F full subcategory of Grp F University of the Witwatersrand, South Africa, 2 UK August, /
7 Problem Statement Let G i = Z mi ωi Z and let h : F G 1 G 2 where F is a nite group and h is a monomorphism. We develop a general method for computing χ(g 1 G 2, h). University of the Witwatersrand, South Africa, 2 UK August, /
8 Non cancellation set of χ o -groups χ o - group G : assign a natural number n(g) = n 1 n 2 n 3 n 1 : exponent of T G n 2 : exponent of Aut(T G ) n 3 : exponent of the torsion of the center T ZG G χ o -group with [G : H] <, ; T G = T H W = {H < G, ([G : H], n) = 1} then H Z = G Z. K group, K Z = G Z,then exists J W with J = K. Given J 1, J 2 W, if [G : J 1 ] ±1[G : J 2 ] mod n, then J 1 = J2 non-cancellation set χ(g) coincides with the (nite) set {[J] : J W }. Z n/{1, 1} χ(g) induces a group structure on χ(g) G nilpotent, χ(g) coincides with Hilton-Mislin Genus. University of the Witwatersrand, South Africa, 2 UK August, /
9 Non cancellation set of K-groups G = Z m ω Z ω : Z Aut(Z m ) automorphism of Z m dened ω(1)(t) = ut d : multiplicative order of u modulo m χ(g) = Z /{1, 1} d University of the Witwatersrand, South Africa, 2 UK August, /
10 Non cancellation group of a morphism χ(g, h) n = n(g), X (n) = {u N : (u, n) = 1} Y (G, h) = {u X (n), ; exist K < G, ; [G : K] = u, (K, h K ) member χ(g, h)} G u < G, ; T G G u and [G : G u ] = u for each u Y (G, h) h u : x h(x) induced homomorphism ς : Y (G, h) χ(g, h) Y (G, h) :image of Y (G, h) in Z n, Y (G, h) < Z n G χ o -group, h : F G monomorphism, F nite group ς : Y (G, h)/ ± 1 χ(g, h) induces a group structure on χ(g, h) F trivial, χ(g, h) = χ(g) University of the Witwatersrand, South Africa, 2 UK August, /
11 Non cancellation group of a morphism of an object in K F G = Z m ω Z t = d(g) : smallest invariant factors of Im ω V (G, h) = {u X (t)} s.t K < G, [G : K] = u and (K, h K ) is a member of χ(g, h) V (G, h) be the image of V (G, h) in Z t Choose K < G of G s.t. (K, h K ) member in χ(g, h) and [G : K] = u t n(g) University of the Witwatersrand, South Africa, 2 UK August, /
12 Proposition Proposition Let n = n(g) and ρ : Y (G, h) χ(g, h) be the epimorphism that takes a residue mod n and reduces it mod t. The epimorphism ζ : Y (G, h) χ(g, h) factorises through the epimorphism ξ : ζ Y (G, h) χ(g, h) ρ ξ V (G, h) University of the Witwatersrand, South Africa, 2 UK August, /
13 Theorem Theorem For m V (G, h), the following conditions are equivalent: (a) m ker[v (G, h) χ(g, h)]. (b) There exists α Aut (T ) with v h = h such that α N Aut T Im ω and for an automorphism : Im ω Im ω dened by v α vα 1, we have det( ) = ±m 1 V (G, h). University of the Witwatersrand, South Africa, 2 UK August, /
14 Non cancelation group of (G1 G2, h) G i = G(m i, u i ) with gcd(m 1, m 2 ) = 1, gcd(m i, u j ) = 1, i, j = 1, 2 d i : multiplicative order of u i modulo m i d = lcm(d 1, d 2 ) and m = lcm(m 1, m 2 ). If gcd(d 1, d 2 ) = 1 let t = d 1 d 2 and if gcd(d 1, d 2 ) 1 let t = gcd(d 1, d 2 ) G 1 G 2 = (Z m 1 Z m2 ) ω Z 2 ω : Z 2 Aut(Z m 1 Z m2 ) ω(ɛ i ) = ω i : (t 1, t 2 ) (u δ(i,1) 1 t 1, u δ(i,2) 2 t 2 ) {ɛ 1, ɛ 2 } standard basis of Z 2 J = Im ω =< ω 1, ω 2 > is a free Z d -module University of the Witwatersrand, South Africa, 2 UK August, /
15 Non cancelation group of (G1 G2, h) continued... σ End(J), det (σ) Z d J = N Aut(TG 1 G 2 ) J α Aut(T G 1 G2 ), α inner automorphism of J: α q 2 be a multiple of q such that q 2 q divides m. : v α v α 1 e 1 = (1, 0), e 2 = (0, 1) :elements of T G 1 G2 F = {aq 2 e 2 : a Z} F < T G 1 G2 h : F G 1 G 2 inclusion map University of the Witwatersrand, South Africa, 2 UK August, /
16 An inner automorphism of Aut(T G1 G 2 ) Fix α J such that α(x) = x x F exists a 2 2 matrix (α ij ) of integers such that α(e i ) = 2 j=1 α jie j Suppose that α is the inner automorphism of J determined by α. Proposition For the matrix (α ij ), α ii is a unit modulo m for i = 1, 2. University of the Witwatersrand, South Africa, 2 UK August, /
17 Proof α(0, q 2 ) = (0, q 2 ) since (0, q 2 ) F α(0, q 2 ) = (q 2 α 12, q 2 α 22 ) = (0, q 2 ) m divides α 12 q divides α 12, while α 22 is a unit modulo m ( ) α11 tq [α] = u α 21 det(α) = α 11 u α 21 tq Claim: α 11 is a unit modulo m α 11 is not a unit modulo m let p common prime divisor of α 11 and m p divides q and p divides det(α) contradiction!!! ( det(α) is a unit modulo m ) (α is an automorphism). Thus α 11 is a unit modulo m. University of the Witwatersrand, South Africa, 2 UK August, /
18 Proposition B Proposition The inner automorphism α of J. of J coincides with the identity automorphism University of the Witwatersrand, South Africa, 2 UK August, /
19 Proof for α exists a matrix ( ) ij of integers such that 1i ω i = ω each i let ω i = v i. Also ω i = αω i α 1 = v i αω i (e i ) = α(u i e i ) = 2 j=1 uδ(i,j) α i ji e j ( 2 ) v i α(e i ) = v i j=1 α jie j = 2 2 j=1 uδ(i,j) α i ji e j = 2 j = i α ii ii u u i i mod m is a unit modulo m ii 1 mod d ii 1 mod t, (t d) j=1 α jiu δ(i,j) ji e i j j=1 α jiu δ(i,j) ji e i j αω i = v i α 1 ω 2i 2 for University of the Witwatersrand, South Africa, 2 UK August, /
20 Proof continued... j i αω i (e j ) = α(u δ(i,j) (e j )) = α(e j ) = 2 v i α(e j ) = 2 α k=1 kj uk ki e k k=1 α kj e k Therefore 2 α k=1 kj e k = 2 α ki k=1 kj u e k k k = j. Since α jj is a unit modulo m ji then u 1 mod m, that is, j ji = 0 mod d Consequently 0 mod t. Thus det ( ji α ) = 1 is identity on J α University of the Witwatersrand, South Africa, 2 UK August, /
21 Proposition C Proposition The pair (G 1 G 2, h) is an object of K F for which (G 1 G 2, h) = Z t / ± 1. Proof Proposition follows from Theorem 1 and Proposition 3 University of the Witwatersrand, South Africa, 2 UK August, /
22 Bibliography A. Fransman and P. Witbooi, Non-cancellation sets of direct powers of certain metacyclic groups, Kyungpook Math. J. 41 (2001), no. 2, P. Hilton and G. Mislin, On the genus of a nilpotent group with nite commutator subgroup, Math. Z., 146 (1976), J. C. Mba and P. J. Witbooi, Induced morphisms between localization genera of groups, Algebra Colloquium, 21: 2 (2014) G. Mislin, Nilpotent groups with nite commutator subgroups, in: P. HILTON (ED), Localization in Group Theory and Homotopy Theory, Lecture Notes in Mathematics, 418 (1974), , Springer-Verlag Berlin. N. O'Sullivan, Genus and Cancellation, Comm. Algebra 28 (7) (2000), University of the Witwatersrand, South Africa, 2 UK August, /
23 Bibliography continued... D. Scevenels and P. Witbooi, Non-cancellation and Mislin genus of certain groups and H o spaces, J. Pure Appl. Algebra, 170 (2002), R. Wareld, Genus and cancellation for groups with nite commutator subgroup, J. Pure Appl. Algebra 6 (1975), P. Witbooi, Generalizing the Hilton-Mislin genus group, J. Algebra 239 (1) (2001), P. J. Witbooi, Non-cancellation for groups with non-abelian torsion, J. Group Theory 6 (2003), no. 4, University of the Witwatersrand, South Africa, 2 UK August, /
BASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
More informationRohit Garg Roll no Dr. Deepak Gumber
FINITE -GROUPS IN WHICH EACH CENTRAL AUTOMORPHISM FIXES THE CENTER ELEMENTWISE Thesis submitted in partial fulfillment of the requirement for the award of the degree of Masters of Science In Mathematics
More informationOn Marginal Automorphisms of a Group Fixing the Certain Subgroup
Global Analysis and Discrete Mathematics Volume 2, Issue 2, pp. 135 143 ISSN: 2476-5341 On Marginal Automorphisms of a Group Fixing the Certain Subgroup Mohammad Mehdi Nasrabadi Samane Hajizade Received:
More informationMINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES
Communications in Algebra, 36: 1976 1987, 2008 Copyright Taylor & Francis roup, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870801941903 MINIMAL NUMBER OF ENERATORS AND MINIMUM ORDER OF
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationOn the linearity of HNN-extensions with abelian base groups
On the linearity of HNN-extensions with abelian base groups Dimitrios Varsos Joint work with V. Metaftsis and E. Raptis with base group K a polycyclic-by-finite group and associated subgroups A and B of
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationAN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP
AN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP J.A. HILLMAN Abstract. We construct aspherical closed orientable 5-manifolds with perfect fundamental group. This completes part of our study of
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationMath 210A: Algebra, Homework 5
Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose
More informationA BRAIDED SIMPLICIAL GROUP. 1. Introduction. In this article, we study the homotopy groups by considering the braid group
A BRAIDED SIMPLICIAL GROUP JIE WU Abstract. By studying the braid group action on Milnor s construction of the 1-sphere, we show that the general higher homotopy group of the 3-sphere is the fixed set
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationConverse to Lagrange s Theorem Groups
Converse to Lagrange s Theorem Groups Blain A Patterson Youngstown State University May 10, 2013 History In 1771 an Italian mathematician named Joseph Lagrange proved a theorem that put constraints on
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationOn stable homotopy equivalences
On stable homotopy equivalences by R. R. Bruner, F. R. Cohen 1, and C. A. McGibbon A fundamental construction in the study of stable homotopy is the free infinite loop space generated by a space X. This
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationMirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere
Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore www.math.nus.edu.sg/ matwujie
More informationUnipotent automorphisms of solvable groups
Department of Mathematical Sciences University of Bath Groups St Andrews 2017 in Birmingham 1. Introduction. 2. Solvable groups acting n-unipotently on solvable groups. 3. Examples. 1. Introduction 1.
More informationEqualizers and kernels in categories of monoids
Equalizers and kernels in categories of monoids Emanuele Rodaro Joint work with A. Facchini Department of Mathematics, Polytechnic University of Milan E. Rodaro ( Department of Mathematics, Polytechnic
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More informationMath 3140 Fall 2012 Assignment #3
Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition
More informationON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT
ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT GÉRARD ENDIMIONI C.M.I., Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr
More informationPresenting and Extending Hecke Endomorphism Algebras
Presenting and Extending Hecke Endomorphism Algebras Jie Du University of New South Wales Shanghai Conference on Representation Theory 7-11 December 2015 1 / 27 The Hecke Endomorphism Algebra The (equal
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationOn p-hyperelliptic Involutions of Riemann Surfaces
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 46 (2005), No. 2, 581-586. On p-hyperelliptic Involutions of Riemann Surfaces Ewa Tyszkowska Institute of Mathematics, University
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More informationANALYSIS OF SMALL GROUPS
ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal
More informationInternational Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT
International Journal of Pure and Applied Mathematics Volume 13 No. 3 2004, 381-389 M-GROUP AND SEMI-DIRECT PRODUCT Liguo He Department of Mathematics Shenyang University of Technology Shenyang, 110023,
More informationits image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1
10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationThe p-quotient Algorithm
The p-quotient Algorithm Marvin Krings November 23, 2016 Marvin Krings The p-quotient Algorithm November 23, 2016 1 / 49 Algorithms p-quotient Algorithm Given a finitely generated group Compute certain
More informationActa Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) THE LIE AUGMENTATION TERMINALS OF GROUPS. Bertalan Király (Eger, Hungary)
Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) 93 97 THE LIE AUGMENTATION TERMINALS OF GROUPS Bertalan Király (Eger, Hungary) Abstract. In this paper we give necessary and sufficient conditions
More information2MA105 Algebraic Structures I
2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 7 Cosets once again Factor Groups Some Properties of Factor Groups Homomorphisms November 28, 2011
More informationGraded modules over classical simple Lie algebras
Graded modules over classical simple Lie algebras Alberto Elduque Universidad de Zaragoza (joint work with Mikhail Kochetov) Graded modules. Main questions Graded Brauer group Brauer invariant Solution
More informationSURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3-SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3-manifolds relate
SURGERY EQUIVALENCE AND FINITE TYPE INVARIANTS FOR HOMOLOGY 3-SPHERES L. FUNAR Abstract. One considers two equivalence relations on 3-manifolds related to nite type invariants. The rst one requires to
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationAbstract Algebra: Supplementary Lecture Notes
Abstract Algebra: Supplementary Lecture Notes JOHN A. BEACHY Northern Illinois University 1995 Revised, 1999, 2006 ii To accompany Abstract Algebra, Third Edition by John A. Beachy and William D. Blair
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationOn a subalgebra of the centre of a group ring
Journal of Algebra 295 (2006) 293 302 www.elsevier.com/locate/jalgebra On a subalgebra of the centre of a group ring Harald Meyer Universität Bayreuth, Lehrstuhl IV für Mathematik, 95440 Bayreuth, Germany
More informationCLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz
CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz Remark: This is a long problem, and there are many ways to attack various of the steps. I am not claiming this is the best way to proceed, nor the
More informationLecture Note of Week 2
Lecture Note of Week 2 2. Homomorphisms and Subgroups (2.1) Let G and H be groups. A map f : G H is a homomorphism if for all x, y G, f(xy) = f(x)f(y). f is an isomorphism if it is bijective. If f : G
More informationHOMEWORK Graduate Abstract Algebra I May 2, 2004
Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationDimension of the mesh algebra of a finite Auslander-Reiten quiver. Ragnar-Olaf Buchweitz and Shiping Liu
Dimension of the mesh algebra of a finite Auslander-Reiten quiver Ragnar-Olaf Buchweitz and Shiping Liu Abstract. We show that the dimension of the mesh algebra of a finite Auslander-Reiten quiver over
More informationIntroduction to Groups
Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)
More informationII. Products of Groups
II. Products of Groups Hong-Jian Lai October 2002 1. Direct Products (1.1) The direct product (also refereed as complete direct sum) of a collection of groups G i, i I consists of the Cartesian product
More informationOn the Homotopy Type of CW-Complexes with Aspherical Fundamental Group
On the Homotopy Type of CW-Complexes with Aspherical Fundamental Group J. Harlander a, Jacqueline A. Jensen b, a Department of Mathematics, Western Kentucky University, Bowling Green, KY 42101, USA b Department
More informationWinter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada
Winter School on Galois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 3 3.1 G-MODULES 3.2 THE COMPLETE GROUP ALGEBRA 3.3
More informationThis is an auxiliary note; its goal is to prove a form of the Chinese Remainder Theorem that will be used in [2].
Witt vectors. Part 1 Michiel Hazewinkel Sidenotes by Darij Grinberg Witt#5c: The Chinese Remainder Theorem for Modules [not completed, not proofread] This is an auxiliary note; its goal is to prove a form
More informationOn an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract
On an algebra related to orbit-counting Peter J. Cameron School of Mathematical Sciences Queen Mary and Westeld College London E1 4NS U.K. Abstract With any permutation group G on an innite set is associated
More informationOn Compact Just-Non-Lie Groups
On Compact Just-Non-Lie Groups FRANCESCO RUSSO Mathematics Department of Naples, Naples, Italy E-mail:francesco.russo@dma.unina.it Abstract. A compact group is called a compact Just-Non-Lie group or a
More informationSolutions of exercise sheet 4
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every
More informationGradings on Lie Algebras of Cartan and Melikian Type
Gradings on Lie Algebras of Cartan and Melikian Type Jason McGraw Department of Mathematics and Statistics Memorial University of Newfoundland St. John's, Canada jason.mcgraw@mun.ca July 22, 2010 Jason
More informationSome Remarks on Prill s Problem
AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C
More informationModular representation theory
Modular representation theory 1 Denitions for the study group Denition 1.1. Let A be a ring and let F A be the category of all left A-modules. The Grothendieck group of F A is the abelian group dened by
More informationIUPUI Qualifying Exam Abstract Algebra
IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order
More informationModular representations of symmetric groups: An Overview
Modular representations of symmetric groups: An Overview Bhama Srinivasan University of Illinois at Chicago Regina, May 2012 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations
More informationPROBLEMS FROM GROUP THEORY
PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.
More informationarxiv:math/ v2 [math.ra] 14 Dec 2005
arxiv:math/0512273v2 [math.ra] 14 Dec 2005 AUTOMORPHISMS OF THE SEMIGROUP OF ENDOMORPHISMS OF FREE ASSOCIATIVE ALGEBRAS A. KANEL-BELOV, A. BERZINS AND R. LIPYANSKI Abstract. Let A = A(x 1,...,x n) be a
More informationWeak Uniform Distribution for Divisor Functions. I
mathematics of computation volume 50, number 181 january 1988, pages 335-342 Weak Uniform Distribution for Divisor Functions. I By Francis J. Rayner Abstract. Narkiewicz (reference [3, pp. 204-205]) has
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,
More informationERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)
ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed
More informationON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS
Submitted exclusively to the London Mathematical Society DOI: 0./S0000000000000000 ON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS JOHN N. BRAY and ROBERT A. WILSON Abstract In the Kourovka Notebook,
More informationTotally disconnected locally compact groups and operator algebras
Totally disconnected locally compact groups and operator algebras George Willis The University of Newcastle July 27th, 2017 Totally disconnected locally compact groups The locally compact group G is totally
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationIntroduction to modules
Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available
More informationA. ABDOLLAHI, A. REJALI AND A. YOUSOFZADEH
CONFIURATION OF NILPOTENT ROUPS AND ISOMORPHISM arxiv:0811.2291v1 [math.r] 14 Nov 2008 A. ABDOLLAHI, A. REJALI AND A. YOUSOFZADEH Abstract. The concept of configuration was first introduced by Rosenblatt
More informationUnderstanding hard cases in the general class group algorithm
Understanding hard cases in the general class group algorithm Makoto Suwama Supervisor: Dr. Steve Donnelly The University of Sydney February 2014 1 Introduction This report has studied the general class
More informationMath 210B:Algebra, Homework 2
Math 210B:Algebra, Homework 2 Ian Coley January 21, 2014 Problem 1. Is f = 2X 5 6X + 6 irreducible in Z[X], (S 1 Z)[X], for S = {2 n, n 0}, Q[X], R[X], C[X]? To begin, note that 2 divides all coefficients
More informationAlgebra Exam, Spring 2017
Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationGroups with many subnormal subgroups. *
Groups with many subnormal subgroups. * Eloisa Detomi Dipartimento di Matematica, Facoltà di Ingegneria, Università degli Studi di Brescia, via Valotti 9, 25133 Brescia, Italy. E-mail: detomi@ing.unibs.it
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationSection 15 Factor-group computation and simple groups
Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationLocalizing groups with action
Localizing groups with action by Georg Peschke Publicacions Matemátiques 33 (1989) 227 234 1 Localization and genus in group theory and homotopy theory Georg Peschke 1 Abstract: When localizing the semidirect
More informationFrank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:
Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Definition: The external direct product is defined to be the following: Let H 1,..., H n be groups. H 1 H 2 H n := {(h 1,...,
More informationHigher Ramification Groups
COLORADO STATE UNIVERSITY MATHEMATICS Higher Ramification Groups Dean Bisogno May 24, 2016 1 ABSTRACT Studying higher ramification groups immediately depends on some key ideas from valuation theory. With
More informationRealization problems in algebraic topology
Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization
More informationGroups that are pairwise nilpotent
Groups that are pairwise nilpotent Gérard Endimioni C.M.I, Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr Gunnar Traustason
More informationAUTOMORPHISMS OF FINITE ORDER OF NILPOTENT GROUPS IV
1 AUTOMORPHISMS OF FINITE ORDER OF NILPOTENT GROUPS IV B.A.F.Wehrfritz School of Mathematical Sciences Queen Mary University of London London E1 4NS England ABSTRACT. Let φ be an automorphism of finite
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationarxiv: v2 [math.gr] 7 Nov 2015
ON SCHUR 3-GROUPS GRIGORY RYABOV arxiv:1502.04615v2 [math.gr] 7 Nov 2015 Abstract. Let G be a finite group. If Γ is a permutation group with G right Γ Sym(G) and S is the set of orbits of the stabilizer
More informationCohomology operations and the Steenrod algebra
Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;
More informationALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION
ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on
More informationMatrix factorisations
28.08.2013 Outline Main Theorem (Eisenbud) Let R = S/(f ) be a hypersurface. Then MCM(R) MF S (f ) Survey of the talk: 1 Define hypersurfaces. Explain, why they fit in our setting. 2 Define. Prove, that
More informationSome remarks on symmetric correspondences
Some remarks on symmetric correspondences H. Lange Mathematisches Institut Universitat Erlangen-Nurnberg Bismarckstr. 1 1 2 D-91054 Erlangen (Germany) E. Sernesi Dipartimento di Matematica Università Roma
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More information