Gauge factor - Revision history

en>Meters: Reverted edits by 49.200.247.71 (talk) to last version by Wtshymanski

2014-12-09T20:26:32Z

Reverted edits by 49.200.247.71 (talk) to last version by Wtshymanski

← Older revision		Revision as of 22:26, 9 December 2014
Line 1:		Line 1:
	~~Andrew Simcox is~~ the title ~~his parents gave him and~~ he ~~completely loves this name~~. ~~I am~~ really ~~fond of~~ to ~~go to karaoke but I~~'ve been ~~using on new issues recently. He works as~~ a ~~bookkeeper~~. ~~Her family life in Ohio but her husband wants them to transfer~~.<br><br>~~My web page -~~ free ~~psychic readings (~~[http://www.~~010~~-~~5260~~-~~5333~~.com/~~index.php?document_srl=1880&mid=board_ALMP66 inquiry~~])		Greetings. Allow me start by telling you the author's title - Phebe. He used to be unemployed but now he is a meter reader. His spouse doesn't like it the way he does but what he really likes performing is to do aerobics and he's been performing it for quite a whilst. California is our beginning place.<br><br>Feel free to visit my webpage: [http://www.hard-ass-porn.com/blog/111007 std home test]

en>Curran919 at 17:59, 1 March 2014

2014-03-01T17:59:31Z

← Older revision		Revision as of 19:59, 1 March 2014
Line 1:		Line 1:
	~~{{For\|~~the ~~result about curves \|Clifford's theorem on special divisors}}~~		Andrew Simcox is the title his parents gave him and he completely loves this name. I am really fond of to go to karaoke but I've been using on new issues recently. He works as a bookkeeper. Her family life in Ohio but her husband wants them to transfer.<br><br>My web page - free psychic readings ([http://www.010-5260-5333.com/index.php?document_srl=1880&mid=board_ALMP66 inquiry])
	~~In mathematics, '''Clifford theory''', introduced by {{harvtxt\|Clifford\|1937}}, describes the relation between representations of a group~~ and ~~those of a normal subgroup~~.

	~~==Alfred H. Clifford==~~

	~~[[Alfred H. Clifford]] proved the following result on the restriction~~ of ~~finite-dimensional irreducible representations from a group ''G''~~ to ~~a [[normal subgroup]] ''N'' of finite [[Index of a subgroup\|index]]:~~

	~~===Clifford's theorem===~~

	~~'''Theorem'''. Let π: ''G'' → GL(''n'',''K'') be an irreducible representation with ''K'' a [[field (mathematics)\|field]]. Then the restriction of π~~ to '~~'N'' breaks up into a direct sum of irreducible representations of ''N'' of equal dimensions. These irreducible representations of ''N'' lie in one orbit for the action of ''G'' by conjugation~~ on ~~the equivalence classes of irreducible representations of ''N''~~. ~~In particular the number of pairwise nonisomorphic summands is no greater than the index of ''N'' in ''G''.~~

	Clifford's theorem yields information about the restriction of a complex irreducible character of a finite group ''G'' to a normal subgroup ''N.'' If μ is a complex character of ''N'', then for a fixed element ''g'' of ''G'', another character, μ<sup>(g)</sup>, of ''N'' may be constructed by setting

	~~:<math>\mu^{(g)}(n) = \mu(gng^{-1})</math>~~

	for all ''n'' in ''N''. The character μ<sup>(g)</sup> is irreducible if and only if μ is. Clifford's theorem states that if χ is a complex irreducible character of ''G,'' and μ is an irreducible character of ''N'' with

	~~:<math>\langle \chi_N,\mu \rangle \neq 0,</math> then~~

	~~:<math>\chi_N = e\left(\sum_{i=1}^{t} \mu^{(g_i)}\right), </math>~~

	where ''e'' and ''t'' are positive integers, and each ''g<sub>i</sub>'' is an element of ''G.'' The integers ''e'' and ''t'' both divide the [[Index of a subgroup\|index]] [''G'':''N''] . The integer ''t'' is the index of a subgroup of ''G'', containing ''N'', known as ~~the '''inertial subgroup''' of μ. This is~~

	~~:<math> \{ g \in G: \mu^{(g)} = \mu \}</math>~~

	~~and is often denoted by~~

	~~:<math>I_G(\mu).</math>~~

	~~The elements ''g<sub>i</sub>'' may be taken to be representatives of all the right cosets of the subgroup ''I<sub>G</sub>''(μ) in ''G''.~~

	~~In fact, the integer ''e'' divides the index~~

	~~:<math>[I_G(\mu):N],</math>~~

	~~though the proof of this fact requires some use of [[Issai Schur\|Schur's]] theory of [[projective representation]]s.~~

	~~==Proof of Clifford's theorem==~~

	~~The proof of Clifford's theorem is best explained in terms of modules (and the module-theoretic version works for irreducible [[Modular representation theory\| modular representations]]). Let ''F'' be~~ a ~~field, ''V'' be an irreducible ''F''[''G'']-module, ''V<sub>N</sub>'' be its restriction to ''N'' and ''U'' be an irreducible ''F''[N]-submodule of ''V<sub>N</sub>''. For each ''g'' in ''G'', ''U''~~.~~''g'' is an irreducible ''F''[''N'']-submodule of ''V<sub>N</sub>'', and <math>\sum_{g \~~in G} U.g </math> is an ''F''[''G'']-submodule of ''V'', so must be all of ''V'' by irreducibility. Now ''V<sub>N</sub>'' is expressed as a sum of irreducible submodules, and this expression may be refined to a direct sum. The proof of the character-theoretic statement of the theorem may now be completed in the case ''F'' = '''C'''. Let χ be the character of ''G'' afforded by ''V'' and μ be the character of ''N'' afforded by ''U''. ~~For each ''g'' in ''G'', the '''C'''[''N'']-submodule ''U''.''g'' affords the character μ<sup>(g)</sup> and~~ <~~math~~>~~\langle \chi_N,\mu^{(g)}\rangle = \langle \chi_N^{(g)},\mu^{(g)}\rangle = \langle \chi_N,\mu \rangle~~ <~~/math~~>~~. The respective equalities follow because χ is a class~~-~~function of ''G'' and ''N'' is a normal subgroup. The integer ''e'' appearing in the statement of the theorem is this common multiplicity.~~

	~~==Corollary of Clifford's theorem==~~

	A corollary of Clifford's theorem, which is often exploited, is that the irreducible character χ appearing in the theorem is induced from an irreducible character of the inertial subgroup ''I<sub>G</sub>''(~~μ). If, for example, the irreducible character χ is '''primitive''' (that is, χ is not induced from any proper subgroup of ''G''), then ''G'' = ''I<sub>G</sub>''(μ) and χ<sub>N<~~/sub> = ''e''μ. A case where this property of primitive characters is used particularly frequently is when ''N'' is Abelian and χ is '''faithful''' (that is, its kernel contains just the identity element). In that case, μ is linear, ''N'' is represented by scalar matrices in any representation affording character χ and ''N'' is thus contained in the '''center''' of ''G'' (that is, the subgroup of ''G'' consisting of those elements which themselves commute with every element of ''G''). For example, if ''G'' is the symmetric group ''S''<sub>4</~~sub>, then ''G'' has a faithful complex irreducible character χ of degree ''3~~.~~'' There is an Abelian normal subgroup ''N'' of order ''4'' (a Klein ''4''~~-subgroup) which is not contained in the center of ''G''. Hence χ is induced from a character of a proper subgroup of ''G'' containing ''N.'' The only possibility is that χ is induced from a linear character of a Sylow ''2''-~~subgroup of ''G''.~~

	~~==Further developments==~~
	Clifford's theorem has led to a branch of representation theory in its own right, now known as '''Clifford theory'''. This is particularly relevant to the representation theory of finite solvable groups, where normal subgroups usually abound. For more general finite groups, Clifford theory often allows representation-theoretic questions to be reduced to questions about groups which are close (in a sense which can be made precise) to being simple.

	{{harvtxt\|Mackey\|1976}} found a more precise version of this result for the restriction of irreducible [[unitary representation]]s of [[locally compact group]]s to closed normal subgroups in what has become known as the "Mackey machine" or "Mackey normal subgroup analysis".

	~~==References==~~
	*{{citation\|doi=10.2307/~~1968599\|title=Representations Induced in an Invariant Subgroup~~
	~~\|first=A~~. ~~H. \|last=Clifford \| authorlink=Alfred H. Clifford~~
	~~\|journal=Annals of Mathematics \| series = Second Series\|volume= 38\|issue= 3 \|year= 1937\|pages= 533–550\|publisher=Annals of Mathematics\|jstor=1968599}}~~
	*{{citation\|first=George W.\|last=~~Mackey\|authorlink~~=~~George Mackey\|title=The theory of unitary group representations\|series=Chicago Lectures in Mathematics\|year=1976\|id=ISBN 0-226-50051-9}}~~

	~~[[Category:Representation theory]~~]

86.25.254.254 at 16:33, 31 October 2012

2012-10-31T16:33:04Z

← Older revision		Revision as of 18:33, 31 October 2012
Line 1:		Line 1:
	~~The writer~~ is ~~called Araceli Gulledge~~. ~~Some time in~~ the ~~past he selected~~ to ~~reside~~ in ~~Kansas~~. ~~Camping~~ is ~~some thing~~ that I'~~ve done~~ for ~~many years~~. ~~His day job~~ is ~~a cashier~~ and ~~his wage has been truly fulfilling~~.<br><br>~~My web blog~~ ... [~~http:~~//~~529design~~.~~net~~/~~UserProfile~~/~~tabid~~/61/~~userId~~/~~27197/Default~~.~~aspx extended car warranty~~]		{{For\|the result about curves \|Clifford's theorem on special divisors}}
			In mathematics, '''Clifford theory''', introduced by {{harvtxt\|Clifford\|1937}}, describes the relation between representations of a group and those of a normal subgroup.

			==Alfred H. Clifford==

			[[Alfred H. Clifford]] proved the following result on the restriction of finite-dimensional irreducible representations from a group ''G'' to a [[normal subgroup]] ''N'' of finite [[Index of a subgroup\|index]]:

			===Clifford's theorem===

			'''Theorem'''. Let π: ''G'' → GL(''n'',''K'') be an irreducible representation with ''K'' a [[field (mathematics)\|field]]. Then the restriction of π to ''N'' breaks up into a direct sum of irreducible representations of ''N'' of equal dimensions. These irreducible representations of ''N'' lie in one orbit for the action of ''G'' by conjugation on the equivalence classes of irreducible representations of ''N''. In particular the number of pairwise nonisomorphic summands is no greater than the index of ''N'' in ''G''.

			Clifford's theorem yields information about the restriction of a complex irreducible character of a finite group ''G'' to a normal subgroup ''N.'' If μ is a complex character of ''N'', then for a fixed element ''g'' of ''G'', another character, μ<sup>(g)</sup>, of ''N'' may be constructed by setting

			:<math>\mu^{(g)}(n) = \mu(gng^{-1})</math>

			for all ''n'' in ''N''. The character μ<sup>(g)</sup> is irreducible if and only if μ is. Clifford's theorem states that if χ is a complex irreducible character of ''G,'' and μ is an irreducible character of ''N'' with

			:<math>\langle \chi_N,\mu \rangle \neq 0,</math> then

			:<math>\chi_N = e\left(\sum_{i=1}^{t} \mu^{(g_i)}\right), </math>

			where ''e'' and ''t'' are positive integers, and each ''g<sub>i</sub>'' is an element of ''G.'' The integers ''e'' and ''t'' both divide the [[Index of a subgroup\|index]] [''G'':''N''] . The integer ''t'' is the index of a subgroup of ''G'', containing ''N'', known as the '''inertial subgroup''' of μ. This is

			:<math> \{ g \in G: \mu^{(g)} = \mu \}</math>

			and is often denoted by

			:<math>I_G(\mu).</math>

			The elements ''g<sub>i</sub>'' may be taken to be representatives of all the right cosets of the subgroup ''I<sub>G</sub>''(μ) in ''G''.

			In fact, the integer ''e'' divides the index

			:<math>[I_G(\mu):N],</math>

			though the proof of this fact requires some use of [[Issai Schur\|Schur's]] theory of [[projective representation]]s.

			==Proof of Clifford's theorem==

			The proof of Clifford's theorem is best explained in terms of modules (and the module-theoretic version works for irreducible [[Modular representation theory\| modular representations]]). Let ''F'' be a field, ''V'' be an irreducible ''F''[''G'']-module, ''V<sub>N</sub>'' be its restriction to ''N'' and ''U'' be an irreducible ''F''[N]-submodule of ''V<sub>N</sub>''. For each ''g'' in ''G'', ''U''.''g'' is an irreducible ''F''[''N'']-submodule of ''V<sub>N</sub>'', and <math>\sum_{g \in G} U.g </math> is an ''F''[''G'']-submodule of ''V'', so must be all of ''V'' by irreducibility. Now ''V<sub>N</sub>'' is expressed as a sum of irreducible submodules, and this expression may be refined to a direct sum. The proof of the character-theoretic statement of the theorem may now be completed in the case ''F'' = '''C'''. Let χ be the character of ''G'' afforded by ''V'' and μ be the character of ''N'' afforded by ''U''. For each ''g'' in ''G'', the '''C'''[''N'']-submodule ''U''.''g'' affords the character μ<sup>(g)</sup> and <math>\langle \chi_N,\mu^{(g)}\rangle = \langle \chi_N^{(g)},\mu^{(g)}\rangle = \langle \chi_N,\mu \rangle </math>. The respective equalities follow because χ is a class-function of ''G'' and ''N'' is a normal subgroup. The integer ''e'' appearing in the statement of the theorem is this common multiplicity.

			==Corollary of Clifford's theorem==

			A corollary of Clifford's theorem, which is often exploited, is that the irreducible character χ appearing in the theorem is induced from an irreducible character of the inertial subgroup ''I<sub>G</sub>''(μ). If, for example, the irreducible character χ is '''primitive''' (that is, χ is not induced from any proper subgroup of ''G''), then ''G'' = ''I<sub>G</sub>''(μ) and χ<sub>N</sub> = ''e''μ. A case where this property of primitive characters is used particularly frequently is when ''N'' is Abelian and χ is '''faithful''' (that is, its kernel contains just the identity element). In that case, μ is linear, ''N'' is represented by scalar matrices in any representation affording character χ and ''N'' is thus contained in the '''center''' of ''G'' (that is, the subgroup of ''G'' consisting of those elements which themselves commute with every element of ''G''). For example, if ''G'' is the symmetric group ''S''<sub>4</sub>, then ''G'' has a faithful complex irreducible character χ of degree ''3.'' There is an Abelian normal subgroup ''N'' of order ''4'' (a Klein ''4''-subgroup) which is not contained in the center of ''G''. Hence χ is induced from a character of a proper subgroup of ''G'' containing ''N.'' The only possibility is that χ is induced from a linear character of a Sylow ''2''-subgroup of ''G''.

			==Further developments==
			Clifford's theorem has led to a branch of representation theory in its own right, now known as '''Clifford theory'''. This is particularly relevant to the representation theory of finite solvable groups, where normal subgroups usually abound. For more general finite groups, Clifford theory often allows representation-theoretic questions to be reduced to questions about groups which are close (in a sense which can be made precise) to being simple.

			{{harvtxt\|Mackey\|1976}} found a more precise version of this result for the restriction of irreducible [[unitary representation]]s of [[locally compact group]]s to closed normal subgroups in what has become known as the "Mackey machine" or "Mackey normal subgroup analysis".

			==References==
			*{{citation\|doi=10.2307/1968599\|title=Representations Induced in an Invariant Subgroup
			\|first=A. H. \|last=Clifford \| authorlink=Alfred H. Clifford
			\|journal=Annals of Mathematics \| series = Second Series\|volume= 38\|issue= 3 \|year= 1937\|pages= 533–550\|publisher=Annals of Mathematics\|jstor=1968599}}
			*{{citation\|first=George W.\|last=Mackey\|authorlink=George Mackey\|title=The theory of unitary group representations\|series=Chicago Lectures in Mathematics\|year=1976\|id=ISBN 0-226-50051-9}}

			[[Category:Representation theory]]

111.93.42.26 at 14:33, 10 November 2011

2011-11-10T14:33:07Z

New page

The writer is called Araceli Gulledge. Some time in the past he selected to reside in Kansas. Camping is some thing that I've done for many years. His day job is a cashier and his wage has been truly fulfilling.<br><br>My web blog ... [http://529design.net/UserProfile/tabid/61/userId/27197/Default.aspx extended car warranty]