En la gruta del rey de la montaña (del noruego: I Dovregubbens hall) es un fragmento de música incidental, opus 23, compuesto por Edvard Grieg para la obra de Henrik Ibsen, "Peer Gynt", que se estrenó en Oslo el 24 de febrero de 1876.