Just out of curiosity, what's the name of the dmp file? These files can be created for different reasons (such as a sytem crash).

The .dmp extension isn't like the .gz extension, so there's not gonna be a utility like gzip to remove the .dmp extension. What you do with the file now that you've unzipped though, I'm not sure. Where'd the file come from?