Which Nintendo arcade game first introduced the character Mario?

It was Donkey Kong, although in that game Mario was called Jumpman.