{"id":"W4416866061","doi":"10.5206/mt.v5i4.22279","title":"A Subnormal Closure Version and Proof of the Guralnick-Tracey Theorem on Proper Normal Subgroup Containment","year":2025,"lang":"","type":"article","venue":"Maple Transactions","topic":"Geometric and Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Closure (psychology); Normal subgroup; Rank (graph theory); Group (periodic table); Matrix (chemical analysis); Algebra over a field; Unification; Complete lattice; Lattice (music)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000553264,0.0003547277,0.0005142003,0.0002948487,0.0006218402,0.00004022673,0.0003653958,0.0003064257,0.001610275],"category_scores_gemma":[0.00008871528,0.0002446449,0.0003250198,0.0009289742,0.000594822,0.0001324621,0.00004989928,0.0006715193,0.00001665882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001198142,"about_ca_system_score_gemma":0.0002148132,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001392755,"about_ca_topic_score_gemma":0.0002169082,"domain_scores_codex":[0.9976999,0.000291463,0.000686032,0.0004190969,0.0004091199,0.0004944611],"domain_scores_gemma":[0.9983951,0.0004989614,0.0002316693,0.0006453535,0.000130991,0.00009786819],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.006305786,0.01443239,0.02380976,0.00808617,0.004593771,0.00004692358,0.02409034,0.002661174,0.006069728,0.7814311,0.008526652,0.1199462],"study_design_scores_gemma":[0.03862605,0.01004723,0.1368052,0.004589131,0.01044066,0.0003754026,0.04414392,0.007705367,0.5126488,0.1212247,0.1093447,0.00404882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.939762,0.0009425124,0.03270965,0.01036718,0.001511541,0.002468316,0.0002340673,0.00005556543,0.01194919],"genre_scores_gemma":[0.9865164,0.00007541746,0.0002336966,0.000203264,0.00003678415,0.00005843593,0.000003901914,0.0000239218,0.01284824],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6602064,"threshold_uncertainty_score":0.9993024,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009459069118161497,"score_gpt":0.239335487950499,"score_spread":0.2298764188323375,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}