{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001908526,0.0006720133,0.0009742569,0.001797305,0.001596483,0.001846197,0.00189173,0.001075804,0.007881224],"category_scores_gemma":[0.008998065,0.000314644,0.001138794,0.001402679,0.006382213,0.005358574,0.003577682,0.00373233,0.0008967791],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001692065,"about_ca_system_score_gemma":0.001709165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004599305,"about_ca_topic_score_gemma":0.002141393,"domain_scores_codex":[0.9984204,0.0002927551,0.00007988245,0.000301129,0.0006383777,0.0002674129],"domain_scores_gemma":[0.9954612,0.002381037,0.0003240447,0.0007223774,0.0008166478,0.0002946251],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004824533,0.0000217934,0.0005603405,0.00005969908,0.000007821553,0.0001589234,0.0005405809,0.001753233,0.001546375,0.9833437,0.001542735,0.01041655],"study_design_scores_gemma":[0.00004426942,0.00007885099,0.0006080252,0.00003357148,0.00001488996,0.0002042804,0.0002330999,0.01376919,0.005482198,0.9685298,0.01096264,0.00003923269],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2054888,0.001143247,0.6837276,0.004025374,0.000438091,0.000251439,0.0006883734,0.001017339,0.1032198],"genre_scores_gemma":[0.8804106,0.0003831639,0.1094861,0.0008053204,0.0003280483,0.0001710424,0.0005151741,0.0002028571,0.007697634],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007881224,"threshold_uncertainty_score":0.02636534,"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."}}