History of representation theory

Last updated

The history of representation theory concerns the mathematical development of the study of objects in abstract algebra, notably groups, by describing these objects more concretely, particularly using matrices and linear algebra. In some ways, representation theory predates the mathematical objects it studies: for example, permutation groups (in algebra) and transformation groups (in geometry) were studied long before the notion of an abstract group was formalized by Arthur Cayley in 1854. [1] [2] Thus, in the history of algebra, there was a process in which, first, mathematical objects were abstracted, and then the more abstract algebraic objects were realized or represented in terms of the more concrete ones, using homomorphisms, actions and modules.

An early pioneer of the representation theory of finite groups was Ferdinand Georg Frobenius. [3] At first this method was not widely appreciated, but with the development of character theory and the proof of Burnside's solvability criterion using such methods, [4] its power was soon appreciated. [5] Later Richard Brauer and others developed modular representation theory. [6]

Notes

  1. Lam 1998.
  2. Cayley 1854.
  3. Frobenius 1896, Frobenius 1897.
  4. Burnside 1904.
  5. In the first edition of his famous treatise, Burnside 1897 writes "It may then be asked why... modes of representation, such as groups of linear transformations, are not even referred to. My answer to this question is that while, in the present state of our knowledge, many results in the pure theory are arrived at most readily by dealing with properties of substitution groups, it would be difficult to find a result that could be most directly obtained by the consideration of groups of linear transformations." In the second edition (Burnside 1911) he writes instead, "The theory of groups of linear substitutions has been the subject of numerous and important investigations by several writers; and the reason given in the original preface for omitting any account of it no longer holds good. In fact it is now more true to say that for further advances in the abstract theory one must look largely to the representation of group as a group of linear substitutions."
  6. Curtis (2003).

Related Research Articles

<span class="mw-page-title-main">Group theory</span> Branch of mathematics that studies the properties of groups

In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as groups endowed with additional operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right.

<span class="mw-page-title-main">Emmy Noether</span> German mathematician (1882–1935)

Amalie Emmy Noether was a German mathematician who made many important contributions to abstract algebra. She proved Noether's first and second theorems, which are fundamental in mathematical physics. She was described by Pavel Alexandrov, Albert Einstein, Jean Dieudonné, Hermann Weyl and Norbert Wiener as the most important woman in the history of mathematics. As one of the leading mathematicians of her time, she developed theories of rings, fields, and algebras. In physics, Noether's theorem explains the connection between symmetry and conservation laws.

<span class="mw-page-title-main">Ferdinand Georg Frobenius</span> German mathematician (1849–1917)

Ferdinand Georg Frobenius was a German mathematician, best known for his contributions to the theory of elliptic functions, differential equations, number theory, and to group theory. He is known for the famous determinantal identities, known as Frobenius–Stickelberger formulae, governing elliptic functions, and for developing the theory of biquadratic forms. He was also the first to introduce the notion of rational approximations of functions, and gave the first full proof for the Cayley–Hamilton theorem. He also lent his name to certain differential-geometric objects in modern mathematical physics, known as Frobenius manifolds.

Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties, such as vector spaces, from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit description of polynomial functions that do not change, or are invariant, under the transformations from a given linear group. For example, if we consider the action of the special linear group SLn on the space of n by n matrices by left multiplication, then the determinant is an invariant of this action because the determinant of A X equals the determinant of X, when A is in SLn.

In mathematics, Lie group decompositions are used to analyse the structure of Lie groups and associated objects, by showing how they are built up out of subgroups. They are essential technical tools in the representation theory of Lie groups and Lie algebras; they can also be used to study the algebraic topology of such groups and associated homogeneous spaces. Since the use of Lie group methods became one of the standard techniques in twentieth century mathematics, many phenomena can now be referred back to decompositions.

<span class="mw-page-title-main">Richard Brauer</span> German-American mathematician

Richard Dagobert Brauer was a leading German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular representation theory.

In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a complex representation of a finite group is determined by its character. The situation with representations over a field of positive characteristic, so-called "modular representations", is more delicate, but Richard Brauer developed a powerful theory of characters in this case as well. Many deep theorems on the structure of finite groups use characters of modular representations.

<span class="mw-page-title-main">Representation theory of the Poincaré group</span> Representation theory of an important group in physics

In mathematics, the representation theory of the Poincaré group is an example of the representation theory of a Lie group that is neither a compact group nor a semisimple group. It is fundamental in theoretical physics.

Modular representation theory is a branch of mathematics, and is the part of representation theory that studies linear representations of finite groups over a field K of positive characteristic p, necessarily a prime number. As well as having applications to group theory, modular representations arise naturally in other branches of mathematics, such as algebraic geometry, coding theory, combinatorics and number theory.

In mathematics, especially in the fields of representation theory and module theory, a Frobenius algebra is a finite-dimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories. Frobenius algebras began to be studied in the 1930s by Richard Brauer and Cecil Nesbitt and were named after Georg Frobenius. Tadashi Nakayama discovered the beginnings of a rich duality theory, . Jean Dieudonné used this to characterize Frobenius algebras. Frobenius algebras were generalized to quasi-Frobenius rings, those Noetherian rings whose right regular representation is injective. In recent times, interest has been renewed in Frobenius algebras due to connections to topological quantum field theory.

In mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group.

<span class="mw-page-title-main">Algebraic combinatorics</span> Area of combinatorics

Algebraic combinatorics is an area of mathematics that employs methods of abstract algebra, notably group theory and representation theory, in various combinatorial contexts and, conversely, applies combinatorial techniques to problems in algebra.

Mathieu group M<sub>12</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Mathieu groupM12 is a sporadic simple group of order

The history of group theory, a mathematical domain studying groups in their various forms, has evolved in various parallel threads. There are three historical roots of group theory: the theory of algebraic equations, number theory and geometry. Joseph Louis Lagrange, Niels Henrik Abel and Évariste Galois were early researchers in the field of group theory.

<span class="mw-page-title-main">Representation theory</span> Branch of mathematics that studies abstract algebraic structures

Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations.

<span class="mw-page-title-main">Abstract algebra</span> Branch of mathematics

In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are sets with specific operations acting on their elements. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term abstract algebra was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in pedagogy.

<span class="mw-page-title-main">Charles W. Curtis</span>

Charles Whittlesey Curtis is a mathematician and historian of mathematics, known for his work in finite group theory and representation theory. He is a retired professor of mathematics at the University of Oregon.

Anton Kazimirovich Sushkevich was a Russian mathematician and textbook author who expanded group theory to include semigroups and other magmas.

References