MATH.13:4.3 - Obtain the useful consequence

Follow the consequence needed by the question.

Transfer a solution. From a known solution x, obtain g(x) and use the preservation argument from :4.2 to establish what problem it solves. Compositions can generate further related solutions. These are distinct answers only when the transformed objects differ under the problem’s equality.

Restrict a unique solution. If the fixed problem has exactly one solution x, every symmetry g of that problem must satisfy g(x)=x: g(x) is a solution, so uniqueness identifies it with x. Solve this fixed-point condition to restrict or find the candidate.

If uniqueness has not been established, retain the weaker result: symmetries move solutions within the solution set. A symmetric candidate may be worth testing, but the existence of asymmetric solutions remains possible.

Test a requested deterministic answer. Suppose an input x is fixed by g and the requested rule must be equivariant. Then f(x)=r(g)(f(x)). Check whether any permitted output can satisfy that condition for every transformation fixing x. If none can, the requested deterministic rule cannot answer that input under the stated requirements. The missing distinction or incompatible output requirement is a useful result.

These deductions use preservation and, where stated, uniqueness or equivariance. A conservation law along physical time evolution is a different conclusion. Obtain it from the dynamics or the applicable theorem, including its conditions.