There are actually two possible definitions for the DFT:
The is nicer mathematically as the inverse becomse more symmetric, and power is conserved between time and frequency domains.