Timeline for Irreducible Representation of A_5
Current License: CC BY-SA 4.0
23 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 7, 2021 at 7:34 | comment | added | Derek Holt | @SamHopkins Yes I can see that this question is a doubtful case! But I believe that closed questions are not so universally visible as others. Apparently a closed question is "viewable by the post author and users with the close/reopen votes privilege". | |
Apr 7, 2021 at 2:06 | comment | added | Sam Hopkins | @DerekHolt: You are probably aware of this, but closing the question is not the same as deleting it: Geoff's work would not go away if the question were closed. Imo whether a question should be closed has to do with whether it is on-topic, not whether it has nice answers (which this one does). | |
Apr 7, 2021 at 2:01 | history | reopened |
Derek Holt Yemon Choi Alex M. Arun Debray Alexey Ustinov |
||
Apr 6, 2021 at 16:17 | review | Reopen votes | |||
Apr 7, 2021 at 2:01 | |||||
Apr 6, 2021 at 16:02 | comment | added | Derek Holt | I am voting to reopen, mainly because Geoff has devoted some effort into answering this and related questions. | |
Apr 6, 2021 at 14:35 | history | closed |
abx Derek Holt Benjamin Steinberg LeechLattice Sam Hopkins |
Not suitable for this site | |
Apr 6, 2021 at 13:42 | comment | added | Derek Holt | For the specific example of $A_5$, the result remains true in characteristics $2$ and $3$, but not $5$. (It is never true when the characteristic divides the degree of the permutation representation.) | |
Apr 6, 2021 at 13:16 | comment | added | Benjamin Steinberg | The definition of the permutation module is the same over any field and he does endomorphism rings equal centralizer rings. The argument @GeoffRobinson gives in characteristic zero works in any non modular characteristic. | |
Apr 6, 2021 at 12:48 | comment | added | lambda | @GeoffRobinson Clifford theory could be relevant if the problem was somehow easier for $S_5$. | |
Apr 6, 2021 at 12:31 | comment | added | Geoff Robinson | As a general comment, Clifford theory is only useful in the representation theory of finite groups in the presence of proper non-trivial normal subgroups., so is not so relevant for simple groups. | |
Apr 6, 2021 at 12:24 | answer | added | Geoff Robinson | timeline score: 6 | |
Apr 6, 2021 at 12:15 | comment | added | HIMANSHU | @BenjaminSteinberg In Issac's character theory book, they are taking the field of complex numbers to define permutation module. Why will the same reasoning be valid in non-modular case ? | |
Apr 6, 2021 at 11:56 | comment | added | Benjamin Steinberg | You can find all these concepts in Isaac's character theory book | |
Apr 6, 2021 at 10:52 | comment | added | HIMANSHU | Let us continue this discussion in chat. | |
Apr 6, 2021 at 10:25 | comment | added | HIMANSHU | @Benjamin Please refer some book to me , where I can read these concepts and arrive at the result. | |
Apr 6, 2021 at 10:16 | comment | added | Benjamin Steinberg | I'm suggesting a conceptual way to do this using permutation modules and centralizer algebras or endomorphism rings that would work for An for n\geq 4 and S_n. If you want just A5 by bare hands I think math stack exchange is a more appropriate site. | |
Apr 6, 2021 at 10:09 | comment | added | HIMANSHU | @Benjamin Actually I am not familiar with the concepts you mentioned. Can I prove the irreducibilty of FA_5 module V (where V is standard permutation module) for the field of given characteristic not dividing order of A_5? by using module theory arguments, as we can prove in case of S_5 by using the transposition (12) ( which is not here ) . | |
Apr 6, 2021 at 9:59 | comment | added | Benjamin Steinberg | In other words the argument that the dimension of the endomorphism algebra of a permutation module equals the number of orbits on pairs can be carried out in nonmodular characteristic without using characters by looking at hom set dimensions and then the result follows from there. | |
Apr 6, 2021 at 9:50 | comment | added | Benjamin Steinberg | The standard argument on how to decompose the permutation character of a 2-transitive action can be made to work for representations in good characteristic of you reinterpret the character arguments as computing dimensions of him spaces. You will want to use that a permutation representation is equivalent to its contragredient. | |
Apr 6, 2021 at 9:38 | comment | added | HIMANSHU | @AchimKrause I am actually asking the semi simple casein my question and you have answered my question, so Thanks . Can you refer me some article to support your argument that charactersitic zero and my case behave in same way. How ? | |
Apr 6, 2021 at 9:27 | comment | added | Achim Krause | You write "whose characteristic does NOT divide the order", is that a typo? I'm asking since you also added the "modular representation theory" tag. Typically modular representation theory refers to the case where the characteristic divides the group order. In characteristic not dividing the group order, the representation theory behaves as in characteristic zero, in particular your representation is irreducible. | |
Apr 6, 2021 at 8:26 | review | Close votes | |||
Apr 6, 2021 at 14:41 | |||||
Apr 6, 2021 at 7:34 | history | asked | HIMANSHU | CC BY-SA 4.0 |