From large cardinals we show the consistency of normal, fine, κ-complete λ-dense ideals on ${{\cal P}_\kappa }\left( \lambda \right)$ for successor κ. We explore the interplay between dense ideals, cardinal arithmetic, and squares, answering some open questions of Foreman.