Reverse mathematics, Young diagrams, and the ascending chain condition

DOI10.1017/JSL.2016.17MaRDI QIDQ4977220zbMATH OpenOpenAlexFDO

Authors Kostas Hatzikiriakou, Stephen G. Simpson

Publication date 3 August 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.03106

zbMATH Keywords

ascending chain conditiongroup ringspartition theoryreverse mathematicswell partial orderingsYoung diagrams

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Recursive ordinals and ordinal notations (03F15) Combinatorial aspects of partitions of integers (05A17) Noetherian rings and modules (associative rings and algebras) (16P40) Group rings (16S34) Group rings of finite groups and their modules (group-theoretic aspects) (20C05)

Abstract: Let $S$ be the group of finitely supported permutations of a countably infinite set. Let $K[S]$ be the group algebra of $S$ over a field $K$ of characteristic $0$. According to a theorem of Formanek and Lawrence, $K[S]$ satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over RCA${}_0$ (or even over RCA${}_0^{\ast }$) to the statement that $omeg{a}^{o}mega$ is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering.

Recommendations

• Publication:3484829
• Publication:3481699
• Ordered Groups: A Case Study in Reverse Mathematics
• Modular group rings of the finitary symmetric group
• On ideals of the group algebra of an infinite symmetric group over a field of characteristic p.

Cites work

• A note on ordinal numbers and rings of formal power series
• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• Antichains of monomial ideals are finite
• Baire categoricity and \(\Sigma_1^0\)-induction
• Categorical characterizations of the natural numbers require primitive recursion
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Free Group Rings
• scientific article; zbMATH DE number 5838313 (Why is no real title available?)
• scientific article; zbMATH DE number 1001729 (Why is no real title available?)
• scientific article; zbMATH DE number 4053601 (Why is no real title available?)
• scientific article; zbMATH DE number 4068856 (Why is no real title available?)
• scientific article; zbMATH DE number 3677903 (Why is no real title available?)
• scientific article; zbMATH DE number 6415575 (Why is no real title available?)
• scientific article; zbMATH DE number 3212917 (Why is no real title available?)
• scientific article; zbMATH DE number 3248824 (Why is no real title available?)
• scientific article; zbMATH DE number 2227817 (Why is no real title available?)
• scientific article; zbMATH DE number 2236642 (Why is no real title available?)
• Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
• On the strength of Ramsey's theorem without \(\Sigma _{1}\)-induction
• Orderings of monomial ideals
• Ordinal numbers and the Hilbert basis theorem
• Partial realizations of Hilbert's program
• Paul Gordan
• Reverse mathematics and Peano categoricity
• The group algebra of the infinite symmetric group
• Toward objectivity in mathematics
• Well quasi-ordered sets and ideals in free semigroups and algebras

Cited in

(6)

• On principles between _1- and _2-induction, and monotone enumerations
• The reverse mathematics of wqos and bqos
• Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
• Primitive recursive reverse mathematics
• Structure of semisimple rings in reverse and computable mathematics
• Modular group rings of the finitary symmetric group

This page was built for publication: Reverse mathematics, Young diagrams, and the ascending chain condition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4977220)