Arctic Environmental Research
A peerreviewed openaccess journal
ISSN 25418416 eISSN 26587173 DOI:10.17238/issn25418416
Address: office 1410a, 17 Naberezhnaya Severnoy Dviny, Arkhangelsk, 163002, Russian Federation, Northern (Arctic) Federal University named after M.V. Lomonosov
Phone: (8182) 216121 ABOUT

Section: Physics. Mathematics. Informatics UDC512.541AuthorsMukhin Vladimir Vasil’evichInstitute of Information Technology, Cherepovets State University (Cherepovets, Russia) еmail: mukhinv1945@yandex.ru; mukhin@chsu.ru Sergeeva Dina Vladimirovna Vologda Institute of Law and Economics of the Federal Penitentiary Service of Russia (Vologda, Russia) еmail: dina_sergeeva@mail.ru AbstractThe paper studies the homomorphisms of topological Abelian cancellative nary semigroups into the group under multiplication of all complex numbers of modulus 1. These mappings are called characters. The set of all continuous characters of topological nary semigroup X is denoted ˆX . The set ˆX is a binary group with respect to the pointwise multiplication of characters. A preliminary result shows that the Abelian cancellative nary semigroup X can be considered as the nary subsemigroup of the nary group G, which as well as in the binary variant can be called the nary group of quotients of Abelian cancellative nary semigroup. Theorem 1 demonstrates that every character of Abelian nary semigroup naturally extends to the character on the nary group of its quotients. The group ˆX is endowed with the topology of uniform convergence on compact sets. Theorem 2 establishes that this topology is correlated with the group structure; i.e. ˆX becomes a topological binary group. Theorem 3 demonstrates the conditions of algebraic and topological isomorphism of the group ˆX to the group ˆG . The group of continuous characters of the binary group ˆX is denoted by the symbol ˆˆX . By analogy with the binary variant we consider a natural mapping π from X into ˆˆX that the character π(x) of the group ˆX relates for every x of X in accordance with the formula π(x)(χ) = χ(x) (χ∈ˆX). Theorem 4 establishes that if there is a nonzero invariant Borel measure on a topological Abelian cancellative nary semigroup X, so the mapping π is continuous and injective, X has such nonvacuous open set U that restriction π to U is a homeomorphism of U onto the open subset π(U) of the group ˆX.Keywordscharacter, nary semigroup, topology, invariant measureReferences
