MATH WRITTEN HW 4: APPLICATIONS

Size: px
Start display at page:

Download "MATH WRITTEN HW 4: APPLICATIONS"

Transcription

1 MATH WRITTEN HW 4: APPLICATIONS ANDREW J. HAVENS This is a collection of short projects rather than a regular problem set. It will be due on the last day of class. Please choose at least three to work on. It is recommended you discuss these with your classmates, or work in groups as needed; however each person still must submit their individual solutions, written up in an organized way (keep problems from a given topic together!) Any additional work may be counted as bonus credit towards your written assignment average. The topics are: linear ciphers, matrices and groups, graph theory, finite vector spaces, linear recurrence relations, and quaternions. Linear Ciphers. These problems illustrate and give practice with some constructions of linear ciphers, which use linear algebra to obscure plaintext. We will first consider monoalphabetic substitution ciphers, where each letter of plaintext is mapped to a single letter of ciphertext. Affine maps in one dimension can accomplish this, and furnish simple but easy to break examples of classic ciphers. It is advised, should you choose to complete this project, that you write programs to perform the computations in this problem, as they are quite repetitive and easily amenable to coding. If you do work on this, you are welcome to come discuss your code with me. There are 26 basic letters in the english alphabet, however, since 26 is not prime, not every element of integers mod 26 can be inverted multiplicatively (consider: 2(13) 0 mod 26. Thus, we will work with the field F 29 of integers mod 29. We can assign to each letter an integer, and use the remaining elements of F 29 for punctuation and the space character. For example, we could use the following scheme: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z.? Figure 1. Our alphanumeric correspondence. Recall that the arithmetic in F 29 works as follows: to take the sum of two elements, simply add the integers, then find the remainder modulo 29, e.g = 32 in Z, and 32 3 mod 29, so in F 29, = 3 (I will simply write for = henceforth in these problems, where it is clear and implicit that we are working over F 29.) Similarly, for multiplication, one takes the product as usual in Z and then reduce modulo 29, e.g = Division by a F 29 {0} =: F 29 corresponds to solving the congruence ax 1 mod 29 for x F 29. It may be helpful to create a table of multiplicative inverses (you may look one up, or try to write a program to produce one for general F p ; the extended Euclidean algorithm is useful for this). 1

2 2 ANDREW J. HAVENS (1) An early cipher is known as the Caesar cipher or shift cipher, which simply shifts letters by a fixed value (this works even mod 26). For example, shifting every letter by 3 in the above scheme turns the plaintext message is the kernel nontrivial? to lvcwkhcnhuqhocqrqwulyldob. Note that if we suspected it was a shift cipher, it would be easy to decode if we knew about the above alphanumeric assignment scheme: at worst we check 28 possible shifts to see if anything produced is not babble. If we are more clever, we use that e is the most common letter in written english, and that spaces are also common. Letters c, h, l and q all occur with the same high frequency (12%) in the ciphertext, so we might might guess that one of these letters is the encipherment of e and another of the space character. Observe that c 3 and h 8 differ by 5, as do 0 and e 5, so we might assume that a shift of 3 is most probable, and try to decrypt using a shift of 3 26 mod 29. Another variation is a linear cipher, where we fix a F 29 and map the numeric code x of each letter of plaintext to ax. For example, using a = 13, one has the ciphertext ao?qg.gbhgk huh?bayamkp. This is also susceptible to letter frequency analysis. An affine monoalphabetic cipher combines these two into one: the key is a pair (a, b) F 29 F 29, and the ciphertext is produced by the rule c(x) ax + b mod 29. Assume that we fix the scheme of alphanumeric assignment above. (a) Use affine encryption with the key (8, 14) to encipher the following plaintext: What is the fundamental theorem of linear algebra if not the rank nullity theorem? (b) Assume you are given some cipher text, and suppose you know that e enciphers to o. Knowing that an affine cipher was used, can you recover the plaintext from the given ciphertext with this information alone? Justify. (c) Suppose that you know that not only does e enciphers to o but also t enciphers to q. Determine the key values a and b, and decipher the following ciphertext: q.oxy?nuoxzsxcxbmxq ovqhxrzioxq.?vxq.oxy?nuoxzsx?x.bg.xbmxszuip. (d) Use frequency analysis or other logical assumptions about the usual form of english text to decipher the following affine ciphertext, and also provide the key pair: voxosoy kqeqlsqi?.k?qukqeq?pils?qkd.avcen.?vbaksok tdbk e.ikimdscsqnfk?l?ok eqikobetlukzs.ock?oci.klsqi?.kdsvbi.ok?qukp?osdkd.avc?q?laosofk.lxosf?. Note that this text is padded with a few random characters at the beginning and end. The dashes before and after the line break indicate that there is no space in the original ciphertext, and are inserted to ensure that the text fits on the page. It should be clear from the above that a message is not very secure when enciphered by these methods. Among the obvious flaws: choosing to include spaces and punctuation makes frequency analysis much easier. Generally, any monoalphabetic substitution cipher, even if it does not encrypt spaces or punctuation, is highly susceptible to frequency analysis provided a sufficient amount of plaintext is available. We thus will consider using linear algebra to encrypt things polyalphabetically, where a given plaintext character may be enciphered to different ciphertext values across the same message.

3 MATH WRITTEN HW 4: APPLICATIONS 3 (2) One of the most famous and basic ways to encrypt plaintext polyalphabetically is the family of ciphers known as Hill ciphers. (INSERT HISTORY) These are linear ciphers in more than one dimension. For the Hill cipher of size n over F 29, one chooses an invertible square matrix A Mat n n (F 29 ), and wraps the numerically encoded plain text into an n m matrix P, where m depends on the length of the message and any padding used, and one computes the cipher matrix C = AP. As a simple example, we could take our key to be the matrix A Mat 4 4 (F 29 ) given by A = Then if the plaintext message we wished to encode was Wizards pluck joy from the quivering box 1, then we d have plaintext matrix P = Note that the text is wrapped here column to column from left to right and top to bottom. Other schemes could be used to add a layer of difficulty in recovering the text (such techniques amount to composing the Hall cipher method with a transposition cipher, which permutes the arrangement of plaintext or ciphertext). The ciphertext would be produced by computing C = AP mod 29 and reading off the ten columns of C, converting numbers using the table in figure 1. (a) Use the above encryption matrix to encrypt the given plaintext above, and give the output as text using the table in figure 1. (b) Find the inverse of the above encryption matrix (you can use Gauss-Jordan, mod 29). This is the decryption key.. (c) Using the above key, decipher the following text: kxaglfqtbwviaqxmho.o v?jyfoamyhuwcvfkhus Bonus : Hill ciphers are still susceptible to various forms of analysis, and are computationally expensive enough that they did not catch on during the era when they were less vulnerable to machine-assisted analysis. With modern computers, Hill s cipher, and variations thereof can be rapidly implemented, but also more readily analyzed and deciphered. Try to decrypt the following text, which was encrypted using a dynamic variation of a Hill cipher of size 2: o?bawcxikerlmopk?srgakhiebtojydvvhcxzb.pyyvjcs tos gveunffktbwolyracgfslsjjahrob 1 This sentence is constructed so as to have letter frequencies which do not match the average; every consonant appears exactly once, and note also that there are only two e s, just as many o s and u s and even more i s.

4 4 ANDREW J. HAVENS Groups of Matrices. These problems explore the definitions of some groups of matrices. Groups are the natural mathematical objects to consider when studying symmetries. A group is a mathematical set G, together with a binary product, µ: G G G called multiplication such that (i.) The multiplication is associative: µ(g, µ(h, k)) = µ(µ(g, h), k) for any g, h, k G. We often don t write the µ, writing simply gh for µ(g, h), so the associative identity is captured by the more familiar equation g(hk) = (gh)k, for any g, h, k G. (ii.) There is a unique identity element e G such that eg = g = ge for any g G. (iii.) The multiplication is invertible: for each g G, there is a g 1 such that g 1 g = e = gg 1. If the product is commutative the group G is said to be a commutative or Abelian group. Some simple examples of Abelian groups are C, R, Q, or Z with addition, C {0} with complex multiplication, R {0} with real multiplication, any vector space with vector addition, any field with its field addition... We want to construct groups important to linear algebra, which are not necessarily Abelian. These groups will be collections of matrices which are closed under matrix products, and whose elements are all invertible. (1) Though the following construction works over any field, to be user friendly let us work over the reals. Define GL n (R) := {A Mat n n (R) det A 0}. Show that GL n (R) is a group with matrix multiplication as the product. In particular, you should check that the matrix product of two elements of GL n (R) is itself in GL n (R), and that matrix multiplication is associative. You should specify the identity element, and explain how elements of GL n (R) meet axiom (iii.) of being a group. This group can be thought of as the group of linear automorphisms of R n, and is called the general linear group of n n real matrices. All our other real n n matrix groups will be subgroups of GL n (R) (i.e. are groups contained in GL n (R), with the inherited operation of matrix multiplication). (2) Is GL n (R) Mat n n (R) a vector subspace? Why or why not? (3) Define O(n, R) := {A Mat n n (R) A τ A = I n }. Show that A O(n, R) if and only if the columns of A form an orthonormal basis of R n with respect the usual inner product structure given by the dot product. Moreover, show that O(n, R) GL n (R) is a group. We call O(n, R) the orthogonal group of n n real matrices. Prove that if A O(n, R), then det A = ±1. (4) Define the special linear group SL n (R) = {A GL n (R) det A = 1}. Define SO(n, R) := O(n, R) SL n (R), called the special orthogonal group of n n real matrices We saw in class that SO(2, R) can be identified with the circle group S 1 C of unit complex numbers, which describe rotations of C = R 2 about the origin. Check that SO(3, R) is precisely the group of spatial rotations of R 3.

5 MATH WRITTEN HW 4: APPLICATIONS 5 The above groups are examples of infinite groups which also form spaces over which one can do calculus. For example, the group SO(2, R) can be identified with the unit circle S 1 R 2, which has a well defined notion of tangent space. Such groups are examples of Lie groups, named in honor of Sophus Lie, who became interested in such groups in an attempt to understand smooth symmetries of solutions to differential equations. Next we consider groups describing the discrete set of symmetries of regular polygons. For a group G and some indexing set A, a collection {g α g α G, α A} G are said to generate G if every element of G can be written as a product of g α s. In the next exercise, you will use reflections to generate the symmetries of polygons. (5) Let T 0 be reflection across the x-axis of R 2 and T 1 reflection across the line l 1 making an angle of π/6 with the x-axis. Show, using explicit matrices, that T 0 and T 1 generate a group with 12 elements, consisting of 6 reflections, 5 non-trivial rotations, and the identity matrix (which is sometimes regarded as a trivial rotation ). Argue with a picture that this is the group of all rigid symmetries of a particular collection of regular hexagons centered at 0. Explain why the group can also be generated by just one rotation and one reflection (specify matrices for each.) The group of rigid symmetries of a regular hexagon, with operation being composition of symmetry transformations, is called the dihedral group D 6. (6) By using a pair of reflections in lines separated by an angle of π/n, show that one can construct a dihedral group D n of the 2n symmetries of a regular n-gon. (You need not compute all of the matrices involved, but rather, should argue using a picture and basic facts about reflections and rotations). (7) Show that the row-swap elementary matrices E ij GL n (R) generate a group, which gives all permutations of coordinate axes. How many elements are in this group? This group is called the symmetric group or permutation group of n symbols, (in this case, the permutations act on coordinate axes). Symmetric groups on n symbols are denoted by S n or S n. (Hints: try to describe how to cyclically permute some set {e i1, e i2,..., e ik } {e 1,..., e n } using transpositions e i e j.) Bonus: Show that the group of permutations of the coordinate axes of R 3 has 6 elements, and can be mapped bijectively to dihedral group D 3 of symmetries of an equilateral triangle, in such a way that a product of matrices in the first group is mapped to the product of images in the second group. Maps preserving products in this way are called group homomorphisms, and bijective homomorphisms are called group isomorphisms. In particular, as groups, the symmetry group of three symbols, S 3 is group-isomorphic to the dihedral group D 3, and one can write S 3 = D3. There are no isomorphisms between S n and D n for n > 3. Can you give a reason why?

6 6 ANDREW J. HAVENS Graphs. These problems begin the exploration of the applications of linear algebra to graph theory. In the mathematical field of study called combinatorics, a directed multigraph consists of the following data: a set V, called the vertex set, whose elements are called vertices, and a multiset 2 E V V, called the edge set, whose elements are called edges. The term directed graph adds the restrictions that E is a set (each pair of distinct vertices has at most one edge between them) and no ordered pair of the form (v i, v i ) appears in E (there are no loops on a single vertex). A graph ignores the directed nature of the edges, so if (v i, v j ) E, then so is (v j, v i ), and we identify these pairs as a single edge (except in describing walks, see problem (4)). Below are figures illustrating graphs and directed multigraphs. One writes G = (V, E). Figure 2. Examples of graphs (undirected, and not multi-). Figure 3. Examples of directed multigraphs. The adjacency matrix of an n-vertex (possibly directed) graph, A G Mat n n (F 2 ) is a matrix whose entries are 1 or 0, depending on whether there is or is not an edge between the corresponding vertices. More precisely, suppose G is a (possibly directed) graph with n vertices, 2 Recall, that a set does not acknowledge duplicates: e.g. the set {1, 1, 2} is the same as the set {1, 2}, and one generally simply writes the latter. On the other hand, a multiset keeps track of elements as well as how many times they appear.

7 MATH WRITTEN HW 4: APPLICATIONS 7 and fix a labeling of these vertices V = {v 1,... v n }. An adjacency matrix for the graph G with this labeling is an n n matrix A G whose entries a ij satisfy { 1 if (v i, v j ) E, a ij = 0 otherwise. Here, if the matrix is a graph, recall that we identify (v i, v j ) (v j, v i ), while if it s directed, we consider these separate edges, and one or the other may not belong to E. For example,for the graph connecting two vertices, G = {{v 1, v 2 }, {(v 1, v 2 )}}, the adjacency matrix is [ ] 0 1 A G =, 1 0 while for the directed graph G = ( {v 0, v 1, v 2, v 3 }, {(v 0, v 1 ), (v 0, v 2 ), (v 0, v 3 ), (v 1, v 2 ), (v 1, v 3 ), (v 2, v 3 )} ) depicted below, the adjacency matrix is A = Figure 4. The directed graph described above, with numbering indicating the vertex labeling and arrows indicating the direction of each edge. For a directed multigraph, the adjacency matrix counts the edges from one vertex to another (paying attention to direction; e.g. if (v i, v j ) occurs twice and (v j, v i ) never occurs in E, then a ij = 2, but a ji = 0.) Thus, the adjacency matrix of a directed multigraph contains nonnegative integer entries. For an undirected multigraph, one often counts loops (v i, v i ) twice, since the loop contributes two connections to the vertex (see problem (3): this convention allows the degree to be read off easily for multigraphs). (1) Describe the conditions on a matrix for it to be the adjacency matrix of a graph (undirected). How do adjacency matrices of graphs differ from directed graphs? What is the set of all matrices which can be the adjacency matrix of some (undirected) multigraph? What is the set of matrices which realize adjacency matrices for directed multigraphs?

8 8 ANDREW J. HAVENS (2) For each of the graphs depicted above in figure 2, determine an adjacency matrix for some labeling (illustrate your labeling). Similarly, give an adjacency matrix for each of the directed multigraphs in figure 3. Dropping the arrows, give adjacency matrices for the underlying undirected multigraphs from figure 3, and provide an adjacency matrix for the underlying graph of figure 4. (3) The (total) degree deg v i of a vertex v i in a (multi-) graph is the number of edges connected to that vertex, i.e. the number of ordered pairs in E containing that vertex. If the graph is directed, then there is an in-degree counting pairs/edges ending at the vertex and an out-degree counting pairs/edges beginning at the vertex. There is also a net degree for multigraphs, given by the difference of out degrees and in degrees. Describe how to compute the degree of a vertex from the adjacency matrix, and describe how to generalize this procedure to find in-degree, out-degree and net degree for a directed multigraph. Give the degrees of the vertices (according to your labeling) for each of the graphs in figure 1 and give the in-degree, out-degree, and net degree for each of the vertices in each directed multigraphs from figures 3 and 4. (4) A walk of length k on a graph G is an ordered collection of k edges, such that each successive edge contains a common vertex with the preceding edge (imagine walking from vertex to vertex along the edges, reading the edges off as you go; you may traverse an edge twice, and indeed in an undirected walk, you may go backwards on an edge you just traveled along; to distinguish the direction in which each edge is traversed we keep track of the order of the vertices in each edge pair in the walk). Let A be the adjacency matrix of a graph. Give an argument explaining why A k (product over Z, rather than F 2 ) has entries a ij equal to the number of length k walks from vertex v i to vertex v j. (5) A graph is called disconnected if there is a splitting of V into two subsets such that there are no edges between the subsets, otherwise it is called connected. How can one detect connectivity using an adjacency matrix? (Hint: think about walks!) (6) An alternative matrix which can be formed to describe a graph G is its incidence matrix C G. Choose a labeling of vertices and edges for G. If V = n and E = m, then C G Mat m n (F 2 ) has entries c ij equal to 1 if the edge e i contains vertex v j, and 0 otherwise. Define the oriented incidence matrix of a directed graph G to be the matrix D G whose entries d ij are +1 if the edge e i terminates in the vertex v j, 1 if e i initiates in the vertex v j, and 0 otherwise. (a) Provide incidence matrices for the graphs in figure 2, and provide oriented incidence matrices for the directed (multi-)graphs in figures 3 and the directed graph in figure 4. (b) Show that for any graph G, A G = C τ G C G 2I n. (c) One can make a graph G into a directed graph by choosing an orientation on each edge in E. Consider the linear map of R n R m determined by D G. Show that, independent of the choice of orientations on edges, the nullity of D G counts the connected components of G, and that the nullity of D τ G counts the number of loops in the graph.

9 MATH WRITTEN HW 4: APPLICATIONS 9 (7) We call the multiset of eigenvalues (accounting for multiplicity) of an adjacency matrix A for a graph G the spectrum of the graph G. (a) Argue that the spectrum does not depend on the choice of an adjacency matrix (in particular, it does not depend on a chosen labeling of the vertices of G), and that the spectrum consists of real numbers. (b) One can define an operator on graphs called a graph Laplacian (which is a discrete analogue of the 2nd order differential operator called the Laplacian in multivariable and vector calculus). Fix a labeling and an orientation on a graph G. Given the oriented incidence matrix D G for this orientation on the graph G, The graph Laplacian is L G := D τ GD G. Show that L G = Λ A where Λ is a diagonal matrix with entries λ ii = deg v i, and A is the adjacency matrix of the underlying (undirected) graph. In particular, the graph Laplacian is independent of the chosen orientation. The multiset of eigenvalues of the graph Laplacian is called the Laplacian spectrum of the graph. (c) For each of the following graphs, fix a labeling and compute the adjacency and Laplacian spectra: Figure 5. The square graph and the path on four vertices. It turns out that the spectra of graphs encode information about connectivity, walks, and robustness of a graph network (e.g. whether removing some number of edges randomly is likely to separate the graph into two components which are disconnected from each other). Thus, graph spectra are an area of active research in theoretical computer science, electrical engineering, and the analytic modeling of networks (be they circuits, machines, utility systems, lattice materials/quasicrystals, or social networks). Note that by diagonalizing any diagonalizable adjacency matrix A of a graph G, we can rapidly compute powers A k to count length k walks for very large k. Bonus : There are two special kinds of walks through a graph: Euler paths and Hamiltonian paths. An Euler path is a walk which visits each edge exactly once and each vertex at least once; there are also Euler cycles, which are Euler paths starting and ending on the same vertex. A Hamiltonian path visits each vertex exactly once, and a Hamiltonian cycle starts at some vertex, and visits each other vertex exactly once before returning to the original vertex. Determine an algorithm to use an adjacency matrix to produce a

10 10 ANDREW J. HAVENS list of Euler paths (or cycles) or to indicate that none exists. Try your algorithm out on the graphs in figure 1, and describe how to extend the algorithm to find directed Euler paths or cycles in directed multigraphs before trying the algorithm on the directed multi-graphs of figures 2 and 3. Hamiltonian paths and circuits are more difficult to find. See if you can find a Hamiltonian circuit on the following graph: Figure 6. Finding a Hamiltonian circuit on this graph is a solution to the famous traveling salesman problem. The above graph represents the edges and vertices of a regular platonic solid called a dodecahedron, which has 12 pentagonal sides. The game models the earth as a dodecahedron, where each vertex is a city and each edge is a road. Can you find a way for a salesman to start in a home city, visit each other city exactly once traveling along the roads, and return to his home city? Final remarks: there is a calculus connection. The directed incidence matrix D G is analogous to defining a kind of gradient on the directed graph G. These matrices see applications in the study of circuits and networks. For example, if we attach a value x i to each vertex v i (e.g. voltage at each node of a circuit), then when we compute D G x, we obtain a vector whose entries are the differences in voltage across each edge. The Laplacian L G := D τ G D G is analogous to the continuous (vector) Laplacian, Trace( ). It can be used to describe, e.g. how heat diffuses through a network. To read more about applications of these matrices to circuits and networks, see section 8.2 of Gilbert Strang s Introduction Linear Algebra. Finite Vector Spaces. It can be shown that any finite field has size F q = q = p m, where p is a prime number, called the characteristic of the field. Any element α of a characteristic p field has the property that pα = 0, and p is the least positive integer such that this holds. We ve so far only seen the examples F p, but larger finite fields can be created by considering certain polynomials over F p. In particular, if q = p m, then F q is naturally a vector space over F p, and its elements can be regarded as certain polynomials over F p. E.g. F 4 = F 2 2 can be identified with the set {0, 1, x, x + 1} where the arithmetic is usual polynomial addition and multiplication modulo

11 MATH WRITTEN HW 4: APPLICATIONS 11 both 2 and x 2 + x + 1. (Another way to realize F p m is to identify the elements of F p m as the roots of the polynomial x pm x P(F p m), much as one identifies the imaginary units ±i as the roots of x 2 + 1). You will not need to use the exact structure of arithmetic in F q for these problems, except when q = 2 and m = 1. For problems (1), (2), and (3), fix some prime p and fix some q = p m, and consider the vector space F n q. (1) How many elements are there in F n q, in terms of p, m, and n? (2) How many one dimensional subspaces U F n q are there in terms of p, m, and n? (3) How many subspaces are there total in F n q (including the trivial subspace 0 F n q and the improper subspace F n q )? The remaining few problems deal with low dimensional vector spaces over the binary field. (4) Construct graphical representations of the finite vector spaces F 2 2 and F 3 2, (Hint: think of the vectors of F n 2 as sitting in R n ; alternatively, you may construct a graph, with vertices corresponding to vectors, and edges corresponding to the convention that two vectors are called adjacent in F n 2 if and only if they differ by an element of the standard basis.) (5) Describe all possible F 2 -linear transformations F 2 2 F 2 2, constructing a matrix describing each relative to the standard basis. (6) How many F 2 -linear transformations are there of F 3 2 F 3 2? How many of these maps are bijective? (7) Describe all injective linear maps from F 2 2 F 3 2, and give a geometric/graphical interpretation of these. (Hint: can you find copies of F 2 2 sitting inside your picture of F 3 2?) Bonus : A subspace lattice is a directed graph defined for a finite vector space V as follows. The vertex set V is the set of all subspaces of V, including the trivial subspace 0 and the improper subspace V. The edge set E contains a pair (U, W ) if and only if U W is a proper subspace of the subspace W, and there is no proper subspace Y W such that U Y W. For example, the subspace lattice for F 3 2 is F 2 2 e 1 e 1 + e 2 e 2 0 Figure 7. Subspace lattice for F 2 2 Construct a subspace lattice for F 3 2, and give its adjacency matrix.

12 12 ANDREW J. HAVENS Linear Recurrence Relations. Let {x k } be a sequence in your favorite field F. A linear recurrence relation for the sequence {x k } of order n is a relation of the form where x n 1 = x n 1 x n 2. x 0 x n = c x n 1,, c = c n 1 c n 2. c 0 Fn, where c is a fixed vector of constants. Note that one can rewrite this condition as x n = c n 1 x n c 0 x 0. To completely determine the sequence from an n-th order linear recurrence relation for a given c, one needs initial data, such as n consecutive initialization terms: x 0 x 1 x 0 =. x n+1 Fn. We begin by investigating a famous example of a sequence arising from a second order recurrence: the Fibonacci sequence. The terms of this sequence are actually integers, but it is useful to regard the vectors and matrices in what follows as being over the reals 3. The Fibonacci sequence is defined by the recurrence F n = F n 1 + F n 2 together with the initial data F 0 = 1, F 1 = 0. (1) Let F n be the vector F n = [ Fn F n 1 ]. Express the relationship between F n and F n 1 as a matrix equation F n = CF n 1, for some 2 2 matrix C, called the companion matrix of the recursion. (2) What are the columns of C k for the Fibonacci sequence? (3) Using the matrix, compute the first 10 terms of the Fibonacci sequence. (4) More generally describe the companion matrix C for any second order linear recurrence x n = c x n 1, c R 2, with initial data x 0 R 2. Describe x n in terms of x 0, C, and n. 3 In actuality, we could choose to work over the field extension Q( 5) = {a + b 5 a, b Q}, where the operations are those induced by the arithmetic as a subfield of R we don t need all real numbers, just rational linear combinations of 1 and 5, since we will encounter eigenvalues of the form a + b 5.

13 MATH WRITTEN HW 4: APPLICATIONS 13 (5) Suppose C is diagonalizable, with distinct eigenvalues λ 1 and λ 2 and an eigenbasis v 1, v 2. Using the description from the previous part, describe the solution vector x n using the eigenvalues, eigenbasis, and initial data x 0, x 1, and thus give x n as a linear combination of the eigenvalues, related by the initial values x 0, x 1. Further show that the eigenvectors may be chosen to be composed of powers of the corresponding eigenvalues. (6) Use the previous formula to find an explicit form for the n-th Fibonacci number. Note that the golden ratio φ = (1 + 5)/2 and its reciprocal appear in the formula. Show that lim n F n+1 /F n = φ. (7) Generalize the procedure used in the second order case to give an algorithm to solve n- th order linear recurrences. You will need to consider separately the cases where there are repeated eigenvalues. (Hint: if an eigenvalue λ i is repeated m times, i.e. (λ λ i ) m divides the characteristic polynomial of C, then each of λ i, nλ i,..., n m 1 λ i satisfies the recurrence x n = c x n 1.) Quaternions. In calculus, it is common to see the notation {i, j, k} for the standard basis {e 1, e 2, e 3 } of R 3. This problem explores the historic reason for this notation. In particular, we will introduce Hamilton s quaternions, and use the modern language of linear algebra to understand their legitimacy in a method of representing rotations of three dimensional space. Recall that we can use complex numbers e iθ to represent rotation by an angle θ of the plane counterclockwise about zero, and we can represent the similarity transform of the plane consisting of dilation by a factor of λ and rotation about zero by an angle θ by the complex linear map z λe iθ z. The motivation for the quaternions is the desire to find a system of hypercomplex numbers which can do for three dimensional Euclidean geometry what complex numbers do for two dimensional Euclidean geometry. The story is thus: William Rowan Hamilton desired (obsessively, some might say) to describe a system of hypercomplex numbers which could encode spatial rotations and rigid motions of R 3, in much the same way as the algebra of complex numbers can describe planar rigid motions. Alas, no 3D system was ever found (it was later proved that the particular structure Hamilton desired, that of a nontrivial normed division algebra over R, can only exist in dimensions 1,2 and 4, and 8). In 1843 Hamilton developed and described his four dimensional analog of the complex numbers, which he dubbed the quaternions. We will initially use matrices to describe his quaternion algebra. Recall that the matrix J Mat 2 2 (R) which plays the role of 1 C is [ ] 0 1 J =. 1 0 One can readily check that J 2 = I 2, J 3 = J, and J 4 = I 2. (1) Consider the complex matrices i, j, k Mat 2 2 (C) given by [ ] [ ] [ 0 1 i = , j =, k = ].

14 14 ANDREW J. HAVENS Let 1 denote the complex 2 2 identity matrix (its entries are the same as the real matrix I n, but the notation will be suggestive of how we identified C = R 2.) Show that the following identities hold: ( ) i 2 = j 2 = k 2 = ijk = 1, ( ) ij = k = ji, jk = i = kj, ki = j = ik. (2) Demonstrate, without using the explicit matrices chosen, that if some algebraic quantities i, j, and k, satisfy the relations ( ) such that 1 acts as an identity and 1 = ( 1)1, with 1 R acting as a real scalar, then the relations ( ) follow. In particular, the matrices given generate a noncommutative group of order 8. Note the similarity of the relations ( ) to cross product identities! Historically, Hamilton discovered the relations ( ), and the corresponding real algebra described below, without considering matrices or our modern language of linear algebra/cross products. Indeed, Hamilton was so excited upon realizing the relations ( ) gave a system of hypercomplex numbers that he reportedly vandalized the Brougham Bridge across Dublin s Royal Canal (an inspiration to mathematically inclined graffiti artists everywhere). (3) Define the space of quaternions H to be the R-linear span of 1, i, j, and k: H := {a1 + bi + cj + dk a, b, c, d R} Mat 2 2 (C). This is naturally a four dimensional real vector space. Representing a quaternion p = a1 + bi + cj + dk by the vector ae 1 + be 2 + ce 3 + de 4, and using the relations above, find a real 4 4 matrix realizing left multiplication of a quaternion by the quaternion q = w1 + xi + yj + zk, i.e. construct a matrix describing the R-linear map p qp. Do the same for right multiplication p pq. (4) Let q = w1 + xi + yj + zk and show that 1 (q + iqi + jqj + kqk) = w1 xi yj zk. 2 We call the quantity 1 (q + iqi + jqj + kqk) the conjugate quaternion to q, and write 2 q = 1 (q + iqi + jqj + kqk). 2 Show that q, as a matrix in Mat 2 2 (C), is obtained by taking the conjugate transpose of the matrix for q (i.e. transpose, and conjugate all complex entries of the complex 2 2 matrix for q, and check that this is the matrix of q.) (5) There is a notion of quaternion length just as there is a notion of modulus for a complex number: the length q of a quaternion q is defined by q 2 = q q = qq. Show that this is just the length of the Euclidean four-vector with components equal to the real coefficients of q. Use the quaternion modulus to give a definition of a multiplicative inverse q 1 for any nonzero quaternion q. Caution: we have to be sensitive to the non-commutativity: it is ambiguous to write p, so instead one must specify q whether pq 1 or q 1 p is meant, as with matrices. Indeed, check that the matrix for left multiplication by an inverse quaternion is precisely the inverse of the left-multiplication matrix found in (c).

15 MATH WRITTEN HW 4: APPLICATIONS 15 (6) Informally, one can express a quaternion as a sum of a scalar with a vector: q = w1 + xi + yj + zk w + x, y, z =: q s + q v. Exploiting this notational device, show that for generic quaternions p and q that pq = p s q s p v q v + p v q s + p s q v + p v q v, where is the three dimensional vector cross-product, and is the usual dot product. One calls the vector part q v of a quaternion a pure quaternion any quaternion with no scalar part is pure, and in analogy with purely imaginary numbers, any pure quaternion p satisfies p = p. Historically, this formula for quaternion multiplication represents the first appearance of the dot and cross products! Owing to Hamilton s notation, we have our modern 3D vector algebra notation, which describes the vector subspace of pure quaternions, together with a dot (inner) product structure, and a cross product (Lie algebra) structure. (7) Let q be a quaternion of unit modulus (often called a versor) and let p = p be a pure quaternion, which thus corresponds to some vector p R 3. Show that the map p qpq 1 can be interpreted as an R-linear map of R 3, and describe the geometric effect of this map on p. Hints: First try to understand the effect when q is i, j, or k. Then show that a versor can always be written as cos( θ)1 + sin( θ )u for some angle θ and some pure unit 2 2 quaternion u = 0 + u. Using the scalar-plus-vector notation of part (f), try to connect the map p qpq 1 to the spatial rotation formula given in class. Some final notes: though the quaternion algebra is four dimensional (in particular, it s a four dimensional real vector space, together with a noncommutative product structure, and notions of conjugation and length), as you hopefully found above, quaternions can be used to compute 3 dimensional spatial rotations nonetheless! Moreover, they are more computationally efficient than the Rodriguez rotation formula. They also find use in studying the geometry of the three dimensional sphere S 3 = {x R 4 x = 1}, which can be regarded as the subalgebra of unit quaternions. It s easy to check that the product of unit quaternions is again a unit quaternion, and so S 3 has a natural multiplication structure. This structure can explain how to compute 3 or 4 dimensional spatial rotations! Note that for modeling 3D spatial rotations, there are two different choices of unit quaternion which yield the same rotation, and thus correspond to a Rodriquez rotation matrix. In the language of groups: there is a 2 : 1 covering homomorphism of SO(3, R) by the unit quaternion group S 3. Apart from the inspired name, the concept of quaternions had already existed prior to Hamilton s revelation, for in 1840 Olinde Rodrigues published a largely ignored paper on transformation groups which had effectively given a description of these same objects. And as early as 1819 Gauss had described the same principles in his own personal writings, which remained unpublished until [See Baez s Octonions, or Altman s article Hamilton, Rodrigues, and the Quaternion Scandal.] It is a triumph of linear algebra that we can take constructions of complex numbers and quaternions and firmly ground them in matrix algebra!

1 Fields and vector spaces

1 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 information

GRE 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. 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 information

QUATERNIONS AND ROTATIONS

QUATERNIONS AND ROTATIONS QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )

More information

Exercises on chapter 1

Exercises 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 information

Final Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2

Final Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2 Final Review Sheet The final will cover Sections Chapters 1,2,3 and 4, as well as sections 5.1-5.4, 6.1-6.2 and 7.1-7.3 from chapters 5,6 and 7. This is essentially all material covered this term. Watch

More information

A Little Beyond: Linear Algebra

A 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 information

Problems in Linear Algebra and Representation Theory

Problems 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 information

This section is an introduction to the basic themes of the course.

This section is an introduction to the basic themes of the course. Chapter 1 Matrices and Graphs 1.1 The Adjacency Matrix This section is an introduction to the basic themes of the course. Definition 1.1.1. A simple undirected graph G = (V, E) consists of a non-empty

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6

EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6 EXERCISES ON THE OUTER AUTOMORPHISMS OF S 6 AARON LANDESMAN 1. INTRODUCTION In this class, we investigate the outer automorphism of S 6. Let s recall some definitions, so that we can state what an outer

More information

GENERATING SETS KEITH CONRAD

GENERATING 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 information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, 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 information

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS

chapter 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 information

Lecture 4.1: Homomorphisms and isomorphisms

Lecture 4.1: Homomorphisms and isomorphisms Lecture 4.: Homomorphisms and isomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4, Modern Algebra M. Macauley (Clemson) Lecture

More information

The Quaternions & Octonions: A Basic introduction to Their Algebras. By: Kyle McAllister. Boise State University

The Quaternions & Octonions: A Basic introduction to Their Algebras. By: Kyle McAllister. Boise State University The Quaternions & Octonions: A Basic introduction to Their Algebras By: Kyle McAllister Boise State University McAllister The Quaternions and Octonions have a storied history, one with a restless supporter,

More information

Symmetries and Polynomials

Symmetries and Polynomials Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections

More information

Topic 2 Quiz 2. choice C implies B and B implies C. correct-choice C implies B, but B does not imply C

Topic 2 Quiz 2. choice C implies B and B implies C. correct-choice C implies B, but B does not imply C Topic 1 Quiz 1 text A reduced row-echelon form of a 3 by 4 matrix can have how many leading one s? choice must have 3 choice may have 1, 2, or 3 correct-choice may have 0, 1, 2, or 3 choice may have 0,

More information

Linear Algebra March 16, 2019

Linear Algebra March 16, 2019 Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented

More information

Linear algebra and applications to graphs Part 1

Linear algebra and applications to graphs Part 1 Linear algebra and applications to graphs Part 1 Written up by Mikhail Belkin and Moon Duchin Instructor: Laszlo Babai June 17, 2001 1 Basic Linear Algebra Exercise 1.1 Let V and W be linear subspaces

More information

MATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT

MATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT MATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT The following is the list of questions for the oral exam. At the same time, these questions represent all topics for the written exam. The procedure for

More information

Review Sheet for the Final Exam of MATH Fall 2009

Review Sheet for the Final Exam of MATH Fall 2009 Review Sheet for the Final Exam of MATH 1600 - Fall 2009 All of Chapter 1. 1. Sets and Proofs Elements and subsets of a set. The notion of implication and the way you can use it to build a proof. Logical

More information

The value of a problem is not so much coming up with the answer as in the ideas and attempted ideas it forces on the would be solver I.N.

The value of a problem is not so much coming up with the answer as in the ideas and attempted ideas it forces on the would be solver I.N. Math 410 Homework Problems In the following pages you will find all of the homework problems for the semester. Homework should be written out neatly and stapled and turned in at the beginning of class

More information

Elementary linear algebra

Elementary 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 information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

6 Cosets & Factor Groups

6 Cosets & Factor Groups 6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.

More information

Math 291-2: Lecture Notes Northwestern University, Winter 2016

Math 291-2: Lecture Notes Northwestern University, Winter 2016 Math 291-2: Lecture Notes Northwestern University, Winter 2016 Written by Santiago Cañez These are lecture notes for Math 291-2, the second quarter of MENU: Intensive Linear Algebra and Multivariable Calculus,

More information

Linear Algebra Review

Linear Algebra Review Chapter 1 Linear Algebra Review It is assumed that you have had a course in linear algebra, and are familiar with matrix multiplication, eigenvectors, etc. I will review some of these terms here, but quite

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. 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 information

An eightfold path to E 8

An eightfold path to E 8 An eightfold path to E 8 Robert A. Wilson First draft 17th November 2008; this version 29th April 2012 Introduction Finite-dimensional real reflection groups were classified by Coxeter [2]. In two dimensions,

More information

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016 Abstract Algebra I Randall R. Holmes Auburn University Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016 This work is licensed under the Creative Commons Attribution- NonCommercial-NoDerivatives

More information

Some notes on Coxeter groups

Some 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

Rings 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 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 information

4. Linear transformations as a vector space 17

4. Linear transformations as a vector space 17 4 Linear transformations as a vector space 17 d) 1 2 0 0 1 2 0 0 1 0 0 0 1 2 3 4 32 Let a linear transformation in R 2 be the reflection in the line = x 2 Find its matrix 33 For each linear transformation

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

