An algorithm for determining the simplicity of a modular group representation (Q1109882): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Gerhard O. Michler / rank | |||
Property / reviewed by | |||
Property / reviewed by: William H. Gustafson / rank | |||
Property / author | |||
Property / author: Gerhard O. Michler / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: William H. Gustafson / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4056148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5340151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The modular characters of the Mathieu groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3218280 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3910639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Common eigenvectors of two matrices / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:17, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algorithm for determining the simplicity of a modular group representation |
scientific article |
Statements
An algorithm for determining the simplicity of a modular group representation (English)
0 references
1988
0 references
Let G be a finite group and \(\kappa\) : \(G\to GL_ n(F)\) a faithful representation of G over a splitting field F, so that the space \(F^ n\) becomes a module over the group algebra FG. Identify each \(g\in G\) with \(\kappa\) (g). Let \(t\leq n\) and let \(N_ t\) be the intersection of the nullspaces of all \(S_{2t}[g_ 1,g_ 2,...,g_{2t}]\), where each \(g_ i\in G\), and \(S_{2t}[X_ 1,X_ 2,...,X_{2t}]\) is the standard polynomial of degree 2t, in the sense of Amitsur and Levitski. Then the socle of \(N_ t\) is the sum of all those simple FG-submodules of \(F^ n\) that have F-dimension at most t. Consequently, \(F^ n\) is FG-simple if and only if \(N_{n-1}=0\).
0 references
simple modules
0 references
polynomial identities
0 references
finite group
0 references
faithful representation
0 references
splitting field
0 references
group algebra
0 references
standard polynomial
0 references
simple FG-submodules
0 references