{"id":"W1979795169","doi":"10.1090/s0002-9947-2011-05379-1","title":"An effective lower bound for group complexity of finite semigroups and automata","year":2011,"lang":"en","type":"article","venue":"Transactions of the American Mathematical Society","topic":"semigroups and automata theory","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Krohn–Rhodes theory; Mathematics; Prime (order theory); Special classes of semigroups; Semigroup; Finite group; Group (periodic table); Discrete mathematics; Finite-state machine; Prime factor; Algebraic number; Decomposition; Algebra over a field; Combinatorics; Pure mathematics; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004708161,0.0001476584,0.0003818854,0.00002150175,0.0001713419,0.00002293247,0.0007526287,0.00004052738,0.00002580654],"category_scores_gemma":[0.00002621117,0.0001036592,0.000336056,0.0003142302,0.001539816,0.0002640835,0.00004695903,0.0001157036,0.000001385559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002047739,"about_ca_system_score_gemma":0.00001596241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008813613,"about_ca_topic_score_gemma":0.000004201681,"domain_scores_codex":[0.9989576,0.00009948885,0.0002955375,0.0002535931,0.0001877448,0.0002060455],"domain_scores_gemma":[0.9982676,0.000597499,0.0002547758,0.0007417988,0.000059548,0.00007881158],"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.0002912079,0.006199684,0.0004428312,0.001524552,0.001022419,0.000001152169,0.04115123,0.0001250983,0.03457937,0.7928,0.0002939582,0.1215685],"study_design_scores_gemma":[0.0008814189,0.001490275,0.01804269,0.0001289832,0.000183445,0.0000197849,0.001559894,0.3707983,0.01434289,0.5921378,0.00003916237,0.000375302],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2494229,0.00001242792,0.7498627,0.00009651795,0.00004317393,0.0003284279,0.00003390705,0.00007334876,0.0001266228],"genre_scores_gemma":[0.7923043,0.000007672385,0.2075183,0.0001011618,0.000007476835,0.00004019768,6.358637e-7,0.00001045735,0.000009803153],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5428814,"threshold_uncertainty_score":0.5673515,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02671842062185108,"score_gpt":0.2634378449982115,"score_spread":0.2367194243763604,"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."}}