REALIZING A FUSION SYSTEM BY A SINGLE FINITE GROUP
|
|
- Margery Randall
- 6 years ago
- Views:
Transcription
1 REALIZING A FUSION SYSTEM BY A SINGLE FINITE GROUP SEJONG PARK Abstract. We show that every saturated fusion system can be realized as a full subcategory of the fusion system of a finite group. The result suggests the definition of an exoticity index and raises some other questions which we discuss. 1. Introduction A saturated fusion system F on a finite p-group S is a category whose objects are the subgroups of S and whose morphisms satisfy certain axioms mimicking the behavior of conjugation maps of finite groups G having S as a Sylow p-subgroup. The axioms of saturated fusion systems were first formulated by Puig in the early 1990s; subsequently the theory of fusion systems (and associated p-local finite groups) drew much attention from homotopy theorists as well as from finite group theorists and representation theorists. We refer the reader to [1] for definitions and some basic properties of saturated fusion systems. An important feature of fusion systems is that, in them, one sees the action (fusion pattern of finite groups), but not the agent of the action (the finite groups inducing the action). Indeed, there are saturated fusion systems, called exotic fusion systems, which are not fusion systems of any finite groups. On the other hand, Robinson [5] and Leary and Stancu [2] independently showed that every saturated fusion system can be realized as a fusion system of a possibly infinite group. In [1, 5], while determining the cohomology ring of a p-local finite group with coefficients in F p, Broto, Levi, and Oliver showed that every saturated fusion system F on a finite p- group S has a (non-unique) S-S-biset X with certain properties formulated by Linckelmann and Webb which parallel the axioms of saturated fusion systems.(see Theorem 2) Conversely, Puig [3, Ch. 21] and Ragnarsson and Stancu [4] independently showed that given such an S-S-biset X (called by them an F-basic set and a characteristic biset for F, respectively) one can recover the original saturated fusion system F on S. In this paper, we point out one significant consequence of Puig s result in [3, Ch. 21] which is apparently not well known in the form that we are going to present, and discuss some questions coming out of it. Let G be a finite group, and let S be a (not necessarily Sylow) p-subgroup of G. We denote by F S (G) the fusion system on S such that for every Q, R S we have Hom FS (G)(Q, R) = {ϕ: Q R x G s.t. ϕ(u) = xux 1 u Q}. Theorem 1. For every saturated fusion system F on a finite p-group S, there is a finite group G having S as a subgroup such that F = F S (G) Mathematics Subject Classification. 20C20. Key words and phrases. fusion systems, exotic fusion systems, exoticity index. 1
2 At a first glance, this theorem seems to contradict the Sylow axiom of saturated fusion systems. But when S 0 is a Sylow p-subgroup of G containing S as a fully F S0 (G)-normalized subgroup (and such an S 0 always exists), what the Sylow axiom requires is exactly that N S0 (S) = SC S0 (S), and this is certainly possible. Note also that the theorem claims that any saturated fusion system can be viewed as a full subcategory of a fusion system of some finite group, a stronger statement than the well-known fact that any saturated fusion system is a subcategory of a fusion system of some finite group. After reviewing the theory of bisets for fusion systems, we give an elementary proof of Theorem 1, and discuss the structure of the group G and the embedding of S into G in 2. Then we raise some questions concerning Theorem 1 and give some partial answers in Bisets and finite groups realizing fusion systems First let us fix notations. Let S be a group. An S-S-biset is a set with left and right S-action such that (ux)v = u(xv) for x X, u, v S. An S-S-biset X can be viewed as an (S S)-set via (u, v) x = uxv 1 for x X, u, v S and vice versa. From now on, we will view S-S-bisets as (S S)-sets using this correspondence whenever it is convenient. For a subgroup Q of S and a group homomorphism ϕ: Q S, let S (Q,ϕ) S = (S S)/ where (xu, y) (x, ϕ(u)y) for x, y S, u Q, and let x, y be the -equivalence class containing (x, y). One can view this set as an S-S-biset by t x, y = tx, y, x, y t = x, yt for x, y, t S. It is a transitive S-S-biset which is free on the right; it is also free on the left if ϕ is injective. Viewed as an (S S)-set, it is isomorphic to (S S)/ ϕ Q where ϕ Q = {(u, ϕ(u)): u Q}. Finally, for an S-S-biset X, Q S, and a group homomorphism ϕ: Q S, let Q X denote the Q-S-biset obtained from X by restricting the left S-action to Q, and ϕ X the Q-S-biset obtained from X where the left Q-action is induced by ϕ. Theorem 2 ([1, 5.5]). Let F be a saturated fusion system on a finite p-group S. Then there is a finite S-S-biset X with the following properties: (1) Every transitive subbiset of X is isomorphic to S (Q,ϕ) S for some Q S and ϕ Hom F (Q, S). (2) For any Q S and any ϕ Hom F (Q, S), the Q-S-bisets Q X and ϕ X are isomorphic. (3) e(x) := X / S 0 mod p. In fact, one can easily show that X must have the same (positive) number of copies of the transitive subbiset S (S,α) S for each α Out F (S). In the case where F = F S (G) for some finite group G having S as a Sylow p-subgroup, one can take X = G as an S-S-biset with the action of S given by left and right multiplication in the group G. Theorem 3 ([3, 21.2, 21.9]). Let F be a saturated fusion system on a finite p-group S. Let n X = S (Qi,ϕ i ) S i=1 2
3 be an S-S-biset given by Theorem 2 with Q 1 = S, ϕ 1 = id S. Let Q S and let ϕ: Q S be an injective group homomorphism. Then the following are equivalent: (1) ϕ is a morphism in F. (2) The Q-S-bisets Q X and ϕ X are isomorphic. (3) ϕ is a morphism of F S (G), where G = Aut( 1 X), that is, the group of bijections of the set X preserving the right S-action, and S is identified with a subgroup of G via (4) The fixed-point set X ϕ Q. S ι Aut( 1 X) = G u (x ux) Proof. (1) (2): by Theorem 2. (2) (3): (2) there exists an automorphism σ : X X of a right S-set such that σ(ux) = ϕ(u)σ(x) for all x X, u Q there exists σ G such that ι(ϕ(u)) = σι(u)σ 1 for all u Q (3). (2) (4): Suppose Q X = ϕ X as Q-S-bisets. Then we have X ϕ Q = (Q X) ϕ Q = (ϕ X) ϕ Q = ϕ(q) X id ϕ(q), and this fixed-point set contains a point id S S (S S)/ id S S. (4) (1): Suppose X ϕ Q. Then there are some i and x, y S such that (x, y) ϕ i X ϕ Q. This means that (ux, ϕ(u)y) ϕ i = (x, y) ϕ i for all u Q, or that ϕ(u) = yϕ i (x 1 ux)y 1 for all u Q. Thus ϕ belongs to F. Now Theorem 1 follows immediately. Let us keep the notations of Theorem 3 and analyze the automorphism group G and the embedding ι: S G. Since 1 X is a free right S-set, it is isomorphic to the disjoint union of e(x) copies of the regular right S-set S and hence G = S Σ e(x). As we can see, G has a surprisingly simple shape. What does the trick is the way S embeds into G, which encodes fusion data. Let us take a closer look at this embedding. For each i, fix a set {t ij } j Ji of representatives of the left cosets of in S. Set e i = S : = J i. Note that e(x) = i e i. For each u S, let σ i (u) be the permutation of the index set J i given by ut ij = t iσi (u)(j). Then we have a decomposition of right S-sets S (Qi,ϕ i ) S = j J i t ij, S, where t ij, S := { t ij, x x S} is a regular right S-set. So we have G i := Aut( 1 (S (Qi,ϕ i ) S)) = S Σ ei. But S (Qi,ϕ i ) S is also a left S-set. Thus ι(s) is contained in the direct product i G i G. Still writing ι: S i G i for the induced map and π i : i G i G i for the canonical projection, we have π i (ι(u))( t ij, x ) = ut ij, x = t iσi (u)(j), ϕ i (t 1 iσ i (u)(j) ut ij)x for u, x S. So π i (ι(u)) in G i viewed as an element of S Σ ei (ϕ i (t 1 iσ i (u)(j) ut ij); σ i (u)) j Ji. 3 is
4 Note that the component of ι(u) in the base subgroup B := S S (e(x) times) depends on the choice of coset representatives of s in S, while the component of ι(u) in the wreathing part Σ e(x) does not. Note also that the image ι(s) of S in G = S Σ e(x) is not necessarily contained in the base subgroup B. Indeed, since B is normal in G, S B is strongly F-closed, meaning that for every Q S B and ϕ Hom F (Q, S), we have ϕ(q) S B. So if F has no strongly closed subgroups, then we have S B = 1. Finally, we point out that the group G is in general much larger than is necessary: Example 4. Let H = S E, where S is a finite p-group and E is a p -group of automorphisms of S. Write e = E. Then one can take X = H as an S-S-biset for the saturated fusion system F S (H) with the action of S given by left and right multiplication in the group H. Then we have G = Aut( 1 X) = S Σ e with and F S (H) = F ι(s) (G). S ι S Σ e = G u (α(u); id) α E, 3. Some questions and answers With Theorem 1 in mind, we make the following definition. Definition 5. Let F be a saturated fusion system on a finite p-group S. Let the exoticity index of F be the minimum of the set {log p S 0 : S S S 0 Syl p (G) for some finite group G such that F = F S (G)}. By Theorem 1, the exoticity index of a saturated fusion system F on a finite p-group S is always a (finite) nonnegative integer, and it is nonzero if and only if F is exotic. It is natural to ask the following question. Question 6. Given an exotic fusion system F on a finite p-group S, what is the exoticity index of F, and what are the finite groups G achieving the exoticity index? The upper bound on the exoticity index given by the construction in Theorem 3 is quite large. Explicitly it is (e(x) 1) log p S + e(x). p i i 1 The following is another natural question, which can be seen as a sort of converse of the previous question. Question 7. Given a finite group G with Sylow p-subgroup S and T S, when is F T (G) saturated? Note that by Theorem 1, every saturated fusion system arises in this way. Here we give a criterion in a rather simple case. Proposition 8. Let F be a saturated fusion system on a finite p-group S. Let T S be strongly F-closed, and let F T denote the full subcategory of F whose objects are the subgroups of T. Then F T is a saturated fusion system on T if and only if S = T C S (T ). 4
5 Proof. Clearly F T is a fusion system on T. We use Stancu s characterization [6] of saturated fusion systems. Since T is strongly F-closed, it is normal in S, and in particular fully F-normalized. By the Sylow axiom for F, Aut S (T ) is a Sylow p-subgroup of Aut F (T ) = Aut FT (T ). Thus Aut T (T ) is a Sylow p-subgroup of Aut FT (T ) iff Aut T (T ) = Aut S (T ) iff S = T C S (T ). Now we assume S = T C S (T ) and show that F T satisfies the extension axiom. Note that for Q T, we have N S (Q) = N T (Q)C S (T ) and N T (Q) N S (Q). Thus N S (Q)/N T (Q) = C S (T )/(C S (T ) N T (Q)) = C S (T )/Z(T ), which is independent of Q. Together with the assumption that T is strongly F-closed, this shows that s fully F T -normalized iff s fully F-normalized. Thus the extension axiom applied to F ensures that F T satisfies the extension axiom too. Acknowledgements. We thank Radha Kessar and Markus Linckelmann for their helpful discussion and suggestions. References [1] Carles Broto, Ran Levi, and Bob Oliver, The homotopy theory of fusion systems, J. Amer. Math. Soc. 16 (2003), no. 4, (electronic). [2] Ian J. Leary and Radu Stancu, Realising fusion systems, Algebra Number Theory 1 (2007), no. 1, [3] Llius Puig, Frobenius categories versus Brauer blocks, Progress in Mathematics, vol. 274, Birkhäuser, Basel, 2009, The Grothendieck group of the Frobenius cateogry of a Brauer block. [4] Kári Ragnarsson and Radu Stancu, Encoding fusion data in the double Burnside ring, preprint. [5] Geoffrey R. Robinson, Amalgams, blocks, weights, fusion systems and finite simple groups, J. Algebra 314 (2007), no. 2, [6] Radu Stancu, Equivalent definitions of fusion systems, preprint (2003). Department of Mathematical Sciences, University of Aberdeen, Aberdeen AB24 3UE, United Kingdom address: s.park@abdn.ac.uk 5
FOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO
FOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO SEJONG PARK Abstract. For each finite p-group P, Glauberman [8] defined characteristic subgroup K (P ) and K (P ) of P and showed that, under
More informationINTRODUCTION TO FUSION SYSTEMS
INTRODUCTION TO FUSION SYSTEMS SEJONG PARK Abstract. This is an expanded lecture note for a series of four talks given by the author for postgraduate students in University of Aberdeen, UK, in February
More informationBurnside rings and fusion systems
university of copenhagen Burnside rings and fusion systems Sune Precht Reeh Centre for Symmetry and Deformation Department of Mathematical Sciences UC Santa Cruz, May 21, 2014 Slide 1/16 The Burnside ring
More informationSaturated fusion systems as stable retracts of groups
Massachusetts Institute of Technology Department of Mathematics Saturated fusion systems as stable retracts of groups Sune Precht Reeh MIT Topology Seminar, September 28, 2015 Slide 1/24 Outline 1 Bisets
More informationarxiv: v2 [math.gr] 4 Jul 2018
CENTRALIZERS OF NORMAL SUBSYSTEMS REVISITED E. HENKE arxiv:1801.05256v2 [math.gr] 4 Jul 2018 Abstract. In this paper we revisit two concepts which were originally introduced by Aschbacher and are crucial
More informationFusion Systems On Finite Groups and Alperin s Theorem
Fusion Systems On Finite Groups and Alperin s Theorem Author: Eric Ahlqvist, ericahl@kth.se Supervisor: Tilman Bauer SA104X - Degree Project in Engineering Physics, First Level Department of Mathematics
More informationINTRODUCTION TO FUSION SYSTEMS. Markus Linckelmann
INTRODUCTION TO FUSION SYSTEMS Markus Linckelmann Abstract. Fusion systems were introduced by L. Puig in the early 1990 s as a common framework for fusion systems of finite groups or p-blocks of finite
More informationTHE ABELIAN MONOID OF FUSION-STABLE FINITE SETS IS FREE
THE ABELIAN MONOID OF FUSION-STABLE FINITE SETS IS FREE SUNE PRECHT REEH Abstract. We show that the abelian monoid of isomorphism classes of G-stable finite S-sets is free for a finite group G with Sylow
More informationarxiv: v3 [math.at] 21 Dec 2010
SATURATED FUSION SYSTEMS AS IDEMPOTENTS IN THE DOUBLE BURNSIDE RING arxiv:0911.0085v3 [math.at] 21 Dec 2010 KÁRI RAGNARSSON AND RADU STANCU Abstract. We give a new, unexpected characterization of saturated
More informationIn the special case where Y = BP is the classifying space of a finite p-group, we say that f is a p-subgroup inclusion.
Definition 1 A map f : Y X between connected spaces is called a homotopy monomorphism at p if its homotopy fibre F is BZ/p-local for every choice of basepoint. In the special case where Y = BP is the classifying
More informationFusion systems and self equivalences of p-completed classifying spaces of finite groups of Lie type
Fusion systems and self equivalences of p-completed classifying spaces of finite groups of Lie type Carles Broto Universitat Autònoma de Barcelona March 2012 Carles Broto (Universitat Autònoma de Barcelona)
More informationANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy
ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationThe number of simple modules associated to Sol(q)
The number of simple modules associated to Sol(q) Jason Semeraro Heilbronn Institute University of Leicester University of Bristol 8th August 2017 This is joint work with Justin Lynd. Outline Blocks and
More informationRAPHAËL ROUQUIER. k( )
GLUING p-permutation MODULES 1. Introduction We give a local construction of the stable category of p-permutation modules : a p- permutation kg-module gives rise, via the Brauer functor, to a family of
More informationFusion Systems: Group theory, representation theory, and topology. David A. Craven
Fusion Systems: Group theory, representation theory, and topology David A. Craven Michaelmas Term, 2008 Contents Preface iii 1 Fusion in Finite Groups 1 1.1 Control of Fusion.................................
More informationAN ALGEBRAIC MODEL FOR FINITE LOOP SPACES
AN ALGEBRAIC MODEL FOR FINITE LOOP SPACES CARLES BROTO, RAN LEVI, AND BOB OLIVER Contents 1. Background on fusion and linking systems over discrete p-toral groups 3 2. Normalizer fusion subsystems 6 3.
More informationFUSION SYSTEMS IN ALGEBRA AND TOPOLOGY MICHAEL ASCHBACHER, RADHA KESSAR, AND BOB OLIVER
FUSION SYSTEMS IN ALGEBRA AND TOPOLOGY MICHAEL ASCHBACHER, RADHA KESSAR, AND BOB OLIVER Introduction Let G be a finite group, p a prime, and S a Sylow p-subgroup of G. Subsets of S are said to be fused
More informationPseudo Sylow numbers
Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
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 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 informationSaturated fusion systems with parabolic families
Saturated fusion systems with parabolic families Silvia Onofrei The Ohio State University AMS Fall Central Sectional Meeting, Saint Louis, Missouri, 19-21 October 2013 Basics on Fusion Systems A fusion
More informationREDUCED FUSION SYSTEMS ON SYLOW 3-SUBGROUPS OF THE MCLAUGHLIN GROUP
Dipartimento di / Department of Matematica e Applicazioni Dottorato di Ricerca in / PhD program Matematica Pura e Applicata Ciclo/Cycle XXIX REDUCED FUSION SYSTEMS ON SYLOW 3-SUBGROUPS OF THE MCLAUGHLIN
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 informationarxiv: v1 [math.gr] 24 Jan 2017
EXTENSIONS OF THE BENSON-SOLOMON FUSION SYSTEMS ELLEN HENKE AND JUSTIN LYND arxiv:1701.06949v1 [math.gr] 24 Jan 2017 To Dave Benson on the occasion of his second 60th birthday Abstract. The Benson-Solomon
More information5 Structure of 2-transitive groups
Structure of 2-transitive groups 25 5 Structure of 2-transitive groups Theorem 5.1 (Burnside) Let G be a 2-transitive permutation group on a set Ω. Then G possesses a unique minimal normal subgroup N and
More informationBASIC 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 informationBisets and associated functors
Bisets and associated functors Recall that the letter R denotes a commutative and associative ring with unit, and G denotes a finite group. 1. Functors between categories of G-sets In view of Dress s definition
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationThe Outer Automorphism of S 6
Meena Jagadeesan 1 Karthik Karnik 2 Mentor: Akhil Mathew 1 Phillips Exeter Academy 2 Massachusetts Academy of Math and Science PRIMES Conference, May 2016 What is a Group? A group G is a set of elements
More informationarxiv: v1 [math.gr] 4 Jun 2015
SUBCENTRIC LINKING SYSTEMS ELLEN HENKE arxiv:1506.01458v1 [math.gr] 4 Jun 2015 Abstract. We propose a definition of a linking system which is slightly more general than the one currently in the literature.
More informationREDUCED, TAME, AND EXOTIC FUSION SYSTEMS
REDUCED, TAME, AND EXOTIC FUSION SYSTEMS KASPER ANDERSEN, BOB OLIVER, AND JOANA VENTURA Abstract. We define here two new classes of saturated fusion systems, reduced fusion systems and tame fusion systems.
More informationAlgebraic Topology and Representation Theory Lille, June 2017 ABSTRACTS
Algebraic Topology and Representation Theory Lille, 26-30 June 2017 ABSTRACTS Mini-courses Joseph Chuang (London) Derived localisation Localisation of commutative algebras is straightforward and well understood.
More informationTHE HOMOTOPY THEORY OF FUSION SYSTEMS
THE HOMOTOPY THEORY OF FUSION SYSTEMS CARLES BROTO, RAN LEVI, AND BOB OLIVER Abstract. We define and characterize a class of p-complete spaces X which have many of the same properties as the p-completions
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationLOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT
LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated
More informationThe maximal subgroups of the Baby Monster, I
The maximal subgroups of the Baby Monster, I Robert A. Wilson School of Mathematics and Statistics, The University of Birmingham, Edgbaston, Birmingham B15 2TT published in J. Algebra 211 (1999),1 14 Abstract
More informationarxiv: v1 [math.rt] 12 Jan 2016
THE MCM-APPROXIMATION OF THE TRIVIAL MODULE OVER A CATEGORY ALGEBRA REN WANG arxiv:1601.02737v1 [math.rt] 12 Jan 2016 Abstract. For a finite free EI category, we construct an explicit module over its category
More informationABSOLUTELY PURE REPRESENTATIONS OF QUIVERS
J. Korean Math. Soc. 51 (2014), No. 6, pp. 1177 1187 http://dx.doi.org/10.4134/jkms.2014.51.6.1177 ABSOLUTELY PURE REPRESENTATIONS OF QUIVERS Mansour Aghasi and Hamidreza Nemati Abstract. In the current
More informationEndomorphism rings generated using small numbers of elements arxiv:math/ v2 [math.ra] 10 Jun 2006
Endomorphism rings generated using small numbers of elements arxiv:math/0508637v2 [mathra] 10 Jun 2006 Zachary Mesyan February 2, 2008 Abstract Let R be a ring, M a nonzero left R-module, and Ω an infinite
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 informationDefinition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson
Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.
More informationPART I. Abstract algebraic categories
PART I Abstract algebraic categories It should be observed first that the whole concept of category is essentially an auxiliary one; our basic concepts are those of a functor and a natural transformation.
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
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 informationLecture 2: Syntax. January 24, 2018
Lecture 2: Syntax January 24, 2018 We now review the basic definitions of first-order logic in more detail. Recall that a language consists of a collection of symbols {P i }, each of which has some specified
More informationHall subgroups and the pronormality
1 1 Sobolev Institute of Mathematics, Novosibirsk, Russia revin@math.nsc.ru Novosibirsk, November 14, 2013 Definition A subgroup H of a group G is said to be pronormal if H and H g are conjugate in H,
More informationFINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN
FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the
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 informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
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 informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationModel Theory and Modules, Granada
Model Theory and Modules, Granada Mike Prest November 2015 Contents 1 Model Theory 1 2 Model Theory of Modules 4 2.1 Duality......................................... 7 3 Ziegler Spectra and Definable Categories
More informationarxiv: v2 [math.ra] 14 Sep 2016
ON THE NEGATIVE-ONE SHIFT FUNCTOR FOR FI-MODULES arxiv:1603.07974v2 [math.ra] 14 Sep 2016 WEE LIANG GAN Abstract. We show that the negative-one shift functor S 1 on the category of FI-modules is a left
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 informationREMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES
REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules
More informationMath 594, HW2 - Solutions
Math 594, HW2 - Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group
More informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
More informationLECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS
LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS Recall Lagrange s theorem says that for any finite group G, if H G, then H divides G. In these lectures we will be interested in establishing certain
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationEXERCISES ON THE OUTER AUTOMORPHISMS OF S 6
EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6 AARON LANDESMAN 1. INTRODUCTION In this class, we investigate the outer automorphism of S 6. Let s recall some definitions, so that we can state what an outer
More informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationarxiv: v1 [math.ag] 2 Oct 2009
THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite
More informationTeddy Einstein Math 4320
Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective
More informationarxiv: v2 [math.at] 13 Jun 2016
REPRESENTATION RINGS FOR FUSION SYSTEMS AND DIMENSION FUNCTIONS SUNE PRECHT REEH AND ERGÜN YALÇIN arxiv:1603.08237v2 [math.at] 13 Jun 2016 Abstract. We define the representation ring of a saturated fusion
More informationGROUP ACTIONS EMMANUEL KOWALSKI
GROUP ACTIONS EMMANUEL KOWALSKI Definition 1. Let G be a group and T a set. An action of G on T is a map a: G T T, that we denote a(g, t) = g t, such that (1) For all t T, we have e G t = t. (2) For all
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
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 informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
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 informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationON ISOTROPY OF QUADRATIC PAIR
ON ISOTROPY OF QUADRATIC PAIR NIKITA A. KARPENKO Abstract. Let F be an arbitrary field (of arbitrary characteristic). Let A be a central simple F -algebra endowed with a quadratic pair σ (if char F 2 then
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationRELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES
RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationThe number 6. Gabriel Coutinho 2013
The number 6 Gabriel Coutinho 2013 Abstract The number 6 has a unique and distinguished property. It is the only natural number n for which there is a construction of n isomorphic objects on a set with
More informationHamburger Beiträge zur Mathematik
Hamburger Beiträge zur Mathematik Nr. 270 / April 2007 Ernst Kleinert On the Restriction and Corestriction of Algebras over Number Fields On the Restriction and Corestriction of Algebras over Number Fields
More informationAMALGAMATIONS OF CATEGORIES
AMALGAMATIONS OF CATEGORIES JOHN MACDONALD AND LAURA SCULL Abstract. We consider the pushout of embedding functors in Cat, the category of small categories. We show that if the embedding functors satisfy
More informationNON-DIVERGENT INFINITELY DISCRETE TEICHMÜLLER MODULAR TRANSFORMATION
NON-DIVERGENT INFINITELY DISCRETE TEICHMÜLLER MODULAR TRANSFORMATION EGE FUJIKAWA AND KATSUHIKO MATSUZAKI Abstract. We consider a classification of Teichmüller modular transformations of an analytically
More informationABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH
ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH 1. Homomorphisms and isomorphisms between groups. Definition 1.1. Let G, H be groups.
More informationCity Research Online. Permanent City Research Online URL:
Linckelmann, M. & Schroll, S. (2005). A two-sided q-analogue of the Coxeter complex. Journal of Algebra, 289(1), 128-134. doi: 10.1016/j.jalgebra.2005.03.026,
More informationClassification of root systems
Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April
More informationCategories of imaginaries for additive structures
Categories of imaginaries for additive structures Mike Prest Department of Mathematics Alan Turing Building University of Manchester Manchester M13 9PL UK mprest@manchester.ac.uk December 5, 2011 () December
More informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
More information2 C. BROTO, N. CASTELLANA, J. GRODAL, R. LEVI, & B. OLIVER G is a p-group, and where the extension is central. In both of these cases, BH^p is the hom
EXTENSIONS OF p-local FINITE GROUPS C. BROTO, N. CASTELLANA, J. GRODAL, R. LEVI, AND B. OLIVER Abstract. A p-local finite group consists of a finite p-group S, together with a pair of categories which
More informationYale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions
Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
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 informationFIXED POINT SETS AND LEFSCHETZ MODULES. John Maginnis and Silvia Onofrei Department of Mathematics, Kansas State University
AMS Sectional Meeting Middle Tennessee State University, Murfreesboro, TN 3-4 November 2007 FIXED POINT SETS AND LEFSCHETZ MODULES John Maginnis and Silvia Onofrei Department of Mathematics, Kansas State
More information