{"title":"尊重伽罗瓦自动形态的有限群代表矩阵","authors":"David J. Benson","doi":"10.1007/s00013-023-01963-x","DOIUrl":null,"url":null,"abstract":"<div><p>We are given a finite group <i>H</i>, an automorphism <span>\\(\\tau \\)</span> of <i>H</i> of order <i>r</i>, a Galois extension <i>L</i>/<i>K</i> of fields of characteristic zero with cyclic Galois group <span>\\(\\langle \\sigma \\rangle \\)</span> of order <i>r</i>, and an absolutely irreducible representation <span>\\(\\rho :H\\rightarrow \\textsf {GL} (n,L)\\)</span> such that the action of <span>\\(\\tau \\)</span> on the character of <span>\\(\\rho \\)</span> is the same as the action of <span>\\(\\sigma \\)</span>. Then the following are equivalent.</p><p> <span>\\(\\bullet \\)</span> <span>\\(\\rho \\)</span> is equivalent to a representation <span>\\(\\rho ':H\\rightarrow \\textsf {GL} (n,L)\\)</span> such that the action of <span>\\(\\sigma \\)</span> on the entries of the matrices corresponds to the action of <span>\\(\\tau \\)</span> on <i>H</i>, and</p><p> <span>\\(\\bullet \\)</span> the induced representation <span>\\(\\textsf {ind} _{H,H\\rtimes \\langle \\tau \\rangle }(\\rho )\\)</span> has Schur index one; that is, it is similar to a representation over <i>K</i>.</p><p> As examples, we discuss a three dimensional irreducible representation of <span>\\(A_5\\)</span> over <span>\\(\\mathbb {Q}[\\sqrt{5}]\\)</span> and a four dimensional irreducible representation of the double cover of <span>\\(A_7\\)</span> over <span>\\(\\mathbb {Q}[\\sqrt{-7}]\\)</span>.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"122 4","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2024-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-023-01963-x.pdf","citationCount":"0","resultStr":"{\"title\":\"Matrices for finite group representations that respect Galois automorphisms\",\"authors\":\"David J. Benson\",\"doi\":\"10.1007/s00013-023-01963-x\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We are given a finite group <i>H</i>, an automorphism <span>\\\\(\\\\tau \\\\)</span> of <i>H</i> of order <i>r</i>, a Galois extension <i>L</i>/<i>K</i> of fields of characteristic zero with cyclic Galois group <span>\\\\(\\\\langle \\\\sigma \\\\rangle \\\\)</span> of order <i>r</i>, and an absolutely irreducible representation <span>\\\\(\\\\rho :H\\\\rightarrow \\\\textsf {GL} (n,L)\\\\)</span> such that the action of <span>\\\\(\\\\tau \\\\)</span> on the character of <span>\\\\(\\\\rho \\\\)</span> is the same as the action of <span>\\\\(\\\\sigma \\\\)</span>. Then the following are equivalent.</p><p> <span>\\\\(\\\\bullet \\\\)</span> <span>\\\\(\\\\rho \\\\)</span> is equivalent to a representation <span>\\\\(\\\\rho ':H\\\\rightarrow \\\\textsf {GL} (n,L)\\\\)</span> such that the action of <span>\\\\(\\\\sigma \\\\)</span> on the entries of the matrices corresponds to the action of <span>\\\\(\\\\tau \\\\)</span> on <i>H</i>, and</p><p> <span>\\\\(\\\\bullet \\\\)</span> the induced representation <span>\\\\(\\\\textsf {ind} _{H,H\\\\rtimes \\\\langle \\\\tau \\\\rangle }(\\\\rho )\\\\)</span> has Schur index one; that is, it is similar to a representation over <i>K</i>.</p><p> As examples, we discuss a three dimensional irreducible representation of <span>\\\\(A_5\\\\)</span> over <span>\\\\(\\\\mathbb {Q}[\\\\sqrt{5}]\\\\)</span> and a four dimensional irreducible representation of the double cover of <span>\\\\(A_7\\\\)</span> over <span>\\\\(\\\\mathbb {Q}[\\\\sqrt{-7}]\\\\)</span>.</p></div>\",\"PeriodicalId\":8346,\"journal\":{\"name\":\"Archiv der Mathematik\",\"volume\":\"122 4\",\"pages\":\"\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2024-03-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s00013-023-01963-x.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Archiv der Mathematik\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00013-023-01963-x\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Archiv der Mathematik","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00013-023-01963-x","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
Matrices for finite group representations that respect Galois automorphisms
We are given a finite group H, an automorphism \(\tau \) of H of order r, a Galois extension L/K of fields of characteristic zero with cyclic Galois group \(\langle \sigma \rangle \) of order r, and an absolutely irreducible representation \(\rho :H\rightarrow \textsf {GL} (n,L)\) such that the action of \(\tau \) on the character of \(\rho \) is the same as the action of \(\sigma \). Then the following are equivalent.
\(\bullet \)\(\rho \) is equivalent to a representation \(\rho ':H\rightarrow \textsf {GL} (n,L)\) such that the action of \(\sigma \) on the entries of the matrices corresponds to the action of \(\tau \) on H, and
\(\bullet \) the induced representation \(\textsf {ind} _{H,H\rtimes \langle \tau \rangle }(\rho )\) has Schur index one; that is, it is similar to a representation over K.
As examples, we discuss a three dimensional irreducible representation of \(A_5\) over \(\mathbb {Q}[\sqrt{5}]\) and a four dimensional irreducible representation of the double cover of \(A_7\) over \(\mathbb {Q}[\sqrt{-7}]\).
期刊介绍:
Archiv der Mathematik (AdM) publishes short high quality research papers in every area of mathematics which are not overly technical in nature and addressed to a broad readership.