A note on Amitsur's noncrossed product theorem

In this note we give a short and elementary proof for a part of Amitsur’s noncrossed product theorem. Our approach does not rely on well-known results of valuation theory. Instead, we employ some preliminary properties of the unit groups of formal iterated Laurent series division rings.