scientific article; zbMATH DE number 1276864

Publication date 20 April 1999

\(n\)-ary group \(n\)-ary operation \(n\)-ary semigroup automorphism endomorphism

Automorphisms and endomorphisms of algebraic structures (08A35) Finitary algebras (08A62) (n)-ary systems ((nge 3)) (20N15)

Review text

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\).

Recommendations

Cited in

(5)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4239013)