FiniteGroups / CONCEPT

Part IIUnitary Whole Prescribed Product

For every positive q there are single constants N(q),C(q), chosen before all finite fields and ranks n>=6 above the field-cardinality cutoff. Arbitrary genuine compatible diagonal similitude and field-action tuples and positive divisors e(j)|q retain the original q/e(j). One actual SU correction tuple y is chosen before every actual whole-SU target b; x may depend on b. Each ordered value is x(j) inverse times ((alpha(j)*MulAut.conj(y(j) inverse)) to the q/e(j) power) applied to x(j). The genuinely proved K5 width closes whole-group coverage without a supplied decomposition premise.