No label defined (Q4239013)

Let \[ A_1,A_2,\dots,A_{n-1},A_n\tag{1} \] be a finite sequence of universal algebras of the same type. The sequence \[ f=(f_1,f_2,\dots,f_{n-1})\tag{2} \] of homomorphisms \[ f_1:A_1\to A_2,\;f_2:A_2\to A_3,\dots,f_{n-1}:A_{n-1}\to A_n \] is called a morphism of (1). The morphism (2) is called an isomorphism of (1), if every \(f_i\) is an isomorphism. A morphism of the sequence \[ A_1,A_2,\dots,A_{n-1},A_1\tag{3} \] is called an endomorphism of (3), and an isomorphism of (3) is called an automorphism of (3). Let \(\text{End}(A_1,\dots,A_{n-1})\) and \(\Aut(A_1,\dots,A_{n-1})\) be the sets of endomorphisms and automorphisms of (3) respectively. An \(n\)-ary operation on the set \(\text{End}(A_1,\dots,A_{n-1})\) is defind and it is proved that \(\text{End}(A_1,\dots,A_{n-1})\) and \(\Aut(A_1,\dots,A_{n-1})\) are the \(n\)-ary semigroup and \(n\)-ary group with respect to the \(n\)-ary operation. Remark. There are some misprints in the paper. For example, \(f\) is missing in the definition of \(g_k\).