The Geometry of Root Systems. Brian C. Hall

The 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 information

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014 Quivers of Period 2 Mariya Sardarli Max Wimberley Heyi Zhu ovember 26, 2014 Abstract A quiver with vertices labeled from 1,..., n is said to have period 2 if the quiver obtained by mutating at 1 and then

More information

ELEMENTARY LINEAR ALGEBRA

ELEMENTARY LINEAR ALGEBRA ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 1998 Comments to the author at krm@maths.uq.edu.au Contents 1 LINEAR EQUATIONS

More information

Examples of Groups

Examples of Groups Examples of Groups 8-23-2016 In this section, I ll look at some additional examples of groups. Some of these will be discussed in more detail later on. In many of these examples, I ll assume familiar things

More information

Chapter 4 & 5: Vector Spaces & Linear Transformations

Chapter 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 information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note 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 information

5 Group theory. 5.1 Binary operations

5 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 information

Chapter XI Novanion rings

Chapter XI Novanion rings Chapter XI Novanion rings 11.1 Introduction. In this chapter we continue to provide general structures for theories in physics. J. F. Adams proved in 1960 that the only possible division algebras are at

More information

Algebraic Methods in Combinatorics

Algebraic Methods in Combinatorics Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets

More information

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

More information

ELEMENTARY LINEAR ALGEBRA

