{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006798398,0.002443576,0.002809897,0.007303504,0.00361551,0.008580633,0.004734158,0.003635484,0.01463011],"category_scores_gemma":[0.03354826,0.0008423645,0.00276238,0.004599945,0.007166163,0.0216103,0.007610014,0.01112652,0.003637801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005195452,"about_ca_system_score_gemma":0.001677988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008889274,"about_ca_topic_score_gemma":0.001145268,"domain_scores_codex":[0.9896286,0.001659355,0.000492949,0.001710276,0.004771051,0.001737854],"domain_scores_gemma":[0.9654697,0.02540241,0.0007699865,0.004271993,0.002210124,0.001875828],"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.0000573745,0.00005524201,0.0003272789,0.000112238,0.00002246801,0.00008248702,0.0001822214,0.003404456,0.0008583122,0.9764705,0.005731913,0.01269538],"study_design_scores_gemma":[0.00001592666,0.00003303424,0.0002150233,0.00005748679,0.00003554791,0.0001129734,0.00004060659,0.01919661,0.001489053,0.9675357,0.01123676,0.0000314005],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05876291,0.01408536,0.727217,0.01865565,0.002045243,0.0001737536,0.001317302,0.001183075,0.1765599],"genre_scores_gemma":[0.7531796,0.009661327,0.1854891,0.005103665,0.007271987,0.001230234,0.001998664,0.001302945,0.03476251],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01463011,"threshold_uncertainty_score":0.04894257,"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."}}