Finding linear representations of a group - Revision history

Vipul at 02:10, 13 July 2011

2011-07-13T02:10:34Z

← Older revision		Revision as of 02:10, 13 July 2011
Line 59:		Line 59:
	===Automorphism groups===		===Automorphism groups===

	Given a linear representation <math>\rho:G \to GL(n,k)</math> and an automorphism <math>\sigma</math> of <math>G</math>, we can define a linear representation <math>\rho \circ \sigma: G \to GL(n,k)</math>. If <math>\sigma</math> is a [[class-preserving automorphism]], then this new representation is conjugate to the old one, because [[~~non-modular implies~~ character~~-determining~~]]. Otherwise, we may get a new representation.		Given a linear representation <math>\rho:G \to GL(n,k)</math> and an automorphism <math>\sigma</math> of <math>G</math>, we can define a linear representation <math>\rho \circ \sigma: G \to GL(n,k)</math>. If <math>\sigma</math> is a [[class-preserving automorphism]], then this new representation is conjugate to the old one, because [[character determines representation in characteristic zero]]. Otherwise, we may get a new representation.

	In fact, it suffices to construct an automorphism of <math>G/\operatorname{Ker}(\rho)</math> to get a new representation, or more generally, an automorphism of any intermediate quotient.		In fact, it suffices to construct an automorphism of <math>G/\operatorname{Ker}(\rho)</math> to get a new representation, or more generally, an automorphism of any intermediate quotient.

Vipul: /* Powerful theorems about induction */

2009-04-12T21:29:56Z

Powerful theorems about induction

← Older revision		Revision as of 21:29, 12 April 2009
Line 73:		Line 73:
	===Powerful theorems about induction===		===Powerful theorems about induction===

	[[~~Brauer~~'s induction theorem]] states that every linear representation over a field of characteristic zero is a rational linear combination of representations induced from cyclic subgroups. [[~~Artin~~'s induction theorem]] states that every linear representation is an integral linear combination of representations induced from [[elementary group\|elementary subgroups]]. In fact, a stronger version of the statement is that every linear representation is an integral linear combination of representations induced from degree one representations on elementary subgroups.		[[Artin's induction theorem]] states that every linear representation over a field of characteristic zero is a rational linear combination of representations induced from cyclic subgroups. [[Brauer's induction theorem]] states that every linear representation is an integral linear combination of representations induced from [[elementary group\|elementary subgroups]]. In fact, a stronger version of the statement is that every linear representation is an integral linear combination of representations induced from degree one representations on elementary subgroups.

Vipul: /* Actions on coset spaces and other group-theoretic constructs */

2009-04-12T21:17:10Z

Actions on coset spaces and other group-theoretic constructs

← Older revision		Revision as of 21:17, 12 April 2009
Line 41:		Line 41:
	===Actions on coset spaces and other group-theoretic constructs===		===Actions on coset spaces and other group-theoretic constructs===

	Some group actions can be constructed using subgroups, by the fact that a [[group acts on left coset space by left multiplication]]. In fact, every transitive group action arises in this way, by the [[fundamental ~~theory~~ of group actions]]. Thus, if there is a subgroup of index <math>d</math>, we get a homomorphism from the group to the symmetric group of degree <math>d</math>, giving a representation of degree <math>d - 1</math> if we look at the subspace of vectors whose coordinates add up to zero.		Some group actions can be constructed using subgroups, by the fact that a [[group acts on left coset space by left multiplication]]. In fact, every transitive group action arises in this way, by the [[fundamental theorem of group actions]]. Thus, if there is a subgroup of index <math>d</math>, we get a homomorphism from the group to the symmetric group of degree <math>d</math>, giving a representation of degree <math>d - 1</math> if we look at the subspace of vectors whose coordinates add up to zero.

	The subgroups approach is comprehensive if we have complete information about the subgroup structure, but in the absence of this information, we may use more indirect methods:		The subgroups approach is comprehensive if we have complete information about the subgroup structure, but in the absence of this information, we may use more indirect methods:

Vipul at 21:15, 12 April 2009

2009-04-12T21:15:32Z

