Use positive integer n=6. Give (n, prime_multiset, distinct_primes, mu, certificate).
G001 — Use positive integer n=6. Give (n, prime_multiset, distinct_primes, mu, certificate).
Definition and scope
Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
Keep the original historical interface marker while listing ordered source fields without JavaScript.Tags are not additional evidence;fixed No markers retain their source claim scope.
complete prime multiplicities required for this input;mu(1) uses empty product,not a partial factor search
Conditions: none
Identify whether the input is the original n or one of its positive divisors.Every mu evaluation requires complete prime multiplicities,not a partial factor search.
complete increasing prime multiset=[2, 3];full product=6;a composite terminal remainder would have an already tested smaller divisor
Conditions: none
If a terminal remainder greater than1 were composite,its least prime factor would already have been exhausted,a contradiction.The final entry is therefore prime.This certifies this instance;general existence follows by strong induction,recursively splitting a composite into smaller positive factors.
mobius original n:input=6;COMPLETE prime multiset=[2, 3];distinct primes=[2, 3]
After
mu=1;empty product case=No;repeated prime=No
Conditions: none
The empty prime multiset for1 gives mu1=1.A repeated prime gives a square divisor and value0;otherwise distinct-prime parity determines the sign.Sorting must not discard multiplicities.
S009 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S008 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S007 · premise_and_result_audit — Recompute upf canonical complete product factor1 with exact rational arithmetic, not rounded decimals.
S006 · premise_and_result_audit — Recompute upf canonical complete product factor0 with exact rational arithmetic, not rounded decimals.
S005 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S004 · premise_and_result_audit — Recompute upf extract divisor2 occurrence0 with exact rational arithmetic, not rounded decimals.
S003 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S002 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S001 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
Result
(6, [2, 3], [2, 3], 1, squarefree_parity_sign)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
This question review and source binding
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.