ELEMENTARY LINEAR ALGEBRA ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,

More information

Efficient Cryptanalysis of Homophonic Substitution Ciphers

Efficient Cryptanalysis of Homophonic Substitution Ciphers Efficient Cryptanalysis of Homophonic Substitution Ciphers Amrapali Dhavare Richard M. Low Mark Stamp Abstract Substitution ciphers are among the earliest methods of encryption. Examples of classic substitution

More information

MODULAR ARITHMETIC KEITH CONRAD

MODULAR ARITHMETIC KEITH CONRAD MODULAR ARITHMETIC KEITH CONRAD. Introduction We will define the notion of congruent integers (with respect to a modulus) and develop some basic ideas of modular arithmetic. Applications of modular arithmetic

More information

Math Camp Lecture 4: Linear Algebra. Xiao Yu Wang. Aug 2010 MIT. Xiao Yu Wang (MIT) Math Camp /10 1 / 88

Math Camp Lecture 4: Linear Algebra. Xiao Yu Wang. Aug 2010 MIT. Xiao Yu Wang (MIT) Math Camp /10 1 / 88 Math Camp 2010 Lecture 4: Linear Algebra Xiao Yu Wang MIT Aug 2010 Xiao Yu Wang (MIT) Math Camp 2010 08/10 1 / 88 Linear Algebra Game Plan Vector Spaces Linear Transformations and Matrices Determinant

