DISCRETE SUBGROUPS, LATTICES, AND UNITS.
|
|
- Avice Cox
- 6 years ago
- Views:
Transcription
1 DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv Zv d where v 1,..., v d is a basis of V. A subset B of the real vector space R n is called discrete if the intersection between B and any bounded subset of R n is finite (here we envision R n as being equipped with the usual metric coming from the usual measure v of length of vectors v R n ). Proposition 1. (i). If Λ is a lattice in R n then Λ is discrete in R n. (ii). Suppose that Λ be a discrete subgroup of the real vector space R n, i.e., Λ is a subgroup of R n that is discrete as a subset of R n. Then Λ is a lattice in the subspace V of R n that it generates as vector space. In particular, Λ is a free abelian group of rank n. Proof. (i). Write Λ = Zv Zv n with v 1,..., v n a basis of R n. The matrix M having the v i s as columns is then invertible. If x is a lattice point we can write: ) x = M ( a1 with integers a i and where we view x as a column vector. We obtain: ) ( a1. a n. a n = M 1 x and consequently (with just a rough estimate), a i c n x where c is the maximum of the numerical values of entries of M 1. Thus, if we require a lattice point x to be in some bounded subset of R n there are only finitely many possibilities for the a i, and hence only finitely many such lattice points. (ii). Let V be the subspace of R n that is generated by Λ (i.e., V is the subspace consisting of all R-linear combinations of elements of Λ). Let d := dim V so that d n. Now, Λ must contain a basis of V as vector space; suppose that v 1,..., v d Λ is a basis of V. It is easily seen that Λ is discrete as a subset of V. 1
2 2 IAN KIMING Consider then the subgroup Λ 0 := Zv Zv d of Λ. Then Λ 0 = Z d as the v i are R-linearly independent, and hence in particular Z-linearly independent. Since V is generated over R by the v i we see that any element v V can be written: ( ) v = a 1 v a d v d + x 0, with a i R, 0 a i < 1, x 0 Λ 0. As Λ V we see in particular that any element of Λ can be written in the form ( ). We deduce that any coset of Λ/Λ 0 has a representative x of form ( ) x = a 1 v a d v d, with a i R, 0 a i < 1. But if x Λ has shape ( ) then x i a i v i i v i. But then x is in the intersection Λ {v V v i v i } which is a finite set because Λ is discrete in V. We conclude that Λ/Λ 0 is finite. If we put a := [Λ : Λ 0 ] we have then that a Λ Λ 0. By exercise 24, page 44 of [1], we have that a Λ is a free abelian group of rank d. Since x ax is clearly an isomorphism of Λ onto a Λ, we have that Λ is a free abelian group of rank d. But since Λ contains Λ 0 which is free of rank d, we conclude that Λ is free of rank d. If now x 1,..., x d is a Z-basis of Λ then the v i are Z-linear combinations of the x i. We conclude that the x i generate V as a real vector space, and hence that Λ is a lattice in V. 2. The logarithmic map on units in algebraic number fields. In this section we work with the following setup: K is an algebraic number field of degree n over Q. Denote by U K the abelian group of units, that is, multiplicatively invertible elements of the ring O K of algebraic integers in K. We denote by r and s the number of real embeddings K R, and the number of pairs of complex conjugate embeddings K C, respectively. Thus, r + 2s = n. Let σ 1,..., σ r denote the r real embeddings K R, and let (τ 1, τ 1 ),..., (τ s, τ s ) denote the s pairs of complex conjugate embeddings K C. We then define the logarithmic map l: U K R r+s as follows: l(u) := (log σ 1 (u),..., log σ r (u), log τ 1 (u) 2,..., log τ s (u) 2 ). Notice that this definition is independent of whether we use τ j or τ j from a pair (τ j, τ j ) of complex conjugate embeddings in the definition. Proposition 2. (i). The logarithmic map l is a homomorphism of abelian groups with image l(u K ) contained in the hyperplane H := {(x 1,..., x r+s ) x x r+s = 0}. (ii). If B is a bounded subset of R r+s then l 1 (B) is a finite subset of U K.
3 DISCRETE SUBGROUPS, LATTICES, AND UNITS. 3 Proof. (i). That l is a homomorphism, i.e., that l(u 1 u 2 ) = l(u 1 ) + l(u 2 ) is immediately clear. Let u U K. We know that then N K/Q (u) = ±1; but this means: r s 1 = N K/Q (u) = σ i (u) τ j (u) τ j (u) = i=1 r σ i (u) i=1 as τ j (u) = τ j (u) for j = 1,..., s. So, r 0 = log σ i (u) + i=1 which just means that l(u) H. j=1 s τ j (u) 2 j=1 s log τ j (u) 2 (ii). Let u U K. Observe that any bound on l(u) implies a bound on the numerical values of the coordinates of l(u) and hence a bound on the numerical value of all conjugates σ i (u) and τ j (u), τ j (u) of u. This again implies a bound on the numerical values of the coordinates of φ(u) where φ: K R n is the map that we introduced earlier (cf. [1], p. 133): φ(u) := (σ 1 (u),..., σ r (u), Re(τ 1 (u)), Im(τ 1 (u)),..., Re(τ s (u)), Im(τ s (u))). We have shown that if l(u) lies in a given bounded subset B of R r+s then φ(u) lies in a certain bounded subset of R n (that could be specified explicitly in terms of B). But since we already know, cf. the theorem 36, p. 134, of [1], that φ(o K ) is a lattice in R n, and since U K O K, we conclude by Proposition 1 (i) that there are only finitely many possibilities for u U K if l(u) is required to lie in a given bounded subset B. Corollary 1. The logarithmic map l maps U K to a lattice in some subspace of the hyperplane H := {(x 1,..., x r+s ) x x r+s = 0}. The kernel of l consists of the roots of unity in K. Proof. Proposition 2 implies that l(u K ) is a discrete subgroup of H. The first claim then follows from Proposition 1 (ii). Let u U K. If u is a root of unity then so is every conjugate of u and so every conjugate of u has numerical value 1. We see then that l(u) = 0. On the other hand, consider the set: j=1 W := {u U K l(u) = 0}. We certainly have that W is contained in l 1 of the unit ball of R r+s ; proposition 2 (ii) then implies that W is finite. But since l is a homomorphism U K R r+s of abelian groups we have u i W for all i Z if u W. So if u W there are necessarily 2 distinct integers i and j such that u i = u j. Then u i j = 1 and u is a root of unity.
4 4 IAN KIMING Notice that the previous proof gives in particular a new proof of the fact that there are only finitely many roots of unity in K. Corollary 2. For the abelian group U K we have: U K = W F where W is the finite subgroup of roots of unity in K and F is a free abelian group of rank r + s 1. Proof. The image l(u K ) under the logarithmic map is a lattice in a subspace of R r+s of dimension r+s 1; in particular this image is free of some rank d r+s 1. Choose units u 1,..., u d U K such that l(u 1 ),..., l(u d ) is a Z-basis of the free abelian group l(u K ). Since the kernel of l is W it is now clear that U K is generated as abelian group by W and the u i. Letting F denote the subgroup of U K generated by the u i, we have that F is free of rank d with Z-basis u 1,..., u d : For any relation u a1 1 ua d d = 1 with a i Z implies a 1 l(u 1 ) a d l(u d ) = 0 and thus a 1 =... a d = 0. In particular, the only element of finite order in F is 1 so we have W F = {1}. But then U K = W F follows. The following lemma is an application of Minkowski s lemma on convex bodies. We will need it for the proof of Dirichlet s unit theorem. Lemma 1. Fix any integer k with 1 k r + s. Then given any nonzero element α O K there is a nonzero β O K such that ( ) s 2 N K/Q (β) disc(k), π and such that: and: σ i (β) < σ i (α) if i k, τ j (β) < τ j (α) if r + j k. Proof. Since α 0 we can, and will, choose positive real numbers c i, i = 1,..., r+s such that: c i < σ i (α) for i = 1,..., r, i k, c r+j < τ j (α) 2 for j = 1,..., s, r + j k, and furthermore: ( ) s 2 c 1 c r+s = disc(k). π Consider now the subset E of R n defined by the inequalities: x 1 c 1,..., x r c r, x 2 r+1 + x 2 r+2 c r+1,..., x 2 n 1 + x 2 n c r+s.
5 DISCRETE SUBGROUPS, LATTICES, AND UNITS. 5 Then E is compact and easily seen to be centrally symmetric and convex with volume: vol(e) = (2c 1 ) (2c r ) (πc r+1 ) (πc r+s ) = 2 r π s i c i = 2 r+s disc(k) = 2 r+2s vol(r n /φ(o K )) = 2 n vol(r n /φ(o K )) where again φ is the embedding K R n discussed earlier, and where we used theorem 36 of [1]. Now Minkowski s lemma implies the existence of a nonzero point in the intersection between E and the lattice φ(o K ). Writing this lattice point as φ(β) with β O K, we have β 0. Since β E we find: N K/Q (β) ( ) s 2 c i = disc(k), π i and also that β has the remaining desired properties: σ i (β) c i < σ i (α) for i = 1,..., r, i k, τ j (β) c r+j < τ j (α) for j = 1,..., s, r + j k. Lemma 2. Fix any integer k with 1 k r + s. Then there is u U K such that if l(u) = (y 1,..., y r+s ) then y i < 0 for i k. Proof. Choosing any nonzero element α 1 O K and applying Lemma 1 repeatedly we find a sequence α 1, α 2,... of nonzero elements of O K such that, for all m N, and: σ i (α m+1 ) < σ i (α m ) if i k, τ j (α m+1 ) < τ j (α m ) if r + j k, and such that all numbers N K/Q (α m ) are bounded by a certain constant. Since (α m ) = N K/Q (α m ), a previous argument shows that there are only finitely many distinct ideals among the principal ideals (α m ) (consider the prime factorizations of the ideals). Consequently, there exist m, t N with m < t and such that (α m ) = (α t ). But then α t = u α m with a unit u, and we find (using t > m): log σ i (u) = log σ i (α t ) log σ i (α m ) < 0 for i = 1,..., r, i k, log τ j (u) 2 = 2 log τ j (α t ) 2 log τ j (α m ) < 0 for j = 1,..., s, r + j k. As l(u) = (log σ 1 (u),..., log σ r (u), log τ 1 (u) 2,..., log τ s (u) 2 ), the unit u has the desired properties.
6 6 IAN KIMING References [1] D. A. Marcus: Number fields. Springer-Verlag 1995 (Corr. 3rd printing). Department of Mathematics, University of Copenhagen, Universitetsparken 5, DK Copenhagen Ø, Denmark. address:
15 Dirichlet s unit theorem
18.785 Number theory I Fall 2017 Lecture #15 10/30/2017 15 Dirichlet s unit theorem Let K be a number field. The two main theorems of classical algebraic number theory are: The class group cl O K is finite.
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationSection II.1. Free Abelian Groups
II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
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 informationARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND.
ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND. IAN KIMING We will study the rings of integers and the decomposition of primes in cubic number fields K of type K = Q( 3 d) where d Z. Cubic number fields
More informationAlgebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
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 informationSome notes on Coxeter groups
Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationAlgebraic number theory
Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim
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 informationMINKOWSKI THEORY AND THE CLASS NUMBER
MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationIRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES.
IRREDUCIBILITY OF ELLIPTIC CURVES AND INTERSECTION WITH LINES. IAN KIMING 1. Non-singular points and tangents. Suppose that k is a field and that F (x 1,..., x n ) is a homogeneous polynomial in n variables
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationAn algebraic perspective on integer sparse recovery
An algebraic perspective on integer sparse recovery Lenny Fukshansky Claremont McKenna College (joint work with Deanna Needell and Benny Sudakov) Combinatorics Seminar USC October 31, 2018 From Wikipedia:
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationMAT 535 Problem Set 5 Solutions
Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)
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 informationA GENERALIZATION OF DIRICHLET S S-UNIT THEOREM
A GENERALIZATION OF DIRICHLET -UNIT THEOREM PAUL FILI AND ZACHARY MINER Abstract. We generalize Dirichlet s -unit theorem from the usual group of -units of a number field K to the infinite rank group of
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 informationLOCAL FIELDS AND p-adic GROUPS. In these notes, we follow [N, Chapter II] most, but we also use parts of [FT, L, RV, S].
LOCAL FIELDS AND p-adic GROUPS MATH 519 In these notes, we follow [N, Chapter II] most, but we also use parts of [FT, L, RV, S]. 1. Absolute values Let K be a field. An absolute value on K is a function
More information1 Smooth manifolds and Lie groups
An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).
18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationLINEAR FORMS IN LOGARITHMS
LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More informationDIRICHLET S UNIT THEOREM
DIRICHLET S UNIT THEOREM KEITH CONRAD 1. Introduction Dirichlet s unit theorem describes the structure of the unit group of any order in a number field. Theorem 1.1 (Dirichlet, 1846). Let K be a number
More informationNotes 10: Consequences of Eli Cartan s theorem.
Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationCONSTRUCTION OF THE REAL NUMBERS.
CONSTRUCTION OF THE REAL NUMBERS. IAN KIMING 1. Motivation. It will not come as a big surprise to anyone when I say that we need the real numbers in mathematics. More to the point, we need to be able to
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationSurjectivity in Honda-Tate
Surjectivity in Honda-Tate Brian Lawrence May 5, 2014 1 Introduction Let F q be a finite field with q = p a elements, p prime. Given any simple Abelian variety A over F q, we have seen that the characteristic
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
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 informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
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 informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
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 information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
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 information4. The concept of a Lie group
4. The concept of a Lie group 4.1. The category of manifolds and the definition of Lie groups. We have discussed the concept of a manifold-c r, k-analytic, algebraic. To define the category corresponding
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension
More informationSome practice problems for midterm 2
Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationSYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS
1 SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS HUAJUN HUANG AND HONGYU HE Abstract. Let G be the group preserving a nondegenerate sesquilinear form B on a vector space V, and H a symmetric subgroup
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 information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationChapter 1. Preliminaries
Introduction This dissertation is a reading of chapter 4 in part I of the book : Integer and Combinatorial Optimization by George L. Nemhauser & Laurence A. Wolsey. The chapter elaborates links between
More information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
More informationWhere is matrix multiplication locally open?
Linear Algebra and its Applications 517 (2017) 167 176 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Where is matrix multiplication locally open?
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 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 informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
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 informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More informationMath 213a: Complex analysis Notes on doubly periodic functions
Math 213a: Complex analysis Notes on doubly periodic functions Lattices. Let V be a real vector space of dimension n. A subgroup L V is said to be a lattice if it satisfies one of the following equivalent
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
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 informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
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 informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Common Homoclinic Points of Commuting Toral Automorphisms Anthony Manning Klaus Schmidt
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationSolutions of exercise sheet 8
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More informationB Sc MATHEMATICS ABSTRACT ALGEBRA
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z
More information18 The analytic class number formula
18.785 Number theory I Lecture #18 Fall 2015 11/12/2015 18 The analytic class number formula The following theorem is usually attributed to Dirichlet, although he originally proved it only for quadratic
More informationCoding theory: algebraic geometry of linear algebra David R. Kohel
Coding theory: algebraic geometry of linear algebra David R. Kohel 1. Introduction. Let R be a ring whose underlying set we call the alphabet. A linear code C over R is a free R-module V of rank k, an
More informationCosets, factor groups, direct products, homomorphisms, isomorphisms
Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely
More informationCHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS
CHARACTER THEORY OF FINITE GROUPS Chapter 1: REPRESENTATIONS G is a finite group and K is a field. A K-representation of G is a homomorphism X : G! GL(n, K), where GL(n, K) is the group of invertible n
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More information1 Maximal Lattice-free Convex Sets
47-831: Advanced Integer Programming Lecturer: Amitabh Basu Lecture 3 Date: 03/23/2010 In this lecture, we explore the connections between lattices of R n and convex sets in R n. The structures will prove
More informationAbstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications
1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
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 informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
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 information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationNotation. 0,1,2,, 1 with addition and multiplication modulo
Notation Q,, The set of all natural numbers 1,2,3, The set of all integers The set of all rational numbers The set of all real numbers The group of permutations of distinct symbols 0,1,2,,1 with addition
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 informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationMath 547, Exam 1 Information.
Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationHASSE-MINKOWSKI THEOREM
HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.
More informationLINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS
LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F has characteristic zero. The following are facts (in
More information