|
Brauer's Theorem On Induced Characters
Brauer's theorem on induced characters, often known as Brauer's induction theorem, and named after Richard Brauer, is a basic result in the branch of mathematics known as character theory, which is part of the representation theory of finite groups. Background A precursor to Brauer's induction theorem was Artin's induction theorem, which states that , ''G'', times the trivial character of ''G'' is an integer combination of characters which are each induced from trivial characters of cyclic subgroups of ''G.'' Brauer's theorem removes the factor , ''G'', , but at the expense of expanding the collection of subgroups used. Some years after the proof of Brauer's theorem appeared, J.A. Green showed (in 1955) that no such induction theorem (with integer combinations of characters induced from linear characters) could be proved with a collection of subgroups smaller than the Brauer elementary subgroups. Another result between Artin's induction theorem and Brauer's induction theorem, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Brauer
Richard Dagobert Brauer (February 10, 1901 – April 17, 1977) was a 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. Education and career Alfred Brauer was Richard's brother and seven years older. They were born to a Jewish family. Both were interested in science and mathematics, but Alfred was injured in combat in World War I. As a boy, Richard dreamt of becoming an inventor, and in February 1919 enrolled in Technische Hochschule Berlin-Charlottenburg. He soon transferred to University of Berlin. Except for the summer of 1920 when he studied at University of Freiburg, he studied in Berlin, being awarded his PhD on 16 March 1926. Issai Schur conducted a seminar and posed a problem in 1921 that Alfred and Richard worked on together, and published a result. The problem also was solved by Heinz Hopf at the same time. Richard wrote his thesis unde ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Integer
In algebraic number theory, an algebraic integer is a complex number that is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficients are integers. The set of all algebraic integers is closed under addition, subtraction and multiplication and therefore is a commutative subring of the complex numbers. The ring of integers of a number field , denoted by , is the intersection of and : it can also be characterized as the maximal order of the field . Each algebraic integer belongs to the ring of integers of some number field. A number is an algebraic integer if and only if the ring \mathbbalpha/math> is finitely generated as an abelian group, which is to say, as a \mathbb- module. Definitions The following are equivalent definitions of an algebraic integer. Let be a number field (i.e., a finite extension of \mathbb, the field of rational numbers), in other words ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilpotent Group
In mathematics, specifically group theory, a nilpotent group ''G'' is a group that has an upper central series that terminates with ''G''. Equivalently, it has a central series of finite length or its lower central series terminates with . Intuitively, a nilpotent group is a group that is "almost abelian". This idea is motivated by the fact that nilpotent groups are solvable, and for finite nilpotent groups, two elements having relatively prime orders must commute. It is also true that finite nilpotent groups are supersolvable. The concept is credited to work in the 1930s by Russian mathematician Sergei Chernikov. Nilpotent groups arise in Galois theory, as well as in the classification of groups. They also appear prominently in the classification of Lie groups. Analogous terms are used for Lie algebras (using the Lie bracket) including nilpotent, lower central series, and upper central series. Definition The definition uses the idea of a central series for a gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binary Tetrahedral Group
In mathematics, the binary tetrahedral group, denoted 2T or ,Coxeter&Moser: Generators and Relations for discrete groups: : Rl = Sm = Tn = RST is a certain nonabelian group of order (group theory), order 24. It is an group extension, extension of the tetrahedral group T or (2,3,3) of order 12 by a cyclic group of order 2, and is the preimage of the tetrahedral group under the 2:1 covering homomorphism Spin(3) → SO(3) of the special orthogonal group by the spin group. It follows that the binary tetrahedral group is a discrete subgroup of Spin(3) of order 24. The complex reflection group named 3(24)3 by Geoffrey Colin Shephard, G.C. Shephard or 3[3]3 and by Coxeter, is isomorphic to the binary tetrahedral group. The binary tetrahedral group is most easily described concretely as a discrete subgroup of the unit quaternions, under the isomorphism , where Sp(1) is the multiplicative group of unit quaternions. (For a description of this homomorphism see the ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field (mathematics), fields, and vector spaces, can all be seen as groups endowed with additional operation (mathematics), 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. Various physical systems, such as crystals and the hydrogen atom, and Standard Model, three of the four known fundamental forces in the universe, may be modelled by symmetry groups. Thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is also cen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hecke Character
In number theory, a Hecke character is a generalisation of a Dirichlet character, introduced by Erich Hecke to construct a class of ''L''-functions larger than Dirichlet ''L''-functions, and a natural setting for the Dedekind zeta-functions and certain others which have functional equations analogous to that of the Riemann zeta-function. Definition A Hecke character is a character of the idele class group of a number field or global function field. It corresponds uniquely to a character of the idele group which is trivial on principal ideles, via composition with the projection map. This definition depends on the definition of a character, which varies slightly between authors: It may be defined as a homomorphism to the non-zero complex numbers (also called a "quasicharacter"), or as a homomorphism to the unit circle in \mathbb ("unitary"). Any quasicharacter (of the idele class group) can be written uniquely as a unitary character times a real power of the norm, so there ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet L-function
In mathematics, a Dirichlet L-series is a function of the form :L(s,\chi) = \sum_^\infty \frac. where \chi is a Dirichlet character and s a complex variable with real part greater than 1 . It is a special case of a Dirichlet series. By analytic continuation, it can be extended to a meromorphic function on the whole complex plane, and is then called a Dirichlet L -function and also denoted L ( s , \chi) . These functions are named after Peter Gustav Lejeune Dirichlet who introduced them in to prove the Dirichlet's theorem on arithmetic progressions, theorem on primes in arithmetic progressions that also bears his name. In the course of the proof, Dirichlet shows that L ( s , \chi) is non-zero at s = 1 . Moreover, if \chi is principal, then the corresponding Dirichlet L -function has a simple pole at s = 1 . Otherwise, the L -function is entire function, entire. Euler product Since a Dirichlet character \chi is completely multiplicative, its L -function can also ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artin L-function
In mathematics, an Artin ''L''-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group ''G''. These functions were introduced in 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin ''L''-functions into a larger framework, such as is provided by automorphic forms and the Langlands program. So far, only a small part of such a theory has been put on a firm basis. Definition Given \rho , a representation of G on a finite-dimensional complex vector space V, where G is the Galois group of the finite extension L/K of number fields, the Artin L-function L(\rho,s) is defined by an Euler product. For each prime ideal \mathfrak p in K's ring of integers, there is an Euler fac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Class Function
In mathematics, especially in the fields of group theory and representation theory of groups, a class function is a function on a group ''G'' that is constant on the conjugacy classes of ''G''. In other words, it is invariant under the conjugation map on ''G''. Such functions play a basic role in representation theory. Characters The character of a linear representation of ''G'' over a field ''K'' is always a class function with values in ''K''. The class functions form the center of the group ring ''K'' 'G'' Here a class function ''f'' is identified with the element \sum_ f(g) g. Inner products The set of class functions of a group with values in a field form a -vector space. If is finite and the characteristic of the field does not divide the order of , then there is an inner product defined on this space defined by \langle \phi , \psi \rangle = \frac \sum_ \phi(g) \overline, where denotes the order of and the overbar denotes conjugation in the field . The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lefschetz Fixed-point Theorem
In mathematics, the Lefschetz fixed-point theorem is a formula that counts the fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X. It is named after Solomon Lefschetz, who first stated it in 1926. The counting is subject to an imputed multiplicity at a fixed point called the fixed-point index. A weak version of the theorem is enough to show that a mapping without ''any'' fixed point must have rather special topological properties (like a rotation of a circle). Formal statement For a formal statement of the theorem, let :f\colon X \rightarrow X\, be a continuous map from a compact triangulable space X to itself. Define the Lefschetz number \Lambda_f of f by :\Lambda_f:=\sum_(-1)^k\mathrm(H_k(f,\Q)), the alternating (finite) sum of the matrix traces of the linear maps induced by f on H_k(X,\Q), the singular homology groups of X with rational coefficients. A simple ver ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Tate (mathematician)
John Torrence Tate Jr. (March 13, 1925 – October 16, 2019) was an American mathematician distinguished for many fundamental contributions in algebraic number theory, arithmetic geometry, and related areas in algebraic geometry. He was awarded the Abel Prize in 2010. Biography Tate was born in Minneapolis, on March 13, 1925. His father, John Tate Sr., was a professor of physics at the University of Minnesota and a longtime editor of ''Physical Review''. His mother, Lois Beatrice Fossler, was a high school English teacher. Tate Jr. received his bachelor's degree in mathematics in 1946 from Harvard University and entered the doctoral program in physics at Princeton University. He later transferred to the mathematics department and received his PhD in mathematics in 1950 after completing a doctoral dissertation titled "Fourier analysis in number fields and Hecke's zeta functions" under the supervision of Emil Artin. Tate taught at Harvard for 36 years before joining the Un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
