Uniformly generated submodules of permutation modules over fields of characteristic 0.

DOI10.1016/S0022-4049(00)00069-4zbMath1065.20018OpenAlexW2035952167WikidataQ127332882 ScholiaQ127332882MaRDI QIDQ5939910

Søren Riis, Sitharam, Meera

Publication date: 2001

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(00)00069-4

zbMATH Keywords

irreducible modulesalgebraic proof complexitypermutation modulespolynomial idealsrepresentation theory of finite symmetric groupsuniformly generated submodules

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Representations of finite symmetric groups (20C30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Related Items

Uniformly generated submodules of permutation modules over fields of characteristic 0.

Cites Work

• Unnamed Item
• Unnamed Item
• Bounds for the degrees in the Nullstellensatz
• The representation theory of the symmetric groups
• Count\((q)\) versus the pigeon-hole principle
• Proof complexity in algebraic systems and bounded depth Frege systems with modular counting
• \(\text{Count}(q)\) does not imply \(\text{Count}(p)\)
• Mathematical problems for the next century
• The independence of the modulo p counting principles
• Generating hard tautologies using predicate logic and the symmetric group
• Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs
• Uniformly generated submodules of permutation modules over fields of characteristic 0.