Simply put: No. There are no such thing as "dot division", "cross division" or "vector mod".
It is possible to define such "custom" operations to be used for some specific problem or technique, but even then you should be able to very clearly explain what do you mean by "dot division" using traditional math. For example: "Find a vector v, such that dot product u.v=c, when vector u and scalar c are known." could be your custom definition for "dot division"
Here's an interesting question for you to ponder...
First, given a number x and a number x*y (which is simply x multiplied by y) we can find y by simply dividing x*y by x. That is, (x*y)/x=y
no question about that and y is unique. This is standard division that everybody is used to seeing almost every day.
Now how about given vector (X) and vector (X dot Y) where 'dot' means 'dot product', can you find a unique vector Y ?
If you can you have succeeded in defining the dot division, but if not you you wont be able to.
Good luck
Hint: remember if you cant find a unique vector then that doesnt help because it wont tell us anything new after the 'division'.
To answer your second question about overloading the % operator for a vector mod operation, no, there isn't one defined. You obviously could define one if you wanted to, but you'd first have to define what a vector mod operation is.