← Older revision		Revision as of 21:15, 12 April 2009
Line 23:		Line 23:

	Thus, given a finite group <math>G</math>, determining all the representations of degree less than or equal to <math>3</math> is equivalent to determining all the quotient groups of <math>G</math> that are isomorphic to one of the subgroups listed above.		Thus, given a finite group <math>G</math>, determining all the representations of degree less than or equal to <math>3</math> is equivalent to determining all the quotient groups of <math>G</math> that are isomorphic to one of the subgroups listed above.

			Over the complex numbers, classifying finite subgroups of the general linear group is equivalent to classifying finite subgroups of the [[unitary group]], because [[unitary group is finite-dominating in general linear group over the complex numbers\|any finite subgroup of the general linear group is conjugate to a finite subgroup of the unitary group]]. The classification here is somewhat more tricky:

			* For <math>n = 1</math>, the only finite subgroups are the cyclic subgroups, because <math>U(1,\mathbb{C})</math> is the [[circle group]].
			* For <math>n = 2</math>, the finite subgroups are completely classified. The finite subgroups of <math>SU(2,\mathbb{C})</math> central extensions of the cyclic group of order two by the finite subgroups of <math>SO(3,\R)</math>. A little more work gives the list of finite subgroups of <math>U(2,\mathbb{C})</math>. {{further\|[[Classification of finite subgroups of SU(2,C)]], [[Classification of finite subgroups of U(2,C)]]}}.

			Thus, given a finite group <math>G</math>, determining all the representations of degree less than or equal to <math>2</math> is equivalent to determining all the quotient groups of <math>G</math> that are isomorphic to one of the subgroups listed above.

			==Finding natural actions==

			===Permutation actions===

			One way to construct linear representations is to use permutation representations that may arise from the way the group is defined. Permutation representations on sets of size more than one are never irreducible by themselves, because the one-dimensional subspace comprising vectors with all coordinates equal is an invariant subspace. However, subtracting this trivial representation may give an irreducible representation or a representation that is easily decomposed into irreducible constituents.

			For instance, the [[symmetric group]] of degree <math>n</math> acts naturally on a <math>n</math>-dimensional vector space by permuting the basis elements. The action on the <math>(n-1)</math>-dimensional subspace of vectors whose coordinates add up to zero is irreducible, and this representation is termed the [[standard representation]]. The restriction of this representation to the alternating group also gives an irreducible representation.

			===Actions on coset spaces and other group-theoretic constructs===

			Some group actions can be constructed using subgroups, by the fact that a [[group acts on left coset space by left multiplication]]. In fact, every transitive group action arises in this way, by the [[fundamental theory of group actions]]. Thus, if there is a subgroup of index <math>d</math>, we get a homomorphism from the group to the symmetric group of degree <math>d</math>, giving a representation of degree <math>d - 1</math> if we look at the subspace of vectors whose coordinates add up to zero.

			The subgroups approach is comprehensive if we have complete information about the subgroup structure, but in the absence of this information, we may use more indirect methods:

			* The action of the group by conjugation on the set of elements in any [[conjugacy class]] gives a transitive group action. This corresponds to the action on the coset space of the [[centralizer]] of any element of the conjugacy class.
			* The action of the group by conjugation on the collection of [[conjugate subgroups]] to a given subgroup is a transitive group action. This corresponds to the action on the coset space of the [[normalizer subgroup]].
			* Actions on the collection of all subsets of a given size by left multiplication, right multiplication, or conjugation, may be of interest. Such actions are not transitive, but their orbits may be of interest.

			==Using old representations to obtain new ones==

			===Sums and products===

			We can take a [[direct sum of linear representations]] to obtain new linear representations from old ones, but this is not a good method for obtaining ''irreducible'' linear representations. The [[tensor product of linear representations]] is another method to obtain new linear representations from old ones.

			The tensor product of two linear representations is usually not linear (unless one of them has degree one). However, it may decompose as a sum of new irreducible linear representations.

			===Automorphism groups===

			Given a linear representation <math>\rho:G \to GL(n,k)</math> and an automorphism <math>\sigma</math> of <math>G</math>, we can define a linear representation <math>\rho \circ \sigma: G \to GL(n,k)</math>. If <math>\sigma</math> is a [[class-preserving automorphism]], then this new representation is conjugate to the old one, because [[non-modular implies character-determining]]. Otherwise, we may get a new representation.

			In fact, it suffices to construct an automorphism of <math>G/\operatorname{Ker}(\rho)</math> to get a new representation, or more generally, an automorphism of any intermediate quotient.

			==Induction==

			Induction from subgroups is a very powerful tool for obtaining new representations. These representations are usually not irreducible but they may have new irreducible constituents.

			===Induction from the principal character===

			Induction from the principal character is equivalent to taking the permutation representation on the coset space of the subgroup. Thus, the permutation representations approach can be viewed as a special case of induction from subgroups.

			===Powerful theorems about induction===

			[[Brauer's induction theorem]] states that every linear representation over a field of characteristic zero is a rational linear combination of representations induced from cyclic subgroups. [[Artin's induction theorem]] states that every linear representation is an integral linear combination of representations induced from [[elementary group\|elementary subgroups]]. In fact, a stronger version of the statement is that every linear representation is an integral linear combination of representations induced from degree one representations on elementary subgroups.

