Crystals, Chemistry, and Space Groups


 Maurice Hampton
 1 years ago
 Views:
Transcription
1 Crystals, Chemistry, and Space Groups Sean McAfee University of Utah September 1, 2015
2 Symmetry The (sometimes vague) idea of symmetry permeates all areas of math and science.
3 Symmetry Physics:
4 Symmetry Biology:
5 Symmetry
6 Symmetry
7 Symmetry
8 Symmetry Chemistry:
9 Symmetry Mathematics: i) x 2 + y 2 + z 2 ii) x 3 + 7x 2 y + 7xy 2 + y 3 iii) x 3 + y 3 + z 3 + xyz 37 The study of socalled symmetric polynomials like these led to the creation of the field of group theory.
10 Groups A group is an object used by mathematicians to study symmetry. Roughly speaking, different groups describe different flavors of symmetry.
11 Groups More precisely, a group (usually denoted G) is defined by two things: i) A set of objects, called elements of G, ii) A rule (denoted by and called multiplication) for combining any two elements of G to get another element of G, such that a) there is an identity element 1 G so that 1 g = g for any g G, b) for each g G, there is an inverse element g 1 G such that g g 1 = 1, and c) the group multiplication is associative: g 1 (g 2 g 3 ) = (g 1 g 2 ) g 3.
12 Groups This definition may look somewhat contrived at first; try thinking of a group as a sort of selfcontained machine, where any action has an opposite action.
13 Groups Groups pop up everywhere; you are already familiar with several examples, such as...
14 Groups Example 1: The set of integers Z, using normal addition as the rule for combining two integers. i) 0 + n = n, n Z ii) n + ( n) = 0, n Z iii) m + (n + p) = (m + n) + p, m, n, p Z
15 Groups Example 2: A vector space V is (among other things) a group, with vectors as elements and vector addition as the rule for combining elements. i) 0 + v = v, v V ii) v + ( v) = 0, v V iii) u + (v + w) = (u + w) + v, u, v, w V
16 Groups Slightly more abstractly, we can consider a triangle floating in two dimensional space. The ways we can manipulate the triangle while keeping its location in space fixed form a group of six elements, called D 3.
17 Groups Yet another group is the set of translations in the plane along the xaxis in integral increments. Notice that this group can be considered the same as Z.
18 Groups We want to understand how groups are used to study symmetry. In particular, we will be interested in how groups describe symmetries of objects in 1,2, and 3dimensional space.
19 Crystals One of the more striking examples of symmetry in nature are in the form of crystals. By definition, a crystal is a solid whose atoms have a periodic arrangement. We can think of them as a single threedimensional pattern repeated forever in three given directions.
20 Crystals
21 Crystals
22 Crystals
23 Crystals We would like a mathematical, methodical way of classifying three dimensional crystals. The trick will be to associated a given crystal with a unique group that describes its symmetry. These are called space groups. We will say that two crystals are the same if they are both described by the same space group. To understand what these groups look like, we need a little more background.
24 Space Groups An isometry of three dimensional space is a motion of the space that preserves distances between points. Some example of isometries are the translations described earlier, rotations around a point, reflections through a fixed plane, and glide reflections (a translation and a reflection at the same time).
25 Space Groups With a little work, it can be shown that all isometries φ of a threedimensional vector space V act on vectors v V by the formula φ(v) = Av + w, Where A is a 3 3 orthogonal matrix and w is a chosen, fixed vector in V.
26 Space Groups In other words, every isometry acts on a vector by first pointing it in a different direction (while preserving its length) and then translating that vector by some distance in the new direction it is pointing.
27 Space Groups Luckily, for our purposes, the set of isometries of V form a group! You can check the requirements for a group (the identity element is just the isometry that does nothing), but the important thing to notice is that the composition of two isometries is another isometry: A(Bv + w B ) + w A = ABv + (Aw B + w A ).
28 Space Groups The isometries of V = R 3 form a gigantic (uncountably infinite) group. The space groups that will describe symmetries of crystals will be subsets (called subgroups) of this larger group. More precisely, a space group G is a discrete subgroup of Isom(R 3 ) such that the quotient space R 3 /G is compact.
29 Space Groups This definition fits exactly with our problem of classifying types of crystals. If we can determine all possible space groups sitting inside of Isom(R 3 ), we will have classified every type of periodic arrangement of solids. To see how this is done, we will look at the easier cases of one and twodimensional space.
30 Space Groups In one dimension, there are exactly two types of space groups: those that describe objects with purely translational symmetry and those that describe objects with both translational and reflection symmetry.
31 Space Groups Case 1: The one dimensional, purely translational symmetry can be seen in the following picture: If we think of each circled dot as lying on an integer, the left and right translations can be described exactly by a choice of positive or negative integer. In other words, the space group G that describes this onedimensional crystal is Z.
32 Space Groups Case 2: The one dimensional symmetry that involves both translations and reflections can be seen in this picture: Here we think of the circled dots and center small dots as lying on integers; our symmetries amount to a choice of distance to translate and a choice of dot to reflect across. In group theory language, this is described by the space group G = Z Z 2. This is known as the infinite dihedral group D.
33 Space Groups The twodimensional case becomes more complicated. There turn out to be 17 different space groups, known as the wallpaper groups.
34 Space Groups
35 Space Groups Like in the onedimensional case, these wallpaper groups can be classified by hand: here is an example of a portion of the flow chart used to do this:
36 Space Groups As an example, consider the following wallpaper pattern: This pattern has translational symmetry in both the vertical and horizontal direction, as well as symmetry by reflections through vertical lines.
37 Space Groups The space group that describes this symmetry is known as pm. Convince yourself that the two patterns below are the same in our symmetrical sense:
38 Space Groups
39 Space Groups
40 Space Groups
41 Space Groups Not surprisingly, the threedimensional case is much more complicated. We shall have mercifully little to say about the 230 space groups... N.W. Ashcroft and N.D. Mermin, Solid State Physics
42 Space Groups The 230 space groups in three dimensional space were classified by hand (with a couple mistakes), in 1891 by Evgraf Federov.
43 Space Groups The method he used was similar to our flow chart from two dimensions; it involved first classifying the solids involved (called fundamental regions) into 7 classes, such as the triclinic solid shown here:
44 Space Groups An example of a crystal from the triclinic categroy is microcline:
45 Space Groups In fact... Another category of crystal is the monoclic. The fundamental region in this category has translation symmetry in three directions and reflection symmetry through parallel vertical planes. An example of this is the crystal gypsum:
46 Space Groups A box full of (three dimensional) Billy Crystals has the same space group as gypsum!
47 Space Groups So, there are 2 space groups of one dimension, 17 of two dimensions, and 230 of of three dimensions. This raises the natural question: what about space groups of n dimensions? Are there always finitely many for a given dimension? This question was formally stated by David Hilbert in 1900 at the International Congress of Mathematicians:
48 Space Groups Is there in ndimensional Euclidean space...only a finite number of essentially different kinds of groups of motions with a compact fundamental domain?
49 Space Groups This question, which is part of a larger question known as Hilbert s 18th Problem, was answered affirmatively by Bierbach in In four dimensions, there are 4894 types of space group. In five dimensions, there are 222,097. In six dimensions, there are 28,927,915. There is no known formula for the number of space groups in n dimensions.
50 Space Groups Modern mathematicians use much more sophisticated tools than flow charts to describe space groups. For a given space group G, we can consider the subgroup M (the lattice) which is responsible for translations, and the subgroup H = G/M (the point group), which is responsible for the symmetries of the fundamental region.
51 Space Groups Unfortunately, the datum from M and H is not enough to define G. We look at an example:
52 Space Groups
53 Space Groups
54 Space Groups Both tilings have translational symmetry in the direction of e 1 and e 2, and both have a fundamental region whose symmetries are given by D 4. However, these tilings do not have the same symmetry since in the first case we can rotate around the intersection of two lines of symmetry, and in the second case we cannot.
55 Space Groups To find the missing information needed to describe G in each case, we need the powerful tool of group cohomology. First we state two facts without proof: Fact 1: If G is a space group, it fits into an exact sequence M G H. Fact 2: In such a case, H acts (faithfully) on M; i.e., M is an Hmodule.
56 Space Groups Group Cohomology in 1 Minute
57 Space Groups Let C n (H, M) be the set of all functions from H n M. This is an abelian group. There exist homomorphisms d n : C n (H, M) C n+1 (H, M) such that d n d n 1 = 0 n. Let Z n (H, M) = Ker(d n ) and B n (H, M) = Im(d n 1 ). Let H n (H, M) = Z n (H, M)/B n (H, M). This is called the n th cohomology group of H with coefficients in M.
58 Space Groups It turns out that the second cohomology, H 2 (H, M) can be identified with the set of space groups G which fill the exact sequence from before! In the case of our example diagrams, we have that H 2 (D 4, Z Z) = Z 2.
59 Space Groups There is much more to be said about space groups and their applications to crystallography. A good start is to read Crystallography and Cohomology of Groups, a short but very well written paper by Howard Hiller.
60 Representations of Groups The classification of space groups is really only half the story; now that we know what they look like, how do we study them in a meaningfull way? One particularly useful tool for this is a group representation.
61 Representations of Groups The motivation for representations comes from the fact that linear algebra is perhaps the most useful and well understood area of math.
62 Representations of Groups Math Problem Is it linear? yes Use linear algebra. no Linearize it! Use linear algebra.
63 Representations of Groups A representation ρ of a group G is a homomorphism from the group to the linear transformations of a chosen ndimensional vector space V, which can be viewed as elements of GL n (C): ρ : G GL n (C).
64 Representations of Groups In other words, a representation ρ of G assigns an invertible matrix to each element of G so that the multiplication in the group is preserved in the image of G: ρ(g 1 g 2 ) = ρ(g 1 )ρ(g 2 ).
65 Representations of Groups As an example, consider the dihedral group D 3 discussed earlier:
66 Representations of Groups We can concretize D 3 by representing these actions on the triangle by matrices that act on, say, the complex plane: ( ) ( ) 1 0 e 2πi/3 0, e 2πi/3 ( ) ( e 2πi/3, 1 0 e 2πi/e 0 ( e 4πi/3 0, 0 e 4πi/3 ), ), ( ) 0 e 4πi/3 e 4πi/3 0
67 Representations of Groups Once we have represented a group in this way, we can talk about it in linear algebraic terms and consider things such as bases, eigenvalue, eigenvectors, Jordan normal form, etc.
68 Representations of Groups We can also use representations to filter out noise and focus on specific symmetry properties while ignoring others. For example, we can look at our representation of D 3 as acting on fourdimensional complex space by just mapping elements of D 3 to two copies of the original inside a 4 4 block diagonal matrix:
69 Representations of Groups ρ(rotation by 120 degrees) = e 2πi/ e 2πi/ e 2πi/ e 2πi/3.
70 Representations of Groups This representation can be thought of as acting on two triangles simultaneously, one living in the first two complex dimensions, and the other living in the third and fourth. Notice that this action moves vectors living in the first two dimensions inside their own subspace:
71 Representations of Groups e 2πi/ e 2πi/ e 2πi/ e 2πi/3 a b 0 = 0 ae 2πi/e be 2πi/3 0 0.
72 Representations of Groups Such a representations is called reducible. It means that we can peel off unneccessary layers of symmetry and focus on smaller things.
73 Representations of Groups An example from chemistry is the symmetry of the water molecule:
74 Representations of Groups The water molecule has rotational, reflection, and translation symmetry when viewed as living inside a large collection of molecules. There is also more subtle symmetry in the form of molecular vibrations: the periodic motion of the bonds between the atoms in the molecule.
75 Representations of Groups By using representations to ignore the nonvibrational symmetries, we can classify the possible motions between the atoms in water:
76 Representations of Groups This construction is too involved for this talk, but it is handled in a very readable, elementary way in the link below: http: // nancy2010/souvignier_irrep_syllabus.pdf
77 Representations of Groups This is the end of the symmetry story for now, I hope this has encouraged you to look more into the fascinating mathematics behind crystallography, group cohomology, and representation theory!
78 Thanks!
Math 396. Quotient spaces
Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition
More informationChapter 3: Groups in science, art, and mathematics
Chapter 3: Groups in science, art, and mathematics Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Spring 2014 M. Macauley (Clemson)
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 informationGENERATING SETS KEITH CONRAD
GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors
More informationGROUPS AND THEIR REPRESENTATIONS. 1. introduction
GROUPS AND THEIR REPRESENTATIONS KAREN E. SMITH 1. introduction Representation theory is the study of the concrete ways in which abstract groups can be realized as groups of rigid transformations of R
More informationFermat s Last Theorem for Regular Primes
Fermat s Last Theorem for Regular Primes S. M.C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.
More informationContents. 1 Vectors, Lines and Planes 1. 2 Gaussian Elimination Matrices Vector Spaces and Subspaces 124
Matrices Math 220 Copyright 2016 Pinaki Das This document is freely redistributable under the terms of the GNU Free Documentation License For more information, visit http://wwwgnuorg/copyleft/fdlhtml Contents
More informationABSTRACT ALGEBRA. Romyar Sharifi
ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory
More informationChapter 4 & 5: Vector Spaces & Linear Transformations
Chapter 4 & 5: Vector Spaces & Linear Transformations Philip Gressman University of Pennsylvania Philip Gressman Math 240 002 2014C: Chapters 4 & 5 1 / 40 Objective The purpose of Chapter 4 is to think
More informationThe Integers. Math 3040: Spring Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers Multiplying integers 12
Math 3040: Spring 2011 The Integers Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers 11 4. Multiplying integers 12 Before we begin the mathematics of this section, it is worth
More informationLecture 8: A Crash Course in Linear Algebra
Math/CS 120: Intro. to Math Professor: Padraic Bartlett Lecture 8: A Crash Course in Linear Algebra Week 9 UCSB 2014 Qué sed de saber cuánto! Pablo Neruda, Oda a los Números 1 Linear Algebra In the past
More informationISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
More informationRepresentation Theory. Ricky Roy Math 434 University of Puget Sound
Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.
More informationDefinition (T invariant subspace) Example. Example
Eigenvalues, Eigenvectors, Similarity, and Diagonalization We now turn our attention to linear transformations of the form T : V V. To better understand the effect of T on the vector space V, we begin
More informationRoss Program 2017 Application Problems
Ross Program 2017 Application Problems This document is part of the application to the Ross Mathematics Program, and is posted at http://u.osu.edu/rossmath/. The Admission Committee will start reading
More information1 Matrices and Systems of Linear Equations
March 3, 203 66. Systems of Linear Equations Matrices and Systems of Linear Equations An m n matrix is an array A = a ij of the form a a n a 2 a 2n... a m a mn where each a ij is a real or complex number.
More informationEigenvalues and Eigenvectors
LECTURE 3 Eigenvalues and Eigenvectors Definition 3.. Let A be an n n matrix. The eigenvalueeigenvector problem for A is the problem of finding numbers λ and vectors v R 3 such that Av = λv. If λ, v are
More informationOn ThreeDimensional Space Groups
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 4 (00), No., 475507. On ThreeDimensional Space Groups John H. Conway Daniel H. Huson Olaf Delgado Friedrichs William P.
More informationMATH 304 Linear Algebra Lecture 20: The GramSchmidt process (continued). Eigenvalues and eigenvectors.
MATH 304 Linear Algebra Lecture 20: The GramSchmidt process (continued). Eigenvalues and eigenvectors. Orthogonal sets Let V be a vector space with an inner product. Definition. Nonzero vectors v 1,v
More informationInner product spaces. Layers of structure:
Inner product spaces Layers of structure: vector space normed linear space inner product space The abstract definition of an inner product, which we will see very shortly, is simple (and by itself is pretty
More informationCS168: The Modern Algorithmic Toolbox Lecture #8: How PCA Works
CS68: The Modern Algorithmic Toolbox Lecture #8: How PCA Works Tim Roughgarden & Gregory Valiant April 20, 206 Introduction Last lecture introduced the idea of principal components analysis (PCA). The
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More information1 Classifying Unitary Representations: A 1
Lie Theory Through Examples John Baez Lecture 4 1 Classifying Unitary Representations: A 1 Last time we saw how to classify unitary representations of a torus T using its weight lattice L : the dual of
More informationFundamentals of Mathematics I
Fundamentals of Mathematics I Kent State Department of Mathematical Sciences Fall 2008 Available at: http://www.math.kent.edu/ebooks/10031/book.pdf August 4, 2008 Contents 1 Arithmetic 2 1.1 Real Numbers......................................................
More informationCHAPTER 3: THE INTEGERS Z
CHAPTER 3: THE INTEGERS Z MATH 378, CSUSM. SPRING 2009. AITKEN 1. Introduction The natural numbers are designed for measuring the size of finite sets, but what if you want to compare the sizes of two sets?
More informationCrystallographic Point Groups and Space Groups
Crystallographic Point Groups and Space Groups Physics 251 Spring 2011 Matt Wittmann University of California Santa Cruz June 8, 2011 Mathematical description of a crystal Definition A Bravais lattice
More informationChapter 8. Rigid transformations
Chapter 8. Rigid transformations We are about to start drawing figures in 3D. There are no builtin routines for this purpose in PostScript, and we shall have to start more or less from scratch in extending
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationExercises to Applied Functional Analysis
Exercises to Applied Functional Analysis Exercises to Lecture 1 Here are some exercises about metric spaces. Some of the solutions can be found in my own additional lecture notes on Blackboard, as the
More informationLinear Algebra and Eigenproblems
Appendix A A Linear Algebra and Eigenproblems A working knowledge of linear algebra is key to understanding many of the issues raised in this work. In particular, many of the discussions of the details
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
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 informationWALLPAPER GROUPS. Julija Zavadlav
WALLPAPER GROUPS Julija Zavadlav Abstract In this paper we present the wallpaper groups or plane crystallographic groups. The name wallpaper groups refers to the symmetry group of periodic pattern in two
More informationChern forms and the Fredholm determinant
CHAPTER 10 Chern forms and the Fredholm determinant Lecture 10: 20 October, 2005 I showed in the lecture before last that the topological group G = G (Y ;E) for any compact manifold of positive dimension,
More informationCourse of algebra. Introduction and Problems
Course of algebra. Introduction and Problems A.A.Kirillov Fall 2008 1 Introduction 1.1 What is Algebra? Answer: Study of algebraic operations. Algebraic operation: a map M M M. Examples: 1. Addition +,
More informationAlgebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.
Coding Theory Massoud Malek Algebra Congruence Relation The definition of a congruence depends on the type of algebraic structure under consideration Particular definitions of congruence can be made for
More informationThe Adjoint Functor Theorem.
The Adjoint Functor Theorem. Kevin Buzzard February 7, 2012 Last modified 17/06/2002. 1 Introduction. The existence of free groups is immediate from the Adjoint Functor Theorem. Whilst I ve long believed
More informationNotes 2 for MAT4270 Connected components and universal covers π 0 and π 1.
Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1. Version 0.00 with misprints, Connected components Recall thaty if X is a topological space X is said to be connected if is not
More informationCHAPTER 1: Functions
CHAPTER 1: Functions 1.1: Functions 1.2: Graphs of Functions 1.3: Basic Graphs and Symmetry 1.4: Transformations 1.5: PiecewiseDefined Functions; Limits and Continuity in Calculus 1.6: Combining Functions
More informationEscher s Tessellations: The Symmetry of Wallpaper Patterns II. 1 February 2012
Escher s Tessellations: The Symmetry of Wallpaper Patterns II 1 February 2012 Symmetry II 1 February 2012 1/32 Brief Review of Monday s class Last time we started to talk about the symmetry of wallpaper
More informationTwo subgroups and semidirect products
Two subgroups and semidirect products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationChapter 4 Vector Spaces And Modules
Chapter 4 Vector Spaces And Modules Up to this point we have been introduced to groups and to rings; the former has its motivation in the set of onetoone mappings of a set onto itself, the latter, in
More informationThe Symmetric Space for SL n (R)
The Symmetric Space for SL n (R) Rich Schwartz November 27, 2013 The purpose of these notes is to discuss the symmetric space X on which SL n (R) acts. Here, as usual, SL n (R) denotes the group of n n
More informationComprehensive Introduction to Linear Algebra
Comprehensive Introduction to Linear Algebra WEB VERSION Joel G Broida S Gill Williamson N = a 11 a 12 a 1n a 21 a 22 a 2n C = a 11 a 12 a 1n a 21 a 22 a 2n a m1 a m2 a mn a m1 a m2 a mn Comprehensive
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An ndimensional manifold is a set
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More information2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.
Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms
More informationHighestweight Theory: Verma Modules
Highestweight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semisimple Lie algebra (or,
More information= 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2
BEGINNING ALGEBRAIC NUMBER THEORY Fermat s Last Theorem is one of the most famous problems in mathematics. Its origin can be traced back to the work of the Greek mathematician Diophantus (third century
More informationNOTES ON VECTORS, PLANES, AND LINES
NOTES ON VECTORS, PLANES, AND LINES DAVID BEN MCREYNOLDS 1. Vectors I assume that the reader is familiar with the basic notion of a vector. The important feature of the vector is that it has a magnitude
More informationSolutions to Example Sheet 1
Solutions to Example Sheet 1 1 The symmetric group S 3 acts on R 2, by permuting the vertices of an equilateral triangle centered at 0 Choose a basis of R 2, and for each g S 3, write the matrix of g in
More informationAfter taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.
Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric
More informationCOMPLEX NUMBERS WITH BOUNDED PARTIAL QUOTIENTS
COMPLEX NUMBERS WITH BOUNDED PARTIAL QUOTIENTS WIEB BOSMA AND DAVID GRUENEWALD Abstract. Conjecturally, the only real algebraic numbers with bounded partial quotients in their regular continued fraction
More informationTOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NWSE diagonals constant. f e C :
TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 18811940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted
More informationMATH 320, WEEK 6: Linear Systems, Gaussian Elimination, Coefficient Matrices
MATH 320, WEEK 6: Linear Systems, Gaussian Elimination, Coefficient Matrices We will now switch gears and focus on a branch of mathematics known as linear algebra. There are a few notes worth making before
More informationGROUP ACTIONS KEITH CONRAD
GROUP ACTIONS KEITH CONRAD 1. Introduction The symmetric groups S n, alternating groups A n, and (for n 3) dihedral groups D n behave, by their very definition, as permutations on certain sets. The groups
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. GModules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of Gmodules, mostly for finite groups, and a recipe for finding every irreducible Gmodule of a
More informationFigure 1. Symmetries of an equilateral triangle
1. Groups Suppose that we take an equilateral triangle and look at its symmetry group. There are two obvious sets of symmetries. First one can rotate the triangle through 120. Suppose that we choose clockwise
More informationWhat is proof? Lesson 1
What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might
More informationGeometric Transformations and Wallpaper Groups
Geometric Transformations and Wallpaper Groups Lance Drager Texas Tech University Geometric Transformations IV p.1/35 Symmetries of Geometric Patterns (Discrete Groups of Isometries) Geometric Transformations
More informationJORDAN AND RATIONAL CANONICAL FORMS
JORDAN AND RATIONAL CANONICAL FORMS MATH 551 Throughout this note, let V be a ndimensional vector space over a field k, and let φ: V V be a linear map Let B = {e 1,, e n } be a basis for V, and let A
More informationOn 2Representations and 2Vector Bundles
On 2Representations and 2Vector Bundles Urs April 19, 2007 Contents 1 Introduction. 1 1.1 Fibers for 2Vector Bundles...................... 2 1.2 The canonical 2representation.................... 3
More informationTranslation Groups; Introduction to Bands and Reciprocal Space. Timothy Hughbanks, Texas A& M University
Translation Groups; Introduction to Bands and Reciprocal Space Timothy Hughbanks, Texas A& M University The Onedimensional Translation Group If chemists wish to understand the symmetry properties of a
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationftuiowamath2550 Assignment OptionalFinalExamReviewMultChoiceMEDIUMlengthForm due 12/31/2014 at 10:36pm CST
me me ftuiowamath255 Assignment OptionalFinalExamReviewMultChoiceMEDIUMlengthForm due 2/3/2 at :3pm CST. ( pt) Library/TCNJ/TCNJ LinearSystems/problem3.pg Give a geometric description of the following
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 information1 Invariant subspaces
MATH 2040 Linear Algebra II Lecture Notes by Martin Li Lecture 8 Eigenvalues, eigenvectors and invariant subspaces 1 In previous lectures we have studied linear maps T : V W from a vector space V to another
More informationMath Linear Algebra II. 1. Inner Products and Norms
Math 342  Linear Algebra II Notes 1. Inner Products and Norms One knows from a basic introduction to vectors in R n Math 254 at OSU) that the length of a vector x = x 1 x 2... x n ) T R n, denoted x,
More informationFALL 2011, LECTURE 1 (9/8/11) This is subject to revision. Current version: Thu, Sep 8, 1:00 PM
18700 FALL 2011, LECTURE 1 (9/8/11) TRAVIS SCHEDLER This is subject to revision Current version: Thu, Sep 8, 1:00 PM Abstract In this lecture, I will broadly sketch what linear algebra is and why we should
More informationCalculus at Rutgers. Course descriptions
Calculus at Rutgers This edition of Jon Rogawski s text, Calculus Early Transcendentals, is intended for students to use in the threesemester calculus sequence Math 151/152/251 beginning with Math 151
More information1. Characterization and uniqueness of products
(March 16, 2014) Example of characterization by mapping properties: the product topology Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes
More informationFormal power series rings, inverse limits, and Iadic completions of rings
Formal power series rings, inverse limits, and Iadic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationLinear Algebra & Geometry why is linear algebra useful in computer vision?
Linear Algebra & Geometry why is linear algebra useful in computer vision? References: Any book on linear algebra! [HZ] chapters 2, 4 Some of the slides in this lecture are courtesy to Prof. Octavia
More informationIntroduction to Vectors
Introduction to Vectors K. Behrend January 31, 008 Abstract An introduction to vectors in R and R 3. Lines and planes in R 3. Linear dependence. 1 Contents Introduction 3 1 Vectors 4 1.1 Plane vectors...............................
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationGAUSS CIRCLE PROBLEM
GAUSS CIRCLE PROBLEM 1. Gauss circle problem We begin with a very classical problem: how many lattice points lie on or inside the circle centered at the origin and with radius r? (In keeping with the classical
More informationMatrices and Linear transformations
Matrices and Linear transformations We have been thinking of matrices in connection with solutions to linear systems of equations like Ax = b. It is time to broaden our horizons a bit and start thinking
More informatione j = Ad(f i ) 1 2a ij/a ii
A characterization of generalized KacMoody algebras. J. Algebra 174, 10731079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized KacMoody algebras can be
More informationImage Registration Lecture 2: Vectors and Matrices
Image Registration Lecture 2: Vectors and Matrices Prof. Charlene Tsai Lecture Overview Vectors Matrices Basics Orthogonal matrices Singular Value Decomposition (SVD) 2 1 Preliminary Comments Some of this
More informationInstructor Notes for Chapters 3 & 4
Algebra for Calculus Fall 0 Section 3. Complex Numbers Goal for students: Instructor Notes for Chapters 3 & 4 perform computations involving complex numbers You might want to review the quadratic formula
More informationDIHEDRAL GROUPS II KEITH CONRAD
DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite
More informationGroups 32. by John J Wavrik Dept. of Math UCSD Sample Problems with Solutions
Groups 32 by John J Wavrik Dept. of Math UCSD Sample Problems with Solutions The purpose of this handout is to show how Groups32 can help a student solve problems. All problems are solved using a combination
More informationAbstract Algebra Part I: Group Theory
Abstract Algebra Part I: Group Theory From last time: Let G be a set. A binary operation on G is a function m : G G G Some examples: Some nonexamples Addition and multiplication Dot and scalar products
More informationFinite Fields: An introduction through exercises Jonathan Buss Spring 2014
Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence
More informationMath 110 Linear Algebra Midterm 2 Review October 28, 2017
Math 11 Linear Algebra Midterm Review October 8, 17 Material Material covered on the midterm includes: All lectures from Thursday, Sept. 1st to Tuesday, Oct. 4th Homeworks 9 to 17 Quizzes 5 to 9 Sections
More informationHONORS LINEAR ALGEBRA (MATH V 2020) SPRING 2013
HONORS LINEAR ALGEBRA (MATH V 2020) SPRING 2013 PROFESSOR HENRY C. PINKHAM 1. Prerequisites The only prerequisite is Calculus III (Math 1201) or the equivalent: the first semester of multivariable calculus.
More informationCubic curves: a short survey
ICAMMP 4 47 January 5 SUST, Sylhet, Bangladesh Cubic curves: a short survey Balázs Szendrői Department of Mathematics, University of Utrecht, The Netherlands szendroi@math.uu.nl http://www.math.uu.nl/people/szendroi
More informationMATH Linear Algebra
MATH 4  Linear Algebra One of the key driving forces for the development of linear algebra was the profound idea (going back to 7th century and the work of Pierre Fermat and Rene Descartes) that geometry
More informationGROUPS. Chapter1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION
Chapter1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations
More informationLecture 19: Introduction to Linear Transformations
Lecture 19: Introduction to Linear Transformations Winfried Just, Ohio University October 11, 217 Scope of this lecture Linear transformations are important and useful: A lot of applications of linear
More informationThe Geometry of Root Systems. Brian C. Hall
The Geometry of Root Systems A E Z S Brian C. Hall T G R S T G R S 1 1. I Root systems arise in the theory of Lie groups and Lie algebras, but can also be studied as mathematical objects in their own right.
More informationLinear Algebra Final Exam Review
Linear Algebra Final Exam Review. Let A be invertible. Show that, if v, v, v 3 are linearly independent vectors, so are Av, Av, Av 3. NOTE: It should be clear from your answer that you know the definition.
More informationThe GramSchmidt Process
The GramSchmidt Process How and Why it Works This is intended as a complement to 5.4 in our textbook. I assume you have read that section, so I will not repeat the definitions it gives. Our goal is to
More informationFinding Prime Factors
Section 3.2 PREACTIVITY PREPARATION Finding Prime Factors Note: While this section on fi nding prime factors does not include fraction notation, it does address an intermediate and necessary concept to
More informationare essentially different? Imagine them as made out of string. No fidgeting with them (without cutting) can make them look identical!
The first Abel Prize has been awarded to JeanPierre Serre, one of the great mathematicians of our time. Serre is an Emeritus Professor at the Collège de France in Paris. He has made profound contributions
More informationLecture Notes: The Halting Problem; Reductions
Lecture Notes: The Halting Problem; Reductions COMS W3261 Columbia University 20 Mar 2012 1 Review Key point. Turing machines can be encoded as strings, and other Turing machines can read those strings
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationGroup Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.
Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite
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 information