What are conditions for taking |x*y|=|x|*|y|

It's always true, since both sides are always positive or zero.