More information

Classical Cryptography

Classical Cryptography Classical Cryptography CSG 252 Fall 2006 Riccardo Pucella Goals of Cryptography Alice wants to send message X to Bob Oscar is on the wire, listening to communications Alice and Bob share a key K Alice

More information

MAT2342 : Introduction to Applied Linear Algebra Mike Newman, fall Projections. introduction

MAT2342 : Introduction to Applied Linear Algebra Mike Newman, fall Projections. introduction MAT4 : Introduction to Applied Linear Algebra Mike Newman fall 7 9. Projections introduction One reason to consider projections is to understand approximate solutions to linear systems. A common example

More information

5 Quiver Representations

5 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

Classification of root systems

Classification 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 information

sin(α + θ) = sin α cos θ + cos α sin θ cos(α + θ) = cos α cos θ sin α sin θ

sin(α + θ) = sin α cos θ + cos α sin θ cos(α + θ) = cos α cos θ sin α sin θ Rotations in the 2D Plane Trigonometric addition formulas: sin(α + θ) = sin α cos θ + cos α sin θ cos(α + θ) = cos α cos θ sin α sin θ Rotate coordinates by angle θ: 1. Start with x = r cos α y = r sin

More information

Introduction to Group Theory

Introduction to Group Theory Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)

More information

Solving a system by back-substitution, checking consistency of a system (no rows of the form

Solving a system by back-substitution, checking consistency of a system (no rows of the form MATH 520 LEARNING OBJECTIVES SPRING 2017 BROWN UNIVERSITY SAMUEL S. WATSON Week 1 (23 Jan through 27 Jan) Definition of a system of linear equations, definition of a solution of a linear system, elementary

More information

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 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 information

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS MAX GOLDBERG Abstract. We explore ways to concisely describe circulant graphs, highly symmetric graphs with properties that are easier to generalize

More information

Math 110 Linear Algebra Midterm 2 Review October 28, 2017

Math 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 information

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real

More information

GROUPS AND THEIR REPRESENTATIONS. 1. introduction

GROUPS 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 information

Chapter 3. Introducing Groups

Chapter 3. Introducing Groups Chapter 3 Introducing Groups We need a super-mathematics in which the operations are as unknown as the quantities they operate on, and a super-mathematician who does not know what he is doing when he performs

More information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Since 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 information

Definitions for Quizzes

Definitions for Quizzes Definitions for Quizzes Italicized text (or something close to it) will be given to you. Plain text is (an example of) what you should write as a definition. [Bracketed text will not be given, nor does

More information

ELEMENTARY LINEAR ALGEBRA

ELEMENTARY LINEAR ALGEBRA ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 998 Comments to the author at krm@mathsuqeduau All contents copyright c 99 Keith

More information

Linear Algebra. Workbook

Linear Algebra. Workbook Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx

More information

a(b + c) = ab + ac a, b, c k

a(b + c) = ab + ac a, b, c k Lecture 2. The Categories of Vector Spaces PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 2. We discuss the categories of vector spaces and linear maps. Since vector spaces are always

More information

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development

More information

X-MA2C01-1: Partial Worked Solutions

X-MA2C01-1: Partial Worked Solutions X-MAC01-1: Partial Worked Solutions David R. Wilkins May 013 1. (a) Let A, B and C be sets. Prove that (A \ (B C)) (B \ C) = (A B) \ C. [Venn Diagrams, by themselves without an accompanying logical argument,

More information

WHY WORD PROBLEMS ARE HARD

WHY WORD PROBLEMS ARE HARD WHY WORD PROBLEMS ARE HARD KEITH CONRAD 1. Introduction The title above is a joke. Many students in school hate word problems. We will discuss here a specific math question that happens to be named the

More information

Inverses of Square Matrices

Inverses of Square Matrices Inverses of Square Matrices A. Havens Department of Mathematics University of Massachusetts, Amherst February 23-26, 2018 Outline 1 Defining Inverses Inverses for Products and Functions Defining Inverse

More information

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)

Lecture 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 information

Algebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.

Algebra. 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 information

An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt

An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt Class Objectives Binary Operations Groups Axioms Closure Associativity Identity Element Unique Inverse Abelian Groups

More information

Spectra of Semidirect Products of Cyclic Groups

Spectra of Semidirect Products of Cyclic Groups Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with

More information

NATIONAL 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, 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 information

2. FUNCTIONS AND ALGEBRA

2. FUNCTIONS AND ALGEBRA 2. FUNCTIONS AND ALGEBRA You might think of this chapter as an icebreaker. Functions are the primary participants in the game of calculus, so before we play the game we ought to get to know a few functions.

More information

Linear Algebra. Min Yan

Linear Algebra. Min Yan Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................

More information

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2. APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Vector Spaces. 9.1 Opening Remarks. Week Solvable or not solvable, that s the question. View at edx. Consider the picture

Vector Spaces. 9.1 Opening Remarks. Week Solvable or not solvable, that s the question. View at edx. Consider the picture Week9 Vector Spaces 9. Opening Remarks 9.. Solvable or not solvable, that s the question Consider the picture (,) (,) p(χ) = γ + γ χ + γ χ (, ) depicting three points in R and a quadratic polynomial (polynomial

More information

REU 2007 Discrete Math Lecture 2

REU 2007 Discrete Math Lecture 2 REU 2007 Discrete Math Lecture 2 Instructor: László Babai Scribe: Shawn Drenning June 19, 2007. Proofread by instructor. Last updated June 20, 1 a.m. Exercise 2.0.1. Let G be an abelian group and A G be

More information

Linear Algebra: Matrix Eigenvalue Problems

Linear Algebra: Matrix Eigenvalue Problems CHAPTER8 Linear Algebra: Matrix Eigenvalue Problems Chapter 8 p1 A matrix eigenvalue problem considers the vector equation (1) Ax = λx. 8.0 Linear Algebra: Matrix Eigenvalue Problems Here A is a given

More information

A matrix over a field F is a rectangular array of elements from F. The symbol

A matrix over a field F is a rectangular array of elements from F. The symbol Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted

More information

A Brief Outline of Math 355

A Brief Outline of Math 355 A Brief Outline of Math 355 Lecture 1 The geometry of linear equations; elimination with matrices A system of m linear equations with n unknowns can be thought of geometrically as m hyperplanes intersecting

More information

Lecture 7. Quaternions

Lecture 7. Quaternions Matthew T. Mason Mechanics of Manipulation Spring 2012 Today s outline Motivation Motivation have nice geometrical interpretation. have advantages in representing rotation. are cool. Even if you don t

More information

Final Exam Practice Problems Answers Math 24 Winter 2012

Final Exam Practice Problems Answers Math 24 Winter 2012 Final Exam Practice Problems Answers Math 4 Winter 0 () The Jordan product of two n n matrices is defined as A B = (AB + BA), where the products inside the parentheses are standard matrix product. Is the

More information

Chapter 5 Eigenvalues and Eigenvectors

Chapter 5 Eigenvalues and Eigenvectors Chapter 5 Eigenvalues and Eigenvectors Outline 5.1 Eigenvalues and Eigenvectors 5.2 Diagonalization 5.3 Complex Vector Spaces 2 5.1 Eigenvalues and Eigenvectors Eigenvalue and Eigenvector If A is a n n

More information

SYMMETRIES IN R 3 NAMITA GUPTA

SYMMETRIES IN R 3 NAMITA GUPTA SYMMETRIES IN R 3 NAMITA GUPTA Abstract. This paper will introduce the concept of symmetries being represented as permutations and will proceed to explain the group structure of such symmetries under composition.

More information

Math 302 Outcome Statements Winter 2013

Math 302 Outcome Statements Winter 2013 Math 302 Outcome Statements Winter 2013 1 Rectangular Space Coordinates; Vectors in the Three-Dimensional Space (a) Cartesian coordinates of a point (b) sphere (c) symmetry about a point, a line, and a

More information

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 24, Time Allowed: 150 Minutes Maximum Marks: 30

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 24, Time Allowed: 150 Minutes Maximum Marks: 30 NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 24, 2011 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS

More information

MATH 113 FINAL EXAM December 14, 2012

MATH 113 FINAL EXAM December 14, 2012 p.1 MATH 113 FINAL EXAM December 14, 2012 This exam has 9 problems on 18 pages, including this cover sheet. The only thing you may have out during the exam is one or more writing utensils. You have 180

More information

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope

More information

Linear Ciphers. Klaus Pommerening Fachbereich Physik, Mathematik, Informatik der Johannes-Gutenberg-Universität Saarstraße 21 D Mainz

Linear Ciphers. Klaus Pommerening Fachbereich Physik, Mathematik, Informatik der Johannes-Gutenberg-Universität Saarstraße 21 D Mainz Linear Ciphers Klaus Pommerening Fachbereich Physik, Mathematik, Informatik der Johannes-Gutenberg-Universität Saarstraße 21 D-55099 Mainz January 16, 2000 English version July 28, 2014 last change August

More information

Math 370 Homework 2, Fall 2009

Math 370 Homework 2, Fall 2009 Math 370 Homework 2, Fall 2009 (1a) Prove that every natural number N is congurent to the sum of its decimal digits mod 9. PROOF: Let the decimal representation of N be n d n d 1... n 1 n 0 so that N =

More information

Preliminaries and Complexity Theory

Preliminaries and Complexity Theory Preliminaries and Complexity Theory Oleksandr Romanko CAS 746 - Advanced Topics in Combinatorial Optimization McMaster University, January 16, 2006 Introduction Book structure: 2 Part I Linear Algebra

More information

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

MATH 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 information

Algebra I Fall 2007

Algebra I Fall 2007 MIT OpenCourseWare http://ocw.mit.edu 18.701 Algebra I Fall 007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.701 007 Geometry of the Special Unitary

More information

Math 120A: Extra Questions for Midterm

Math 120A: Extra Questions for Midterm Math 120A: Extra Questions for Midterm Definitions Complete the following sentences. 1. The direct product of groups G and H is the set under the group operation 2. The symmetric group on n-letters S n

More information