The 4th Infantry Division was a military formation of the Korean People's Army during the 20th Century.
Divisi Infanteri ke-4 (bahasa Inggris: 4th Infantry Division), adalah sebuah formasi militer dari Tentara Rakyat Korea selama abad ke-20.