Fourier Series and Finite Abelian Groups William C. Schulz Department of Mathematics and Statistics, Northern Arizona University, Flagstaff, AZ 86011
|
|
- Patricia Beasley
- 5 years ago
- Views:
Transcription
1 Fourier Series and Finite Abelian Groups William C. Schulz Department of Mathematics and Statistics, Northern Arizona University, Flagstaff, AZ 860. INTRODUCTION The purpose of this paper is to illustrate how Fourier Series and the Fourier Transform appear as generalizations of natural activities related to the Group Algebra of a finite Abelian Group. The connection between Fourier activities and Representation theory has long been nown and in this paper I want to illustrate this at the most elementary possible level. I will loo at the Group Algebra with the ultimate goal of setting up a Fourier Transform in the finite group situation which will then generalize to the ordinary Fourier Series and Fourier Transform when we change to other groups.. THE GROUP ALGEBRA We will illustrate the ideas mostly by example on the smallest possible Abelian group on which we can wor; C, the cyclic group of order four. The fact that C is cyclic has no effect on our examples and will be ignored; I am using C because it is the smallest group for which the representations require complex numbers. Because several inds of multiplication will occur in our discussion we will use for multiplication in the group G C. Our group G is e e e 3 e e e e e 3 e e e e 3 e e e 3 e 3 e e e e e e e e 3 and we write e e e. It is critical for our purposes that C is commutative as this means all the irreducible representations are one dimensional. For any commutative Ring F it is possible to form F(G) made up of formal lineear combinations of group elements with coefficients from F. For example, if F Z then f e + 3e e 3 g e + 5e + e 5 Aug 008
2 are elements of Z(G) and multiplication is f g (e + 3e e 3 ) (e + 5e + e ) e e + 0e e + e e + 6e e + 5e e + 3e e 8e 3 e 0e 3 e e 3 e e + 0e + e + 6e + 5e 3 + 3e 8e 3 0e e 7e + e + 7e 3 8e We will have several more examples of this sort but in order not to brea up the flow they are in Section 5 EXMAPLES. The reader may wish to loo at this section from time to time as we coninute our development. The examples are arranged in the same order as the development. Let s now loo more closely at multiplication in the group algebra. We can then write f f i e i g g j e j and we have then where i f g h i h e e i e je f i g j. For later purposes we will want to loo at these formulas from a different angle. Instead of seeing a group algebra element is regarded as a linear combination of group elements we can loo at is as a function from the group to the commutative ring F. Thus the element f f e +f e +f 3 e 3 +f e we regard as the function: j f(e ) f, f(e ) f, f(e 3 ) f 3, f(e ) f Rewritten in this manner the function f g has the formula (f g)(e ) e i e je f(e i )g(e j ). where h(e ) h and h is given by the formula above. 3. HOMOMORPHISMS OF THE GROUP AND THE GROUP ALGEBRA Because we want to use ordinary Group Represention theory we will now specialize to the case where F C, the complex numbers. Now we consider irreducible representations of G which, because G is commutative, are all one
3 dimensional. These irreducible representations are functions φ : G C which satisfy φ(x y) φ(x)φ(y). Since x e for all x G, we have φ(e) φ(x ) φ(x) for all x G. so that, in our example, φ(x) is always a fourth root of unity in C. (In general φ(x) will be a th root of unity.) It is natural to extend the homomorphism φ to the Group Algebra by simply using linearity: φ(f) φ( f i e i ) f i φ(e i ) C and we now as how φ treats multiplication in the Group Algebra. We see that, with our previous notation, φ(f g) φ( h i e i ) h i φ(e i ) ( ) f j g φ(ei ) i e j e e i f j g φ(e j e ) j, ( )( ) f j φ(e j ) g φ(e ) j φ(f)φ(g) so that φ is an algebra homomorphism φ : C(G) C. The irreducible representations of G are easily found; they are e e e 3 e φ φ i i φ 3 φ i i We notice that the columns are orthogonal; to be more precise we put an inner product on C defined by < (x, x, x 3, x ) (y, y, y 3, y ) > x i y i and with this inner product the columns are orthogonal (as are the rows). We will now put an inner product on the group algebra by simply using the inner product in C defined above. We define (f, g) f(e i )g i i 3 f i g i i i
4 At this point we will begin to explicitly explore the analogy between our situation with G {e, e, e 3, e } and Fourier series. For Fourier series the group is T, the one dimensional torus, or more familarly the unit circle in C. The group elements are parametrized by t R/Z so that a group element a e it. Thye group homomorphisms are φ n whereφ n (a) e int. The group algebra is the set of continuous functions f : T C; that is the continuous periodic functions with period π. The inner product is (f, g) π π 0 f(t)g(t) dt We note the changes; since the group is a continuous group the linear algebra method f i f ie i is no longer available to us, the sum is replaced by an integral, and the size of the group is replaced by its measure π. Note that in both cases if we tae the sum of the homomorphism which sends everything to the identity (φ for G and φ 0 for T ) over the group we get the measure of the group, ( for G and π for T ). A Stiljes measure would do both jobs at once. Another difference is there is a countable set of homomorphisms φ n, n...,, 0,,,... for T. This is characteristic for abelian continuous groups which are compact. We will need the orthogonality relations. Notice that the conjubage of a homormorphism is also a group homomorphism; from the table φ φ, φ φ, φ 3 φ 3, φ φ If we regard the φ i as elements of the group algebra then (φ i, φ j ) φ i (e )φ j (e ) φ i (e )φ j (e ) δ ij as we see from the table and fairly easy to prove for the irreducible representations of any Abelian Group. Note that according to the definitions we have φ i (f) φ i f (e ) f φ i (e ) f φ i (e ) Note that the f are not conjugated.. FOURIER THEORY Now we wish to introduce the Fourier Transform for a finite Abelian group. In this theory the size or measure of the group must show up somewhere. This is for our G C and it is T π for the circle group. Exactly where the size is placed is a matter of choice and I have chosen to place it so it corresponds to the position in classical Fourier series formulas.
5 We define the Fourier Transform for G C, with f i f ie i by F(f) ( φ (f), φ (f), φ 3 (f), φ (f) ) This will give us the set of coefficients we need to reconstruct f as a linear combination of the homomorphisms φ i. In fact, setting c i φ i(f) we will have f c i φ i φ i (f)φ i i i To see this is correct, let us apply the formula to e j : i φ i (f)φ i (e j ) f j f(e j ) ( φ i f e )φ i (e j ) i ( ) f φ i (e ) φ i (e j ) i ( ) f φ i (e )φ i (e j ) i f δ j It is also possible to write the formula for Fourier coefficients in terms of the inner product: c i φ i(f) φ i( f j e j ) φi (e j )f(e j ) (φ i, f) φi (e j )f j These formulas illustrate the algebraic heart of Fourier thoery or Harmonic analysis. In more complex situations finite sums become infinite sums or integrals, there are convergence questions which are critical, and the series may not converge for every function in the group algebra. However we will always find the basic algebraic seleton of the last two calculations. For example, we will always have the interchange of order of sums that we see in the first calculation although it may turn out to be an interchange of a sum and an integral or interchange of order in a double integral, and may require quite delicate analysis to justify. The end result will always be a representation of the element of the group algebra (except for possible convergence difficulties) in terms of sums or integrals of homomorphisms multiplied by suitable coeeficients. 5
6 Now let s tae a quic loo at the Fourier series analog, where G T and φ n is the homomorphism given my e int. The size of the group is found integrating the unit homomorphism over the group: T π 0 φ 0 (t) dt π 0 e i0t dt π The Fourier Transform which is this case is the series of coefficients of the Fourier series is given by F(f) (..., c, c 0, c, c,... ) where π c n e int dt 0 φ n(f) (φ n, f) just as in C but with integral instead of sum. The formula that reconstitutes f as a weighted sum of homomorphisms is f(t) c n φ n n n c n e int just as in C. Of course to really prove these formulas one must bring some analysis on stage. Next we wish to compare the inner product (f, g) with the inner product ( ˆf, ˆf). This is easy due to the orthogonality relations. We tae ˆf (c, c, c 3, c ) c i φ i(f) ĝ (d, d, d 3, d ) d i φ i(g) so we have, with the C inner product, (f, g) c i d i φ i (f) φ i (g) i ( )( ) f j φ i (e j ) g φ i (e ) i j ( ) f j g φ i (e j )φ i (e ) j f j g δ j j f j g j j (f, g) 6 i
7 where (f, g) is the inner product in C(G). This is the Plancherel Theorem. If we set f g we have ˆf f For G T the corresponding formula is c n π n π 0 f dt Next we want to find what happens to the Fourier Transforms when functions are multiplied in the group algebra. Recall that f g h e where h f i g j e i e je which we recall is a very natural operation in the group algebra. Now if ˆf (c, c, c 3, c ) ĝ (d, d, d 3, d ) we as what is f g? Once again tis is easy and rests on the defining property of the homomorphisms φ (e i e j ) φ (e i )φ (e j ). We have, using componentwise multiplication in C, ˆfĝ (c d, c d, c 3 d 3, c d ) To decode the meaning we calculate, with h f g, c d which means that we have φ (f)φ (g) φ ( f i e i )φ ( g j e j ) i j f i g j φ (e i )φ (e j ) ij f i g j φ (e i e j ) ij f i g j φ (e l ) e i e je l φ ( h ) l h l φ (e l ) φ (h) ˆfĝ ĥ f g 7
8 The Fourier series analog of this would be π The Fourier series of π f(t u)g(u)du is 0 n c nd n e int. 5. SOME EXAMPLES In this section we present examples of the theory for the group C using f e + 3e e 3 g e + 5e + e f g 7e + e + 7e 3 8e Recall that we previously have calculated f g. We first find the Fourier Transform ˆf of f and show that f reconstitutes properly as a weighted sum of homomorphisms. To find ˆf we can use either of the formulas c i (φ i, f) φ i(f) (φ, f) ( ) (φ, f) + ( i) 3 + ( ) ( ) 6 3i (φ 3, f) + ( ) 3 + ( ) 5 (φ, f) + i 3 + ( ) ( ) 6 + 3i and so ˆf ( ) (, 6 3i, 5, 6 + 3i, 6 3i, 5, 6 + 3i ) Our theory tells us that f i c i φ i φ + 6 3i φ + 5 φ i To chec the correctness we will evaluate both sides on e. f(e ) φ (e ) + 6 3i φ (e ) + 5 φ 3(e ) i φ (e ) 6 3i () + i i ( ) + ( i) ( ) i i 3 which is correct. In a similar way we find ĝ (, i,, + i ) g φ + i 8 φ φ i φ φ
9 Now we will illustrate the Plancherel theorem: From our examples we have ˆf f ( ˆf, ĝ) (f, g) f ( ) 9 ˆf ( + 6 3i + ( 5) i ) 6 ( ) f (f, g) ( ˆf, ĝ) i i i ( ) + + i ( ) + 9i i Finally we illustrate the formula ˆfĝ f g We have f g 7e + e + 7e 3 8e and, for example, φ (f g) φ (f g) 7 i 7 8i 30i Doing the other three calculations we have f g ( ) 8, 30i, 0, 30i (, 5 5 i, 5, i ) f g (, 5 8 i, 5, 5 8 i ) ˆfĝ (, 6 3i ( 6 3i,, 5, 6 + 3i i, 5 (, 5 8 i, 5, 5 8 i ) )( i, i,, + i ), 6 + 3i + i 6. THE CLASSICAL FOURIER TRANSFORM For the classical Fourier transform the formulas are ˆf(s) π e ist f(t)dt f(t) 9 e ist ˆf(s)ds )
10 which bear close resemblence to the Fourier series case but the infinite sum has been replaced by an integral in the second formula. These formulas may be derived heuristically by applying the series formula to functions periodic with period l, letting l, and regarding the Fourier series as a Riemann sum for the integral in the second formula. This procedure would be rather difficult to justify, but once the formulas are nown it is possible to prove them by nearly the same methods as we use to prove the convergence of Fourier series. The similarities and differences to the situation for finite groups and Fourier series are interesting. The group for Fourier transforms is R with addition as the operation. For the group algebra one can use functions f(t) with f(t) dt finite, although it is more productive the use f(t) dt finite, though this complicates the definition of ˆf Again f(t). Again f(t) is a weighted sum of homomorphisms although in this case the sum manifests as an integral. This difference of sum versus integral is related to the compactness of C and T versus the non-compactness of R. The homomorphisms of R are again functions of the form e ist but here s is a real number rather than an integer as before. Note that the non-compactness of R means that we no longer have to wor with. Thus we cannot directly use the formulas we derived in the finite group case to guess at the formulas for the Fourier transform, although as I indicated above they can be Fourier transform formulas can be derived with a little analytic tricery. In spite of this, the formulas we derived for the Plancherel theorem and for f g remain valid after is replaced by π. This hints at a more general theory (for locally compact Abelian groups) which of course exists. 0
Exercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationFINITE FOURIER ANALYSIS. 1. The group Z N
FIITE FOURIER AALYSIS EIL LYALL 1. The group Z Let be a positive integer. A complex number z is an th root of unity if z = 1. It is then easy to verify that the set of th roots of unity is precisely {
More informationTOPICS IN HARMONIC ANALYSIS WITH APPLICATIONS TO RADAR AND SONAR. Willard Miller
TOPICS IN HARMONIC ANALYSIS WITH APPLICATIONS TO RADAR AND SONAR Willard Miller October 23 2002 These notes are an introduction to basic concepts and tools in group representation theory both commutative
More informationRoberto s Notes on Infinite Series Chapter 1: Sequences and series Section 4. Telescoping series. Clear as mud!
Roberto s Notes on Infinite Series Chapter : Sequences and series Section Telescoping series What you need to now already: The definition and basic properties of series. How to decompose a rational expression
More informationMA441: Algebraic Structures I. Lecture 14
MA441: Algebraic Structures I Lecture 14 22 October 2003 1 Review from Lecture 13: We looked at how the dihedral group D 4 can be viewed as 1. the symmetries of a square, 2. a permutation group, and 3.
More informationTopics in Representation Theory: Roots and Weights
Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our
More informationMath 306 Topics in Algebra, Spring 2013 Homework 7 Solutions
Math 306 Topics in Algebra, Spring 203 Homework 7 Solutions () (5 pts) Let G be a finite group. Show that the function defines an inner product on C[G]. We have Also Lastly, we have C[G] C[G] C c f + c
More informationAdditional notes on group representations Hjalmar Rosengren, 30 September 2015
Additional notes on group representations Hjalmar Rosengren, 30 September 2015 Throughout, group means finite group and representation means finitedimensional representation over C. Interpreting the character
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 informationand the compositional inverse when it exists is A.
Lecture B jacques@ucsd.edu Notation: R denotes a ring, N denotes the set of sequences of natural numbers with finite support, is a generic element of N, is the infinite zero sequence, n 0 R[[ X]] denotes
More informationQuantum Mechanics for Mathematicians: Energy, Momentum, and the Quantum Free Particle
Quantum Mechanics for Mathematicians: Energy, Momentum, and the Quantum Free Particle Peter Woit Department of Mathematics, Columbia University woit@math.columbia.edu November 28, 2012 We ll now turn to
More informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
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 informationQuantum Mechanics-I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras. Lecture - 21 Square-Integrable Functions
Quantum Mechanics-I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras Lecture - 21 Square-Integrable Functions (Refer Slide Time: 00:06) (Refer Slide Time: 00:14) We
More informationSUPPLEMENTARY NOTES: CHAPTER 1
SUPPLEMENTARY NOTES: CHAPTER 1 1. Groups A group G is a set with single binary operation which takes two elements a, b G and produces a third, denoted ab and generally called their product. (Mathspeak:
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationMA441: Algebraic Structures I. Lecture 15
MA441: Algebraic Structures I Lecture 15 27 October 2003 1 Correction for Lecture 14: I should have used multiplication on the right for Cayley s theorem. Theorem 6.1: Cayley s Theorem Every group is isomorphic
More informationFrank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:
Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Definition: The external direct product is defined to be the following: Let H 1,..., H n be groups. H 1 H 2 H n := {(h 1,...,
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
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 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 informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
More informationChapter 1. Preliminaries
Chapter 1 Preliminaries 1.1 The Vector Concept Revisited The concept of a vector has been one of the most fruitful ideas in all of mathematics, and it is not surprising that we receive repeated exposure
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More information23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.
23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, H be groups and ϕ : G H a homomorphism.
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationQuantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras
Quantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras Lecture - 6 Postulates of Quantum Mechanics II (Refer Slide Time: 00:07) In my last lecture,
More informationRings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.
Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over
More information15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.
15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a
More informationLecture 2: Basics of Harmonic Analysis. 1 Structural properties of Boolean functions (continued)
CS 880: Advanced Complexity Theory 1/25/2008 Lecture 2: Basics of Harmonic Analysis Instructor: Dieter van Melkebeek Scribe: Priyananda Shenoy In the last lecture, we mentioned one structural property
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 One-dimensional Translation Group If chemists wish to understand the symmetry properties of a
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationModern Computer Algebra
Modern Computer Algebra Exercises to Chapter 25: Fundamental concepts 11 May 1999 JOACHIM VON ZUR GATHEN and JÜRGEN GERHARD Universität Paderborn 25.1 Show that any subgroup of a group G contains the neutral
More informationPROBLEMS FROM GROUP THEORY
PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.
More informationCambridge University Press The Mathematics of Signal Processing Steven B. Damelin and Willard Miller Excerpt More information
Introduction Consider a linear system y = Φx where Φ can be taken as an m n matrix acting on Euclidean space or more generally, a linear operator on a Hilbert space. We call the vector x a signal or input,
More informationx y = 1, 2x y + z = 2, and 3w + x + y + 2z = 0
Section. Systems of Linear Equations The equations x + 3 y =, x y + z =, and 3w + x + y + z = 0 have a common feature: each describes a geometric shape that is linear. Upon rewriting the first equation
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 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 informationBott Periodicity and Clifford Algebras
Bott Periodicity and Clifford Algebras Kyler Siegel November 27, 2012 Contents 1 Introduction 1 2 Clifford Algebras 3 3 Vector Fields on Spheres 6 4 Division Algebras 7 1 Introduction Recall for that a
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationA NEW SET THEORY FOR ANALYSIS
Article A NEW SET THEORY FOR ANALYSIS Juan Pablo Ramírez 0000-0002-4912-2952 Abstract: We present the real number system as a generalization of the natural numbers. First, we prove the co-finite topology,
More informationCLASSICAL GROUPS DAVID VOGAN
CLASSICAL GROUPS DAVID VOGAN 1. Orthogonal groups These notes are about classical groups. That term is used in various ways by various people; I ll try to say a little about that as I go along. Basically
More informationa n cos 2πnt L n=1 {1/2, cos2π/l, cos 4π/L, cos6π/l,...,sin 2π/L, sin 4π/L, sin 6π/L,...,} (2)
Note Fourier. 30 January 2007 (as 23.II..tex) and 20 October 2009 in this form. Fourier Analysis The Fourier series First some terminology: a function f(t) is periodic if f(t + ) = f(t) for all t for some,
More informationQuasi-cyclic codes. Jay A. Wood. Algebra for Secure and Reliable Communications Modeling Morelia, Michoacán, Mexico October 12, 2012
Quasi-cyclic codes Jay A. Wood Department of Mathematics Western Michigan University http://homepages.wmich.edu/ jwood/ Algebra for Secure and Reliable Communications Modeling Morelia, Michoacán, Mexico
More information2 Generating Functions
2 Generating Functions In this part of the course, we re going to introduce algebraic methods for counting and proving combinatorial identities. This is often greatly advantageous over the method of finding
More informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More information(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for
Solutions to Homework #7 0. Prove that [S n, S n ] = A n for every n 2 (where A n is the alternating group). Solution: Since [f, g] = f 1 g 1 fg is an even permutation for all f, g S n and since A n is
More informationAN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS
AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply
More informationRings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.
Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary
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 information23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.
23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, Q be groups and ϕ : G Q a homomorphism.
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationS11MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (PracticeSolutions) Name: 1. Let G and H be two groups and G H the external direct product of G and H.
Some of the problems are very easy, some are harder. 1. Let G and H be two groups and G H the external direct product of G and H. (a) Prove that the map f : G H H G defined as f(g, h) = (h, g) is a group
More informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More informationQuantum Mechanics - I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras. Lecture - 7 The Uncertainty Principle
Quantum Mechanics - I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras Lecture - 7 The Uncertainty Principle (Refer Slide Time: 00:07) In the last lecture, I had spoken
More informationGroups. Contents of the lecture. Sergei Silvestrov. Spring term 2011, Lecture 8
Groups Sergei Silvestrov Spring term 2011, Lecture 8 Contents of the lecture Binary operations and binary structures. Groups - a special important type of binary structures. Isomorphisms of binary structures.
More informationi. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)
Definition 5.5.1. A (real) normed vector space is a real vector space V, equipped with a function called a norm, denoted by, provided that for all v and w in V and for all α R the real number v 0, and
More informationNumbers, proof and all that jazz.
CHAPTER 1 Numbers, proof and all that jazz. There is a fundamental difference between mathematics and other sciences. In most sciences, one does experiments to determine laws. A law will remain a law,
More informationPhysics 251 Solution Set 1 Spring 2017
Physics 5 Solution Set Spring 07. Consider the set R consisting of pairs of real numbers. For (x,y) R, define scalar multiplication by: c(x,y) (cx,cy) for any real number c, and define vector addition
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More 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 informationMath 121 Homework 3 Solutions
Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting
More informationPrimes in arithmetic progressions
(September 26, 205) Primes in arithmetic progressions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 205-6/06 Dirichlet.pdf].
More informationMATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4
MATH 25 CLASS 21 NOTES, NOV 7 2011 Contents 1. Groups: definition 1 2. Subgroups 2 3. Isomorphisms 4 1. Groups: definition Even though we have been learning number theory without using any other parts
More information33 Idempotents and Characters
33 Idempotents and Characters On this day I was supposed to talk about characters but I spent most of the hour talking about idempotents so I changed the title. An idempotent is defined to be an element
More informationS10MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (Practice) Name: Some of the problems are very easy, some are harder.
Some of the problems are very easy, some are harder. 1. Let F : Z Z be a function defined as F (x) = 10x. (a) Prove that F is a group homomorphism. (b) Find Ker(F ) Solution: Ker(F ) = {0}. Proof: Let
More informationPremiliminary Examination, Part I & II
Premiliminary Examination, Part I & II Monday, August 9, 16 Dept. of Mathematics University of Pennsylvania Problem 1. Let V be the real vector space of continuous real-valued functions on the closed interval
More informationLesson 1 WHAT S A GROUP?
WHAT S A GROUP? What is a group? Well, that s a question we can begin to answer in several different ways. First and foremost, we can say that groups are composed of cycles and that s why groups are so
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationLecture 1: Crossed Products of C*-Algebras by Finite Groups. General motivation. A rough outline of all three lectures
Winter School on Operator Algebras Lecture 1: Crossed Products of C*-Algebras by Finite Groups RIMS, Kyoto University, Japan N Christopher Phillips 7 16 December 2011 University of Oregon Research Institute
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 informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
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 informationUsing semidirect product of (semi)groups in public key cryptography
Using semidirect product of (semi)groups in public key cryptography Delaram Kahrobaei City University of New York Graduate Center: PhD Program in Computer Science NYCCT: Mathematics Department University
More informationYour Name MATH 435, EXAM #1
MATH 435, EXAM #1 Your Name You have 50 minutes to do this exam. No calculators! No notes! For proofs/justifications, please use complete sentences and make sure to explain any steps which are questionable.
More information2 The Fourier Transform
2 The Fourier Transform The Fourier transform decomposes a signal defined on an infinite time interval into a λ-frequency component, where λ can be any real(or even complex) number. 2.1 Informal Development
More informationA3. Frequency Representation of Continuous Time and Discrete Time Signals
A3. Frequency Representation of Continuous Time and Discrete Time Signals Objectives Define the magnitude and phase plots of continuous time sinusoidal signals Extend the magnitude and phase plots to discrete
More informationchapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS
chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader
More informationLecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)
Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationModel theory, algebraic dynamics and local fields
Model theory, algebraic dynamics and local fields Thomas Scanlon University of California, Berkeley 7 June 2010 Thomas Scanlon (University of California, Berkeley) Model theory, algebraic dynamics and
More informationchapter 5 INTRODUCTION TO MATRIX ALGEBRA GOALS 5.1 Basic Definitions
chapter 5 INTRODUCTION TO MATRIX ALGEBRA GOALS The purpose of this chapter is to introduce you to matrix algebra, which has many applications. You are already familiar with several algebras: elementary
More informationLecture 3 Small bias with respect to linear tests
03683170: Expanders, Pseudorandomness and Derandomization 3/04/16 Lecture 3 Small bias with respect to linear tests Amnon Ta-Shma and Dean Doron 1 The Fourier expansion 1.1 Over general domains Let G be
More informationCartan sub-c*-algebras in C*-algebras
Plan Cartan sub-c*-algebras in C*-algebras Jean Renault Université d Orléans 22 July 2008 1 C*-algebra constructions. 2 Effective versus topologically principal. 3 Cartan subalgebras in C*-algebras. 4
More informationLecture 23-Formal Groups
Lecture 23-Formal Groups November 27, 2018 Throughout this lecture, we fix an algebraically closed perfectoid field C of characteristic p. denote the Fargues-Fontaine curve, given by Let X X = Proj( m
More informationDAVID FERRONE. s k s k 2j = δ 0j. s k = 1
FINITE BIORTHOGONAL TRANSFORMS AND MULTIRESOLUTION ANALYSES ON INTERVALS DAVID FERRONE 1. Introduction Wavelet theory over the entire real line is well understood and elegantly presented in various textboos
More informationSolutions to Problem Set 1
Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}
More informationExample: x 10-2 = ( since 10 2 = 100 and [ 10 2 ] -1 = 1 which 100 means divided by 100)
Scientific Notation When we use 10 as a factor 2 times, the product is 100. 10 2 = 10 x 10 = 100 second power of 10 When we use 10 as a factor 3 times, the product is 1000. 10 3 = 10 x 10 x 10 = 1000 third
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More informationIIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1
IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then
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 informationIB Mathematics HL Year 2 Unit 11: Completion of Algebra (Core Topic 1)
IB Mathematics HL Year Unit : Completion of Algebra (Core Topic ) Homewor for Unit Ex C:, 3, 4, 7; Ex D: 5, 8, 4; Ex E.: 4, 5, 9, 0, Ex E.3: (a), (b), 3, 7. Now consider these: Lesson 73 Sequences and
More informationQuantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras
Quantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras Lecture - 4 Postulates of Quantum Mechanics I In today s lecture I will essentially be talking
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More information