Reverse mathematics, Young diagrams, and the ascending chain condition

Kostas Hatzikiriakou, Stephen G. Simpson

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 t…