What is the condition for the statement to be true.....

O(a.b) =LCM(O(a),O(b)) always true if order of every elements exist. if order of every elements does not exist then.this condition not true

no any exact statement for this concept because o(ab) can be equal or less then from L.C.M(o(a),o(b)) but does not exceed.