MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I don't know how to proof a question which I meet in a textbook. It is this: Let $\alpha$ be a successor cardinal, and $S\subset \alpha$ be a statinonary set, then $S$ can be seen as the union of $\alpha$ disjoint stationary sets?

Could someone give me the key points to solve the question?

Any help wil be appreciated. Thanks ahead:)

share|cite|improve this question

This fact is called the statonary partition theorem. In the case of successor cardinals, it is due to Ulam, and can be proved using an Ulam matrix. The generalization that every stationary subset of an uncountable regular cardinal $\kappa$ can be partitioned into $\kappa$ many disjoint stationary subsets is due to Solovay, and a proof can found right here in Kanamori's book: The Higher Infinite. An account of the simpler successor case can be found in these slides. There seem to be several proofs on-line, if you google Solovay stationary partition. (It appears that some authors credit Fodor rather than Ulam for the successor case, and so I've become less certain of the history.)

It is interesting to note that the result requires the axiom of choice. Indeed, it is consistent from large cardinals that the club filter on $\omega_1$ is an ultrafilter, in which case one cannot find even two disjoint stationary sets.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.