Showing 1–1 of 1 results for author: Hatzikiriakou, K

Reverse mathematics, Young diagrams, and the ascending chain condition

Authors: Kostas Hatzikiriakou, Stephen G. Simpson

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^*$) to the… ▽ More 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^*$) to the statement that $ω^ω$ is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering. △ Less

Submitted 11 October, 2015; originally announced October 2015.

Comments: 14 pages

MSC Class: Primary 03B30; Secondary 16P40; 16S34; 05A17; 03F15