Peter Krautzberger · on the web

Red workbook, p4

Source

red workbook, p4
Red Workbook, p.4

Transcript

partial Translation

Notes

Not much to say here; just finishing the proof of the theorem with some simple corollaries. The notes are very short on details but it seems to be all there.

This finishes the first lecture in the workbook (the next one was apparently scheduled for Wednesday, 10am).

In a sense it's a very "normal" proof in this field. That isn't to say it's easy but while the proof is a bit of a grind (a and b being the really only interesting part), the arguments are typical arguments that appear frequently; e.g., how to use syndeticity to build an ultrafilter (in this case using a net), the powerful properties of minimal left ideals (and their somewhat horrific lack of discernable structure).