Vipul at 20:09, 12 April 2009

2009-04-12T20:09:41Z

← Older revision		Revision as of 20:09, 12 April 2009
Line 11:		Line 11:

	A representation of a group <math>G</math> of degree <math>n</math> over a field <math>k</math> is a homomorphism from <math>G</math> to the [[general linear group]] <math>GL(n,k)</math>. In particular, it is an isomorphism between a [[quotient group\|quotient]] of <math>G</math> and a [[subgroup]] of <math>GL(n,k)</math>. In order to tackle the general question of finding representations of degree <math>n</math> over <math>k</math>, it is important to know the (conjugacy classes of) subgroups of <math>GL(n,k)</math>.		A representation of a group <math>G</math> of degree <math>n</math> over a field <math>k</math> is a homomorphism from <math>G</math> to the [[general linear group]] <math>GL(n,k)</math>. In particular, it is an isomorphism between a [[quotient group\|quotient]] of <math>G</math> and a [[subgroup]] of <math>GL(n,k)</math>. In order to tackle the general question of finding representations of degree <math>n</math> over <math>k</math>, it is important to know the (conjugacy classes of) subgroups of <math>GL(n,k)</math>.

			===Classifying over the reals and complex numbers===

			{{further\|[[Orthogonal group is finite-dominating in general linear group over any real-closed field]], [[Unitary group is finite-dominating in general linear group over the complex numbers]]}}

			Over the reals, classifying finite subgroups of the general linear group is equivalent to classifying finite subgroups of the [[orthogonal group]], because [[Orthogonal group is finite-dominating in general linear group over any real-closed field\|any finite subgroup of the general linear group is conjugate to a finite subgroup of the orthogonal group]]. The classification is easy for small values of <math>n</math>:

			* For <math>n = 1</math>, the only finite subgroups are the trivial group and a cyclic group of order two. In fact, the orthogonal group itself is cyclic of order two.
			* For <math>n = 2</math>, the only finite subgroups are [[cyclic group]]s and [[dihedral group]]s. {{further\|[[Classification of finite subgroups of O(2,R)]]}}
			* For <math>n = 3</math>, the finite subgroups include cyclic groups, dihedral groups, and finitely many exceptions. These exceptions include the [[von Dyck group]]s and the [[triangle group]]s with parameters <math>(3,3,2)</math>, <math>(4,3,2)</math> and <math>(5,3,2)</math>. In particular, they include the alternating groups of degrees [[alternating group:A4\|four]] and [[alternating group:A5\|five]], the [[symmetric group:S4\|symmetric group of degree four]], the [[cube group]], which is a direct product of the symmetric group of degree four and a cyclic group of order two, and a group of order <math>120</math>. {{further\|[[Classification of finite subgroups of SO(3,R)]], [[Classification of finite subgroups of O(3,R)]]}}

			Thus, given a finite group <math>G</math>, determining all the representations of degree less than or equal to <math>3</math> is equivalent to determining all the quotient groups of <math>G</math> that are isomorphic to one of the subgroups listed above.

Vipul: Created page with '{{survey article|linear representation theory}} This article discusses various methods to find linear representations of a group over various fields. ==Related survey articles=...'

2009-04-12T18:36:32Z

Created page with '{{survey article|linear representation theory}} This article discusses various methods to find linear representations of a group over various fields. ==Related survey articles=...'

New page

{{survey article|linear representation theory}}

This article discusses various methods to find linear representations of a group over various fields.

==Related survey articles==

* [[Determining the character table of a finite group]]
* [[Using the character table to determine group-theoretic invariants]]

==Representations in terms of quotient-subgroup matching==

A representation of a group <math>G</math> of degree <math>n</math> over a field <math>k</math> is a homomorphism from <math>G</math> to the [[general linear group]] <math>GL(n,k)</math>. In particular, it is an isomorphism between a [[quotient group|quotient]] of <math>G</math> and a [[subgroup]] of <math>GL(n,k)</math>. In order to tackle the general question of finding representations of degree <math>n</math> over <math>k</math>, it is important to know the (conjugacy classes of) subgroups of <math>GL(n,k)</math>.