{ "schema_version": "ocme-reviewed-question-reader-v1", "question_id": "q-20261014-advance-20261103-r07-modular-inverse-0077", "pilot_number": "P1000-0377", "number": 377, "family_id": "qf-mod34-modinv-nonunit-boundary", "title": { "zh-Hant": "第 377 題：模反元素", "en": "Question 377: A Nonunit Has No Modular Inverse" }, "original_question": { "schema_version": "ocme-question-v0.1", "id": "q-20261014-advance-20261103-r07-modular-inverse-0077", "batch_id": "batch-20261014-advance-20261103-r07-modular-inverse-foundations", "language": "zh-Hant", "source_mko_ids": [ "mko-modular-inverse" ], "title_zh": "模反元素", "stem_zh": "整數a與模數n大於等於2的exact Euclidean arithmetic。操作=modinv-nonunit-boundary；資料={\"a\":3,\"n\":6}。請依 [a,n,gcd,inverse,exists,boundary] 欄序回答。", "answer": { "kind": "expression", "value": "(3, 6, 3, null, 否, nonunit_has_no_modular_inverse)", "explanation_zh": "Wave5第三層核對=(3, 6, 3, null, 否, nonunit_has_no_modular_inverse)；依完整明示資料重算；存在等價gcd等於1且extended Euclid給Bezout證書；輸出normalized residue且唯一只在mod n；nonunit無inverse。" }, "difficulty": { "band": "undergraduate_core", "level": 1, "skills": [ "模反元素" ] }, "variant": { "family_id": "qf-mod34-modinv-nonunit-boundary", "seed": 202611037077, "parameters": { "a": 3, "n": 6, "domain": "Exact_extended_Euclid_modular_inverse", "operation": "modinv-nonunit-boundary", "semantic_template": "qf-mod34-modinv-nonunit-boundary/{\"a\":3,\"n\":6}" } }, "verification": { "status": "candidate", "checks": [ "producer_exact_finite_or_symbolic_model", "producer_source_snapshot_check", "producer_substantive_template_deduplication", "producer_json_schema" ], "warning_zh": "候選須由主端獨立重算；不構成人工審定、sampled rank upper bound、infinite-domain uniformity、finite-prefix series proof、posterior/identifiability、graph connectivity、nonexhaustive maximum、Lean或形式Evidence。" }, "provenance": { "generator_role": "question_producer", "generator_model": "model_unknown", "generated_at": "2026-10-14", "contract_version": "ocme-question-factory-v0.1" } }, "original_english_edition": { "schema_version": "ocme-question-localization-v0.1", "question_id": "q-20261014-advance-20261103-r07-modular-inverse-0077", "batch_id": "batch-20261014-advance-20261103-r07-modular-inverse-foundations", "locale": "en", "translation_state": "ai_candidate", "source": { "question_sha256": "e6de0750407f86691c223f13158ff35ba06b14b70afd2e2707f68e3dd0b487c6", "family_id": "qf-mod34-modinv-nonunit-boundary", "seed": 202611037077, "semantic_template": "qf-mod34-modinv-nonunit-boundary/{\"a\":3,\"n\":6}" }, "fields": { "title": "A Nonunit Has No Modular Inverse", "stem": "Use the original signed integer a=3 and modulus n=6≥2. Exact extended Euclid gives nonnegative g=gcd(a,n) and signed coefficients x,y satisfying a*x+n*y=g. An inverse exists exactly when g=1; normalize its representative to 0≤inverse1. Give (a,n,gcd,inverse,exists?,nonunit_has_no_modular_inverse), with inverse=null.", "answer": { "kind": "expression", "value": "(3, 6, 3, null, No, nonunit_has_no_modular_inverse)", "explanation": "A product congruent to one would force the gcd to divide one, contradicting this nonunit premise. Do not attempt ordinary or floating-point division, and reject a unit supplied to this nonunit-boundary family. The exact result, retaining the requested order, is (3, 6, 3, null, No, nonunit_has_no_modular_inverse)." }, "skills": [ "A Nonunit Has No Modular Inverse" ], "verification_warning": "This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review." } }, "givens": [ { "id": "G001", "text": { "zh-Hant": "整數a與模數n大於等於2的exact Euclidean arithmetic。操作=modinv-nonunit-boundary；資料={\"a\":3,\"n\":6}。請依 [a,n,gcd,inverse,exists,boundary] 欄序回答。", "en": "Use the original signed integer a=3 and modulus n=6≥2. Exact extended Euclid gives nonnegative g=gcd(a,n) and signed coefficients x,y satisfying a*x+n*y=g. An inverse exists exactly when g=1; normalize its representative to 0≤inverse1. Give (a,n,gcd,inverse,exists?,nonunit_has_no_modular_inverse), with inverse=null." } } ], "steps": [ { "id": "S001", "uses": [ "G001" ], "before": "a=3; n=6≥2", "after": "compute gcd and a Bezout certificate before inversion", "relation": "implies", "rule_id": "modular_domain", "conditions": [], "explanation": { "zh-Hant": "逆元存在性需要互質；先保留模數條件。", "en": "Invertibility requires coprimality, after qualifying the modulus." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "核對整數等式、餘數範圍與 gcd 條件，不把同餘當整數相等。", "en": "Check integer identities, remainder bounds and gcd conditions; congruence is not integer equality." } }, "arithmetic": null }, { "id": "S002", "uses": [ "G001", "S001" ], "before": "divide 3 by 6", "after": "3=0·6+3", "relation": "implies", "rule_id": "euclidean_division", "conditions": [], "explanation": { "zh-Hant": "下一步改用除數與餘數，非零餘數嚴格下降。", "en": "Continue with divisor and remainder; nonzero remainders decrease strictly." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "核對整數等式、餘數範圍與 gcd 條件，不把同餘當整數相等。", "en": "Check integer identities, remainder bounds and gcd conditions; congruence is not integer equality." } }, "arithmetic": { "operation": "euclidean_division", "inputs": [ "3", "6", "0" ], "output": "3", "label": "remainder" } }, { "id": "S003", "uses": [ "G001", "S002" ], "before": "divide 6 by 3", "after": "6=2·3+0", "relation": "implies", "rule_id": "euclidean_division", "conditions": [], "explanation": { "zh-Hant": "下一步改用除數與餘數，非零餘數嚴格下降。", "en": "Continue with divisor and remainder; nonzero remainders decrease strictly." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "核對整數等式、餘數範圍與 gcd 條件，不把同餘當整數相等。", "en": "Check integer identities, remainder bounds and gcd conditions; congruence is not integer equality." } }, "arithmetic": { "operation": "euclidean_division", "inputs": [ "6", "3", "2" ], "output": "0", "label": "remainder" } }, { "id": "S004", "uses": [ "G001", "S003" ], "before": "a·x := mul(3, 1)", "after": "a·x = 3", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "乘回原本帶符號的 a。", "en": "Multiply by the original signed a." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 a·x，不以小數近似替代。", "en": "Recompute a·x with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "3", "1" ], "output": "3", "label": "a·x" } }, { "id": "S005", "uses": [ "G001", "S004" ], "before": "n·y := mul(6, 0)", "after": "n·y = 0", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "同時保留模數係數。", "en": "Retain the modulus coefficient as well." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 n·y，不以小數近似替代。", "en": "Recompute n·y with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "mul", "inputs": [ "6", "0" ], "output": "0", "label": "n·y" } }, { "id": "S006", "uses": [ "G001", "S005" ], "before": "Bezout value := sum(3, 0)", "after": "Bezout value = 3", "relation": "calculation", "rule_id": "exact_rational_arithmetic", "conditions": [], "explanation": { "zh-Hant": "兩項相加應等於最後非零餘數 gcd。", "en": "The two terms must sum to the final nonzero remainder, the gcd." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "以精確有理數重算 Bezout value，不以小數近似替代。", "en": "Recompute Bezout value with exact rational arithmetic, not rounded decimals." } }, "arithmetic": { "operation": "sum", "inputs": [ "3", "0" ], "output": "3", "label": "Bezout value" } }, { "id": "S007", "uses": [ "G001", "S006" ], "before": "gcd(3,6)=3>1", "after": "no u can satisfy a·u≡1 (mod n)", "relation": "implies", "rule_id": "nonunit_obstruction", "conditions": [], "explanation": { "zh-Hant": "若有逆元便有 au+nv=1，但左邊被共同因數 g 整除而右邊不被整除，矛盾。", "en": "An inverse would give au+nv=1, impossible because the common divisor g divides the left side but not1." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "核對整數等式、餘數範圍與 gcd 條件，不把同餘當整數相等。", "en": "Check integer identities, remainder bounds and gcd conditions; congruence is not integer equality." } }, "arithmetic": null }, { "id": "S008", "uses": [ "G001", "S007" ], "before": "inverse does not exist", "after": "inverse field=null; exists=false", "relation": "implies", "rule_id": "undefined_inverse", "conditions": [], "explanation": { "zh-Hant": "null 表示沒有逆元，不是假造的整數0代表元。", "en": "null denotes an absent inverse, not a fabricated inverse representative0." }, "reverse_audit": { "kind": "premise_and_result_audit", "explanation": { "zh-Hant": "核對整數等式、餘數範圍與 gcd 條件，不把同餘當整數相等。", "en": "Check integer identities, remainder bounds and gcd conditions; congruence is not integer equality." } }, "arithmetic": null } ], "math_model": { "result": [ 3, 6, 3, null, false, "nonunit_has_no_modular_inverse" ] }, "conclusion": { "canonical_value": "(3, 6, 3, null, 否, nonunit_has_no_modular_inverse)", "explanation": { "zh-Hant": "上述完整代值與條件核對得到原題答案；欄位次序及真假標記保持原始合約。", "en": "The full substitutions and premise audits recover the original answer, retaining its field order and verdict meanings." } }, "definition_note": { "zh-Hant": "gcd(a,n)>1 時共同因數整除 au+nv，不可能等於 1，故沒有逆元；null 表示不存在。", "en": "When gcd(a,n)>1 the common divisor divides au+nv, so it cannot equal 1 and no inverse exists; null means absent." }, "source": { "input_commit": "0f7be61e2c22317a4075561dc822c87d881a50db", "question_binding": { "batch_id": "batch-20261014-advance-20261103-r07-modular-inverse-foundations", "batch_path": "public/data/questions/batches/batch-20261014-advance-20261103-r07-modular-inverse-foundations/questions.jsonl", "batch_sha256": "6f8b1a188424712b3dea0297748d5fd301e16f3efee3dc899d1ddc19ef02403b", "original_line": 77, "original_line_sha256": "4080f5c8de44ed0561b05eb0104323be88193cbeae31d6c5c40abb5cf7f6afc6", "question_compact_sha256": "e6de0750407f86691c223f13158ff35ba06b14b70afd2e2707f68e3dd0b487c6", "english_manifest_path": "public/data/i18n/editions/batch-20261014-advance-20261103-r07-modular-inverse-foundations.en.json", "english_rows_path": "public/data/i18n/questions/batch-20261014-advance-20261103-r07-modular-inverse-foundations.en.jsonl", "english_row_compact_sha256": "4bbd1a0aa0de07ab91e4cfd764021e4b9f662233de8d19be6bf7c50eda1f9660" }, "mko_bindings": { "mko-modular-inverse": { "sha256": "d16e0773143022c00ff50dad2cd84ef53e2d8a9078f64c2d785413c676b002ab", "english_sha256": "6d3e8307627ef6fae92d80afb7cdf3347e4ca67f4f12e28c68a96a7465d52732", "original_path": "public/data/mko/modular-inverse.json", "english_path": "public/data/i18n/editions/mko-modular-inverse.en.json" } }, "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff", "selected_part_sha256": "afa7c0e9f7084cc5929124dcffe9929d5db7def32e40047056d19ea25535873e", "original_candidate_sha256": "98028e96bd20087c8dbd18f1cad80e78d5dfac05bdf52bfc20aa6224613c7487", "original_candidate_line_sha256": "98028e96bd20087c8dbd18f1cad80e78d5dfac05bdf52bfc20aa6224613c7487" }, "historical_source_state": { "review_state": { "derivation": "candidate_authored_and_locally_checked", "source_question_state": "candidate", "independent_AI_or_human_review": "NOT_PERFORMED", "formalization": "not_formalized", "Lean": "NOT_RUN" }, "scope_note": { "zh-Hant": "來源綁定的教學推導候選；精確算術及有限列舉不是獨立AI審查或一般形式化證明。原題、答案、MKO、公式、AST及歷史保持不變。", "en": "Source-bound pedagogical derivation candidate: exact arithmetic and finite enumeration are not independent AI review or general formal proof. Original questions, answers, MKOs, formulas, ASTs and history remain unchanged." }, "label": "Frozen producer metadata; current per-question review is separate below." }, "revision": { "id": "review-20261026-003-01", "review_date": "2026-10-26", "owner_authorized_reader_publication": true, "scope": "Thirty family prototypes and their mathematical/bilingual reasoning variants, stems, boundary statements and every distinct sentence shape were reviewed in a context independent of the producer; parameter substitutions, source bindings, full answer tuples, model results and every arithmetic step were independently reconstructed per question from the original parameters only, with negative controls. This grouped method does not claim a separate literal AI reading of every repeated sentence or an extra AI voter.", "review_receipts": { "semantic_review_sha256": "6c2c6d46aded7582a11ac41a8c0b3bdde2669a53bdb6e796eea2039994a02772", "question_first_witness_sha256": "77e43898df9efdbf8094ad81fe4ab91cf4b4bd82f481eb9b4699b73cb4da612b" }, "status": "second_context_reviewed", "mathematical_semantics": true, "bilingual_semantics": true, "steps_reviewed": 8, "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction", "exact_question_first_check": { "model_sha256": "13ae98f18c47a97b3abf452978f8f18c7e8925a82b71194dcf6f635e23a6fd95", "arithmetic_steps": 5 }, "uses_answer_as_premise": false, "human_review": "NOT_PERFORMED", "formalization": "not_formalized", "Lean": "NOT_RUN", "Canonical_truth_promotion": false, "authority": "Owner-authorized reviewed reader publication; original question/candidate states remain historical and unchanged." } }