An Application of the Artin-Hasse Exponential to Finite Algebra Groups
|
|
- Dominic Hicks
- 5 years ago
- Views:
Transcription
1 An Application of the Artin-Hasse Exponential to Finite Algebra Groups Darci L. Kracht Kent State University advisor: Stephen M. Gagola, Jr. XXXII OSU-Denison Mathematics Conference The Ohio State University May 11, 2014 D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
2 Algebra Groups Algebra groups Definition Let F be a field of characteristic p and order q. Let J be a finite-dimensional, nilpotent, associative F -algebra. Define G = 1 + J (formally). Then G is a finite p-group. Groups of this form are called F -algebra groups. We will assume this notation throughout. Example Unipotent upper-triangular matrices over F Theorem (Isaacs 1995) All irreducible characters of algebra groups have q-power degree. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
3 Algebra Groups Algebra subgroups and strong subgroups Subgroups: 1 + X where X J is closed under the operation (x, y) x + y + xy X need not be an algebra. If L is a subalgebra of J, then 1 + L is an algebra subgroup of G = 1 + J. If H G such that H K is a q-power for all algebra subgroups K of G, then H is a strong subgroup of G. In particular, H strong = H is a q-power. Algebra subgroups are strong. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
4 Algebra Groups Strong subgroups as point stabilizers Theorem (Isaacs 1995) Under certain conditions, character stabilizers are strong. If J p = 0, N G is an ideal subgroup, and θ Irr(N), then the stabilizer in G of θ is strong. If N G is an ideal subgroup, and λ is a linear character of N, then the stabilizer in G of λ is strong. Question Are normalizers of algebra subgroups strong? D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
5 When J p = 0: The Exponential Map When J p = 0: The Exponential Map If J p = 0, define exp : J 1 + J by the usual power series. For x J, exp(x) = 1 + x + x 2 2! + x 3 3! + Connects multiplication in group to addition and Lie structure in underlying algebra. For x J, exp(fx)= {exp(αx) α F } is called an F -exponent subgroup. F -exponent subgroups are strong. The subgroup H is said to be exponentially closed if exp(fx) H whenever exp(x) H. (Also called partitioned.) Exponentially closed subgroups are strong. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
6 When J p = 0: The Exponential Map Lie algebra structure and exp Put a Lie algebra structure on J by defining the Lie bracket [, ]: J J J by [x, y] = xy yx for x, y J. For x J, define ad x : J J by ad x(y) = [x, y] for y J. Identity (anon) If J p = 0, then y (exp x) 1 = exp (ad x) (y) for all x, y J. Let H = exp(l), where L is a subalgebra of J. N G (H) = exp N J (L) where N J (L) = {x : [L, x] L}. exp(x) N G (H) exp(ad x) stabilizes L ad x stabilizes L D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
7 What if J p 0? What if J p 0? Stick with x J for which x p = 0. Reduction to the universal case (characteristic 0) Halasi (2004) Find another bijection J 1 + J truncated exponential Previtali (1995): x x 2 (for odd p only) Goal To find an analog/generalization of exp that works if x p 0. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
8 If J p 0: Artin-Hasse exponential The Artin-Hasse exponential Definition Fix a prime p and a nilpotent algebra X over a field of characteristic 0 or p. The Artin-Hasse exponential series, E p : X 1 + X, is defined by E p (x) = exp ( x + x p p + x p2 p 2 + x p3 p 3 + ) In characteristic 0: ( x p E p (x) = exp (x) exp p ) ( exp ) ( x p2 p 2 exp ) x p3 p 3 D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
9 If J p 0: Artin-Hasse exponential Example In characteristic 0: E 3 (x) = exp (x + x x x 27 ( ) ( x 3 x 9 = exp (x) exp exp 3 9 ) 27 + ) exp = (1 + X + X 2 ) ( 2! + X = 1 + X + X X X X 5 It looks like we can reduce modulo 3: ( x ) + ) E 3 (X ) = 1 + X + 2X 2 + 2X 3 + 0X 4 + X 5 +. ( ) X ! + D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
10 If J p 0: Artin-Hasse exponential Another formula for E p Theorem (Artin, Hasse 1928) The coefficients in E p (x) are p-integral. Sketch of combinatorial proof. E p (x) = Syl p (S n ) x n n! Frobenius: The highest power of p that divides n! = S n also divides Syl p (S n ). D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
11 If J p 0: Artin-Hasse exponential E p lacks some nice properties of exp If XY = YX, then exp(x ) exp(y ) = exp(x + Y ). Above example in characteristic 3: E 3 (X )E 3 (Y ) = ( 1 + X + 2X 2 + 2X 3 + ) (1 + Y + 2Y 2 + 2Y 3 + ) = 1 + (X + Y ) + 2(X + Y ) 2 + 2(X 3 + X 2 Y + XY 2 + Y 3 ) + (2x 3 Y + X 2 Y 2 + 2XY 3 ) + On the other hand, E 3 (X + Y ) = 1 + (X + Y ) + 2 (X + Y ) (X + Y ) (X + Y ) 4 + = 1 + (X + Y ) + 2 (X + Y ) ( X 3 + Y 3) + 0 (X + Y ) 4 + So E 3 (X )E 3 (Y ) E 3 (X + Y ). D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
12 If J p 0: Artin-Hasse exponential An Artin-Hasse exponential law E p (x)e p (y) = E p (X + Y )E p (Θ 1 ) = E p (X + Y )E p (S 1 )E p (Θ 2 ) where S 1 (X, Y ) = X p + Y p (X + Y ) p p Theorem (Blache 2005) If X and Y are commuting indeterminates, then E p (X )E p (Y ) = E p (S k (X, Y )), k 0 where S k is a homogeneous polynomial of degree p k having integer coefficients. S k (X, Y ) = s k (X, 0,..., 0; Y, 0,..., 0) where s k is the k-th Witt addition polynomial. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
13 If J p 0: Artin-Hasse exponential An Artin-Hasse Freshman Dream Proposition ( ) In characteristic p, E p (X ) pa = E p X p a, for all integers a 0. ( In char 0: E p (X ) p = exp X + X p p + X p2 p 2 + X p3 p 3 + = exp ( = exp(px ) exp px + X p + X p2 ( = exp(px )E p (X p ). So in char p: E p (X ) p = E p (X p ) Similarly for p a. p X p + (X p ) p + X p3 p 2 + p ) p ) + (X p ) p2 p 2 + ) D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
14 Subgroups defined by the Artin-Hasse exponential Subgroups defined by the Artin-Hasse exponential Definitions E p (Fx)= {E p (αx) α F } Usually not closed under multiplication AH-exponent subgroup: E F p (x)= E p (Fx)E p (Fx p )E p (Fx p2 ). A subgroup H is said to be AH-closed if E p (γx) H for all γ F whenever E p (x) H. Facts Ep F (x) =< E p (Fx) > Ep F (x) and AH-closed subgroups are strong. Ep F (x) is not necessarily AH-closed. If J 2p 1 = 0, then Ep F (x) = E p (Fx)E p (Fx p ) is AH-closed. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
15 Main Theorem Application: normalizers of algebra subgroups Main Theorem Let J be a finite-dimensional nilpotent associative algebra over a finite field of positive characteristic p and order q. Suppose G J and H is an algebra subgroup of G. If J p+1 = 0, then N G (H) is AH-closed (hence strong). If J p+1 0, then examples exist for which N G (H) = p q a, and so N G (H) need not be strong. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
16 Sketch of proof Main Theorem Let H = 1 + L, an algebra subgroup. Recall: for x p = 0, exp(x) N G (H) ad x stabilizes L We want had analogous to ad so that E p (x) N G (H) E p (had x) stabilizes L had x stabilizes L had x = ad x + θ x where θ x is not linear If J 2p 1 = 0, θ x = Lp x Rx p (L x R x ) p, where L x, R x are left and p right multiplication by x, respectively. θ x (y) J p+1 J p+1 = 0 = had x = ad x had x stabilizes L had(αx) stabilizes L for all α F N G (H) is AH-closed (hence strong) D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
17 Sketch of proof, cont d Main Theorem Suppose J p+1 0. E p (αx) N G (H) had(αx) = α ad x + α p θ x stabilizes L Now had x = ad x + θ x stabilizes L α p had x = α p (ad x + θ x ) = α p ad x + α p θ x stabilizes L for all α. So had(αx) stabilizes L (α p α) ad x stabilizes L Examples exist (for all p) for which this happens α GF (p) and so N G (H) is not AH-closed if F = q > p In fact, in these examples N G (H) = p q a. So if J p+1 0 and F = q > p, examples exist for which normalizers of algebra subgroups are not strong. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17
Algebra 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 informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationNotes on Group Theory Lie Groups, Lie Algebras, and Linear Representations
Contents Notes on Group Theory Lie Groups, Lie Algebras, and Linear Representations Andrew Forrester January 28, 2009 1 Physics 231B 1 2 Questions 1 2.1 Basic Questions...........................................
More informationOn the representations of solvable linear groups
On the representations of solvable linear groups by Zoltán Halasi Submitted to Central European University Department of Mathematics and its Applications In partial fulfillment of the requirements for
More information0 A. ... A j GL nj (F q ), 1 j r
CHAPTER 4 Representations of finite groups of Lie type Let F q be a finite field of order q and characteristic p. Let G be a finite group of Lie type, that is, G is the F q -rational points of a connected
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More information5.1 Commutative rings; Integral Domains
5.1 J.A.Beachy 1 5.1 Commutative rings; Integral Domains from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 23. Let R be a commutative ring. Prove the following
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationQUALIFYING EXAM IN ALGEBRA August 2011
QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring
More informationTHREE CASES AN EXAMPLE: THE ALTERNATING GROUP A 5
THREE CASES REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE LECTURE II: DELIGNE-LUSZTIG THEORY AND SOME APPLICATIONS Gerhard Hiss Lehrstuhl D für Mathematik RWTH Aachen University Summer School Finite Simple
More informationKevin James. p-groups, Nilpotent groups and Solvable groups
p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More information6.1 Polynomial Functions
6.1 Polynomial Functions Definition. A polynomial function is any function p(x) of the form p(x) = p n x n + p n 1 x n 1 + + p 2 x 2 + p 1 x + p 0 where all of the exponents are non-negative integers and
More informationPh.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018
Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The
More informationA field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:
Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS
ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS JOHN R. BRITNELL AND MARK WILDON Abstract. It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy,
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationOn quasi-reduced rings
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 1 (2016), pp. 927 935 Research India Publications http://www.ripublication.com/gjpam.htm On quasi-reduced rings Sang Jo
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationMIT Algebraic techniques and semidefinite optimization February 16, Lecture 4
MIT 6.972 Algebraic techniques and semidefinite optimization February 16, 2006 Lecture 4 Lecturer: Pablo A. Parrilo Scribe: Pablo A. Parrilo In this lecture we will review some basic elements of abstract
More informationNormal Supercharacter Theory
Normal Supercharacter Theory Farid Aliniaeifard arxiv:1503.02734v1 [math.ra] 9 Mar 2015 March 11, 2015 Abstract There are two main constructions of supercharacter theories for a group G. The first, defined
More informationA Generalization of Wilson s Theorem
A Generalization of Wilson s Theorem R. Andrew Ohana June 3, 2009 Contents 1 Introduction 2 2 Background Algebra 2 2.1 Groups................................. 2 2.2 Rings.................................
More informationLacunary Polynomials over Finite Fields Course notes
Lacunary Polynomials over Finite Fields Course notes Javier Herranz Abstract This is a summary of the course Lacunary Polynomials over Finite Fields, given by Simeon Ball, from the University of London,
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More information9. Finite fields. 1. Uniqueness
9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime
More informationMANIFOLD STRUCTURES IN ALGEBRA
MANIFOLD STRUCTURES IN ALGEBRA MATTHEW GARCIA 1. Definitions Our aim is to describe the manifold structure on classical linear groups and from there deduce a number of results. Before we begin we make
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationMoreover this binary operation satisfies the following properties
Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................
More informationDETERMINANTS. , x 2 = a 11b 2 a 21 b 1
DETERMINANTS 1 Solving linear equations The simplest type of equations are linear The equation (1) ax = b is a linear equation, in the sense that the function f(x) = ax is linear 1 and it is equated to
More informationFinite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay
1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
More informationMath 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours
Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours Name: Please read the questions carefully. You will not be given partial credit on the basis of having misunderstood a question, and please
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Some historical comments A geometric approach to representation theory for unipotent
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationON SOME PARTITIONS OF A FLAG MANIFOLD. G. Lusztig
ON SOME PARTITIONS OF A FLAG MANIFOLD G. Lusztig Introduction Let G be a connected reductive group over an algebraically closed field k of characteristic p 0. Let W be the Weyl group of G. Let W be the
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationAtoms An atom is a term with coefficient 1 obtained by taking the real and imaginary parts of x j e ax+icx, j = 0, 1, 2,...,
Atoms An atom is a term with coefficient 1 obtained by taking the real and imaginary parts of x j e ax+icx, j = 0, 1, 2,..., where a and c represent real numbers and c 0. Details and Remarks The definition
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 informationMATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION
MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0
More informationRings, Integral Domains, and Fields
Rings, Integral Domains, and Fields S. F. Ellermeyer September 26, 2006 Suppose that A is a set of objects endowed with two binary operations called addition (and denoted by + ) and multiplication (denoted
More information`-modular Representations of Finite Reductive Groups
`-modular Representations of Finite Reductive Groups Bhama Srinivasan University of Illinois at Chicago AIM, June 2007 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations AIM,
More informationLinear Algebra 1 Exam 2 Solutions 7/14/3
Linear Algebra 1 Exam Solutions 7/14/3 Question 1 The line L has the symmetric equation: x 1 = y + 3 The line M has the parametric equation: = z 4. [x, y, z] = [ 4, 10, 5] + s[10, 7, ]. The line N is perpendicular
More informationRepresentations of semisimple Lie algebras
Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular
More informationOn the Harish-Chandra Embedding
On the Harish-Chandra Embedding The purpose of this note is to link the Cartan and the root decompositions. In addition, it explains how we can view a Hermitian symmetric domain as G C /P where P is a
More informationOn the classication of algebras
Technische Universität Carolo-Wilhelmina Braunschweig Institut Computational Mathematics On the classication of algebras Morten Wesche September 19, 2016 Introduction Higman (1950) published the papers
More informationPermutations and Polynomials Sarah Kitchen February 7, 2006
Permutations and Polynomials Sarah Kitchen February 7, 2006 Suppose you are given the equations x + y + z = a and 1 x + 1 y + 1 z = 1 a, and are asked to prove that one of x,y, and z is equal to a. We
More informationSection Properties of Rational Expressions
88 Section. - Properties of Rational Expressions Recall that a rational number is any number that can be written as the ratio of two integers where the integer in the denominator cannot be. Rational Numbers:
More information8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x)
8. Limit Laws 8.1. Basic Limit Laws. If f and g are two functions and we know the it of each of them at a given point a, then we can easily compute the it at a of their sum, difference, product, constant
More informationSuppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.
Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional
More informationSolutions of exercise sheet 6
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1
More informationSymmetries, Fields and Particles. Examples 1.
Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n n complex matrices U satisfying U U = I. Check
More informationPolynomial Rings. i=0. i=0. n+m. i=0. k=0
Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients
More informationarxiv: v1 [math.gr] 19 Oct 2013
ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS JOHN R. BRITNELL AND MARK WILDON arxiv:1310.5261v1 [math.gr] 19 Oct 2013 Abstract. It is known that that the centralizer of a matrix over
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
More information16.2. Definition. Let N be the set of all nilpotent elements in g. Define N
74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the
More informationArithmetic of the BC-system. A. Connes (CDF)
Arithmetic of the BC-system A. Connes (CDF) (a project in collaboration with C. Consani) Oberwolfach September 2011 The three Witt constructions The BC-endomotive and W 0 ( F p ). The completion W( F p
More informationRoots of Sparse Polynomials over a Finite Field
ANTS-XII August 30, 2016 Sparsity-Dependant Bounds f(x) = c 0 + c 1 x a 1 + c 2 x a 2 + + c t x at R[x]. f is sparse if t deg f. Descartes Rule of Signs: The number of positive, real roots of f is bounded
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationMS 3011 Exercises. December 11, 2013
MS 3011 Exercises December 11, 2013 The exercises are divided into (A) easy (B) medium and (C) hard. If you are particularly interested I also have some projects at the end which will deepen your understanding
More informationSOLVING SOLVABLE QUINTICS. D. S. Dummit
D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationRings. EE 387, Notes 7, Handout #10
Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for
More information7. Baker-Campbell-Hausdorff formula
7. Baker-Campbell-Hausdorff formula 7.1. Formulation. Let G GL(n,R) be a matrix Lie group and let g = Lie(G). The exponential map is an analytic diffeomorphim of a neighborhood of 0 in g with a neighborhood
More informationOn the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem
On the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem Tessa B. McMullen Ethan A. Smith December 2013 1 Contents 1 Universal Enveloping Algebra 4 1.1 Construction of the Universal
More informationCombinatorics of non-associative binary operations
Combinatorics of non-associative binary operations Jia Huang University of Nebraska at Kearney E-mail address: huangj2@unk.edu December 26, 2017 This is joint work with Nickolas Hein (Benedictine College),
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30
NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 25, 2010 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationSupplementary Material for MTH 299 Online Edition
Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think
More informationElementary divisors of Cartan matrices for symmetric groups
Elementary divisors of Cartan matrices for symmetric groups By Katsuhiro UNO and Hiro-Fumi YAMADA Abstract In this paper, we give an easy description of the elementary divisors of the Cartan matrices for
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 informationHigher Hasse Witt matrices. Masha Vlasenko. June 1, 2016 UAM Poznań
Higher Hasse Witt matrices Masha Vlasenko June 1, 2016 UAM Poznań Motivation: zeta functions and periods X/F q smooth projective variety, q = p a zeta function of X: ( Z(X/F q ; T ) = exp m=1 #X(F q m)
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 22, Time Allowed: 150 Minutes Maximum Marks: 30
NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 22, 2012 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationElements with Square Roots in Finite Groups
Elements with Square Roots in Finite Groups M. S. Lucido, M. R. Pournaki * Abstract In this paper, we study the probability that a randomly chosen element in a finite group has a square root, in particular
More informationLANDAU S THEOREM, FIELDS OF VALUES FOR CHARACTERS, AND SOLVABLE GROUPS arxiv: v1 [math.gr] 26 Jun 2015
LANDAU S THEOREM, FIELDS OF VALUES FOR CHARACTERS, AND SOLVABLE GROUPS arxiv:1506.08169v1 [math.gr] 26 Jun 2015 MARK L. LEWIS Abstract. When G is solvable group, we prove that the number of conjugacy classes
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 informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationL-Polynomials of Curves over Finite Fields
School of Mathematical Sciences University College Dublin Ireland July 2015 12th Finite Fields and their Applications Conference Introduction This talk is about when the L-polynomial of one curve divides
More informationElliptic curve cryptography. Matthew England MSc Applied Mathematical Sciences Heriot-Watt University
Elliptic curve cryptography Matthew England MSc Applied Mathematical Sciences Heriot-Watt University Summer 2006 Abstract This project studies the mathematics of elliptic curves, starting with their derivation
More informationSection 0.2 & 0.3 Worksheet. Types of Functions
MATH 1142 NAME Section 0.2 & 0.3 Worksheet Types of Functions Now that we have discussed what functions are and some of their characteristics, we will explore different types of functions. Section 0.2
More informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
More informationCHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and
CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationKIRILLOV THEORY AND ITS APPLICATIONS
KIRILLOV THEORY AND ITS APPLICATIONS LECTURE BY JU-LEE KIM, NOTES BY TONY FENG Contents 1. Motivation (Akshay Venkatesh) 1 2. Howe s Kirillov theory 2 3. Moy-Prasad theory 5 4. Applications 6 References
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationCharacter sheaves and modular generalized Springer correspondence Part 2: The generalized Springer correspondence
Character sheaves and modular generalized Springer correspondence Part 2: The generalized Springer correspondence Anthony Henderson (joint with Pramod Achar, Daniel Juteau, Simon Riche) University of Sydney
More informationCombinatorial Enumeration. Jason Z. Gao Carleton University, Ottawa, Canada
Combinatorial Enumeration Jason Z. Gao Carleton University, Ottawa, Canada Counting Combinatorial Structures We are interested in counting combinatorial (discrete) structures of a given size. For example,
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationCSIR - Algebra Problems
CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationFINITE GROUPS OF LIE TYPE AND THEIR
FINITE GROUPS OF LIE TYPE AND THEIR REPRESENTATIONS LECTURE IV Gerhard Hiss Lehrstuhl D für Mathematik RWTH Aachen University Groups St Andrews 2009 in Bath University of Bath, August 1 15, 2009 CONTENTS
More informationSUMS OF SECOND ORDER LINEAR RECURRENCES THOMAS MCKENZIE AND SHANNON OVERBAY
SUMS OF SECOND ORDER LINEAR RECURRENCES THOMAS MCKENZIE AND SHANNON OVERBAY Abstract. This paper examines second order linear homogeneous recurrence relations with coefficients in finite rings. The first
More information