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.
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 .
The set of class functions of a group G with values in a field K form a K-vector space. If G is finite and the characteristic of the field does not divide the order of G, then there is an inner product defined on this space defined by where |G| denotes the order of G and bar is conjugation in the field K. The set of irreducible characters of G forms an orthogonal basis, and if K is a splitting field for G, for instance if K is algebraically closed, then the irreducible characters form an orthonormal basis.
In the case of a compact group and K = C the field of complex numbers, the notion of Haar measure allows one to replace the finite sum above with an integral:
When K is the real numbers or the complex numbers, the inner product is a non-degenerate Hermitian bilinear form.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
The topics addressed in this course are the structure theory of reductive algebraic groups, their associated Lie algebras, the related finite groups of Lie type, and the representation theory of all o
The topics addressed in this course are the structure theory of reductive algebraic groups, their associated Lie algebras, the related finite groups of Lie type, and the representation theory of all o
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 (for example, matrix addition, matrix multiplication).
The representation theory of groups is a part of mathematics which examines how groups act on given structures. Here the focus is in particular on operations of groups on vector spaces. Nevertheless, groups acting on other groups or on sets are also considered. For more details, please refer to the section on permutation representations. Other than a few marked exceptions, only finite groups will be considered in this article. We will also restrict ourselves to vector spaces over fields of characteristic zero.
In mathematics, Maschke's theorem, named after Heinrich Maschke, is a theorem in group representation theory that concerns the decomposition of representations of a finite group into irreducible pieces. Maschke's theorem allows one to make general conclusions about representations of a finite group G without actually computing them. It reduces the task of classifying all representations to a more manageable task of classifying irreducible representations, since when the theorem applies, any representation is a direct sum of irreducible pieces (constituents).
The group D(P) of all endo-permutation modules for a finite p-group P is a finitely generated abelian group. We prove that its torsion-free rank is equal to the number of conjugacy classes of non-cyclic subgroups of P. We also obtain partial results on its ...
Thévenaz [6] made an interesting observation that the number of conjugacy classes of cyclic subgroups in a finite group G is equal to the rank of the matrix of the numbers of double cosets in G. We give another proof of this fact and present a fusion syste ...
We produce a rigid triple of classes in the algebraic group G(2) in characteristic 5, and use it to show that the finite groups G(2)(5(n)) are not (2, 5, 5)-generated. ...