[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/en\/wiki41\/induced-representation-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/en\/wiki41\/induced-representation-wikipedia\/","headline":"Induced representation – Wikipedia","name":"Induced representation – Wikipedia","description":"before-content-x4 Process of extending a representation of a subgroup to the parent group after-content-x4 In group theory, the induced representation","datePublished":"2021-08-19","dateModified":"2021-08-19","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/en\/wiki41\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/en\/wiki41\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/f35c6cc07549a0909a5bc7cd6be025051b82b054","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/f35c6cc07549a0909a5bc7cd6be025051b82b054","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/en\/wiki41\/induced-representation-wikipedia\/","wordCount":8174,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4Process of extending a representation of a subgroup to the parent group       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4In group theory, the induced representation is a representation of a group, G, which is constructed using a known representation of a subgroup H. Given a representation of H, the induced representation is, in a sense, the “most general” representation of G that extends the given one. Since it is often easier to find representations of the smaller group H than of G, the operation of forming induced representations is an important tool to construct new representations.Induced representations were initially defined by Frobenius, for linear representations of finite groups. The idea is by no means limited to the case of finite groups, but the theory in that case is particularly well-behaved.       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Table of ContentsConstructions[edit]Algebraic[edit]Examples[edit]Properties[edit]Analytic[edit]Geometric[edit]Systems of imprimitivity[edit]Lie theory[edit]See also[edit]References[edit]Constructions[edit]Algebraic[edit]Let G be a finite group and H any subgroup of G.  Furthermore let (\u03c0, V) be a representation of H.  Let n = [G\u00a0: H] be the index of H in G and let g1, …, gn be a full set of representatives in G of the left cosets in G\/H. The induced representation IndGH \u03c0 can be thought of as acting on the following space:W=\u2a01i=1ngiV.{displaystyle W=bigoplus _{i=1}^{n}g_{i}V.}Here each gi\u2009V is an isomorphic copy of the vector space V whose elements are written as gi\u2009v with v\u2208V. For each g in G and each gi there is an hi in H and j(i) in {1, …, n} such that  g gi = gj(i) hi . (This is just another way of saying that g1, …, gn is a full set of representatives.) Via the induced representation G acts on W as follows:       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4g\u22c5\u2211i=1ngivi=\u2211i=1ngj(i)\u03c0(hi)vi{displaystyle gcdot sum _{i=1}^{n}g_{i}v_{i}=sum _{i=1}^{n}g_{j(i)}pi (h_{i})v_{i}}where vi\u2208V{displaystyle v_{i}in V} for each i.Alternatively, one can construct induced representations by extension of scalars: any K-linear representation \u03c0{displaystyle pi }  of the group H can be viewed as a module V over the group ring K[H]. We can then defineIndHG\u2061\u03c0=K[G]\u2297K[H]V.{displaystyle operatorname {Ind} _{H}^{G}pi =K[G]otimes _{K[H]}V.}This latter formula can also be used to define IndGH \u03c0 for any group G and subgroup H, without requiring any finiteness.[1]Examples[edit]For any group, the induced representation of the trivial representation of the trivial subgroup is the right regular representation.  More generally the induced representation of the trivial representation of any subgroup is the permutation representation on the cosets of that subgroup.An induced representation of a one dimensional representation is called a monomial representation, because it can be represented as monomial matrices.  Some groups have the property that all of their irreducible representations are monomial, the so-called monomial groups.Properties[edit]If H is a subgroup of the group G, then every K-linear representation \u03c1 of G can be viewed as a K-linear representation of H; this is known as the restriction of \u03c1 to H and denoted by Res(\u03c1). In the case of finite groups and finite-dimensional representations, the Frobenius reciprocity theorem states that, given representations \u03c3 of H and \u03c1 of G, the space of H-equivariant linear maps from \u03c3 to Res(\u03c1) has the same dimension over K as that of G-equivariant linear maps from Ind(\u03c3) to \u03c1.[2]The universal property of the induced representation, which is also valid for infinite groups, is equivalent to the adjunction asserted in the reciprocity theorem. If (\u03c3,V){displaystyle (sigma ,V)} is a representation of H and (Ind\u2061(\u03c3),V^){displaystyle (operatorname {Ind} (sigma ),{hat {V}})} is the representation of G induced by \u03c3{displaystyle sigma }, then there exists a H-equivariant linear map j:V\u2192V^{displaystyle j:Vto {hat {V}}} with the following property: given any representation (\u03c1,W) of G and H-equivariant linear map f:V\u2192W{displaystyle f:Vto W}, there is a unique G-equivariant linear map f^:V^\u2192W{displaystyle {hat {f}}:{hat {V}}to W} with f^j=f{displaystyle {hat {f}}j=f}. In other words, f^{displaystyle {hat {f}}} is the unique map making the following diagram commute:[3]The Frobenius formula states that if \u03c7 is the character of the representation \u03c3, given by \u03c7(h) = Tr \u03c3(h), then the character \u03c8 of the induced representation is given by\u03c8(g)=\u2211x\u2208G\/H\u03c7^(x\u22121gx),{displaystyle psi (g)=sum _{xin G\/H}{widehat {chi }}left(x^{-1}gxright),}where the sum is taken over a system of representatives of the left cosets of H in G and\u03c7^(k)={\u03c7(k)if\u00a0k\u2208H0otherwise{displaystyle {widehat {chi }}(k)={begin{cases}chi (k)&{text{if }}kin H\\0&{text{otherwise}}end{cases}}}Analytic[edit]If G is a locally compact topological group (possibly infinite) and H is a closed subgroup then there is a common analytic construction of the induced representation.  Let (\u03c0, V) be a continuous unitary representation of H into a Hilbert space V.  We can then let:IndHG\u2061\u03c0={\u03d5:G\u2192V\u00a0:\u00a0\u03d5(gh\u22121)=\u03c0(h)\u03d5(g)\u00a0for all\u00a0h\u2208H,g\u2208G\u00a0and\u00a0\u00a0\u03d5\u2208L2(G\/H)}.{displaystyle operatorname {Ind} _{H}^{G}pi =left{phi colon Gto V : phi (gh^{-1})=pi (h)phi (g){text{ for all }}hin H,;gin G{text{ and }} phi in L^{2}(G\/H)right}.}Here \u03c6\u2208L2(G\/H) means: the space G\/H carries a suitable invariant measure, and since the norm of  \u03c6(g)  is constant on each left coset of H, we can integrate the square of these norms over G\/H and obtain a finite result.  The group G acts on the induced representation space by translation, that is, (g.\u03c6)(x)=\u03c6(g\u22121x) for g,x\u2208G and \u03c6\u2208IndGH \u03c0.This construction is often modified in various ways to fit the applications needed.  A common version is called normalized induction and usually uses the same notation.  The definition of the representation space is as follows:IndHG\u2061\u03c0={\u03d5:G\u2192V\u00a0:\u00a0\u03d5(gh\u22121)=\u0394G\u221212(h)\u0394H12(h)\u03c0(h)\u03d5(g)\u00a0and\u00a0\u03d5\u2208L2(G\/H)}.{displaystyle operatorname {Ind} _{H}^{G}pi =left{phi colon Gto V : phi (gh^{-1})=Delta _{G}^{-{frac {1}{2}}}(h)Delta _{H}^{frac {1}{2}}(h)pi (h)phi (g){text{ and }}phi in L^{2}(G\/H)right}.}Here \u0394G, \u0394H are the modular functions of G and H respectively.  With the addition of the normalizing factors this induction functor takes unitary representations to unitary representations.One other variation on induction is called compact induction.  This is just standard induction restricted to functions with compact support. Formally it is denoted by ind and defined as:indHG\u2061\u03c0={\u03d5:G\u2192V\u00a0:\u00a0\u03d5(gh\u22121)=\u03c0(h)\u03d5(g)\u00a0and\u00a0\u03d5\u00a0has compact support mod\u00a0H}.{displaystyle operatorname {ind} _{H}^{G}pi =left{phi colon Gto V : phi (gh^{-1})=pi (h)phi (g){text{ and }}phi {text{ has compact support mod }}Hright}.}Note that if G\/H is compact then Ind and ind are the same functor.Geometric[edit]Suppose G is a topological group and H is a closed subgroup of G. Also, suppose \u03c0 is a representation of H over the vector space V. Then G  acts on the product G \u00d7 V  as follows:g.(g\u2032,x)=(gg\u2032,x){displaystyle g.(g’,x)=(gg’,x)}where g and g\u2032 are elements of G and x is an element of V.Define on  G \u00d7 V  the equivalence relation(g,x)\u223c(gh,\u03c0(h\u22121)(x))\u00a0for all\u00a0h\u2208H.{displaystyle (g,x)sim (gh,pi (h^{-1})(x)){text{ for all }}hin H.}Denote the equivalence class of (g,x){displaystyle (g,x)} by [g,x]{displaystyle [g,x]}. Note that this equivalence relation is invariant under the action of G; consequently, G  acts on (G \u00d7 V)\/~ . The latter is a vector bundle over the quotient space G\/H with H as the structure group and V as the fiber. Let W be the space of sections \u03d5:G\/H\u2192(G\u00d7V)\/\u223c{displaystyle phi :G\/Hto (Gtimes V)\/!sim } of this vector bundle. This is the vector space underlying the induced representation IndGH \u03c0. The group G acts on a section \u03d5:G\/H\u2192LW{displaystyle phi :G\/Hto {mathcal {L}}_{W}} given by gH\u21a6[g,\u03d5g]{displaystyle gHmapsto [g,phi _{g}]} as follows:(g\u22c5\u03d5)(g\u2032H)=[g\u2032,\u03d5g\u22121g\u2032]\u00a0\u00a0for\u00a0g,g\u2032\u2208G.{displaystyle (gcdot phi )(g’H)=[g’,phi _{g^{-1}g’}] {text{ for }}g,g’in G.}Systems of imprimitivity[edit]In the case of unitary representations of locally compact groups, the induction construction can be formulated in terms of systems of imprimitivity.Lie theory[edit]In Lie theory, an extremely important example is parabolic induction: inducing representations of a reductive group from representations of its parabolic subgroups. This leads, via the philosophy of cusp forms, to the Langlands program.See also[edit]References[edit]Alperin, J. L.; Rowen B. Bell (1995). Groups and Representations. Springer-Verlag. pp.\u00a0164\u2013177. ISBN\u00a00-387-94526-1.Folland, G. B. (1995). A Course in Abstract Harmonic Analysis. CRC Press. pp.\u00a0151\u2013200. ISBN\u00a00-8493-8490-7.Kaniuth, E.; Taylor, K. (2013). Induced Representations of Locally Compact Groups. Cambridge University Press. ISBN\u00a09780521762267.Mackey, G. W. (1951), “On induced representations of groups”, American Journal of Mathematics, 73 (3): 576\u2013592, doi:10.2307\/2372309, JSTOR\u00a02372309Mackey, G. W. (1952), “Induced representations of locally compact groups I”, Annals of Mathematics, 55 (1): 101\u2013139, doi:10.2307\/1969423, JSTOR\u00a01969423Mackey, G. W. (1953), “Induced representations of locally compact groups II\u00a0: the Frobenius reciprocity theorem”, Annals of Mathematics, 58 (2): 193\u2013220, doi:10.2307\/1969786, JSTOR\u00a01969786Sengupta, Ambar N. (2012). “Chapter 8: Induced Representations”. Representing Finite Groups, A Semimsimple Introduction. Springer. ISBN\u00a0978-1-4614-1232-8. OCLC\u00a0875741967.Varadarajan, V. S. (2007). “Chapter VI: Systems of Impritivity”. Geometry of Quantum Theory. Springer. ISBN\u00a0978-0-387-49385-5.     (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/en\/wiki41\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/en\/wiki41\/induced-representation-wikipedia\/#breadcrumbitem","name":"Induced representation – Wikipedia"}}]}]