. . . . "000272118200006" . "Congruence modularity implies cyclic terms for finite algebras" . . "0002-5240" . . "[D3896E15C640]" . "Kozik, Marcin" . . "61" . . . "308075" . "Mar\u00F3ti, Miklos" . "5"^^ . . "Algebra Universalis" . "RIV/00216208:11320/09:00207060!RIV10-GA0-11320___" . "P(GA201/06/0664), P(LC505), Z(MSM0021620839)" . "11320" . . "CH - \u0160v\u00FDcarsk\u00E1 konfederace" . . "Congruence modularity implies cyclic terms for finite algebras"@en . . "2"^^ . . . "Barto, Libor" . "RIV/00216208:11320/09:00207060" . . "Congruence; modularity; implies; cyclic; terms; finite; algebras"@en . "McKenzie, Ralph" . "An n-ary operation f on a set A is called cyclic if it is idempotent and f(a_1, a_2, a_3, ..., a_n) = f(a_2, a_3, ..., a_n, a_1) for every a_1, ... a_n in A. We prove that every finite algebra A in a congruence modular variety has a p-ary cyclic term operation for any prime p greater than |A|."@en . . . . "Niven, Todd" . . "16"^^ . . "Congruence modularity implies cyclic terms for finite algebras"@en . "Congruence modularity implies cyclic terms for finite algebras" . "An n-ary operation f on a set A is called cyclic if it is idempotent and f(a_1, a_2, a_3, ..., a_n) = f(a_2, a_3, ..., a_n, a_1) for every a_1, ... a_n in A. We prove that every finite algebra A in a congruence modular variety has a p-ary cyclic term operation for any prime p greater than |A|." . "3" . . "Kozik, Marcin" .