What is the HTML tag "div" short for?

Division. The DIV tag is is designed to allow you to define "divisions" of a page (or to "divide a page into logical containers").

http://www.w3.org/TR/REC-html32#block