2020/07/30 by A. Tsurkov, Tsurkov, A.
Computer Science · Mathematics · #08B99 #17B10 #20C99 #Advanced Algebra and Logic #Advanced Topics in Algebra #FOS: Mathematics #Rings and Algebras (math.RA) #Rings, Modules, and Algebras #math.RA #msc:08B99 #msc:17B10 #msc:20C99
paper · pdf · doi:10.48550/arxiv.2008.01538
25 pages
openalex publication_date 2020/07/30 · arxiv created 2020/08/19 · arxiv updated 2020/08/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The concept of variety with IBN (invariant basic number) propriety first appeared in ring theory. But we can define this concept for arbitrary variety of universal algebras with arbitrary signature; see Definition 1.4. The proving of the IBN propriety of some variety is very important in universal algebraic geometry. This is a milestone in the study of the relation between geometric and automorphic equivalences of algebras of this variety. In this paper we prove very simple but very useful for studying of IBN proprieties of different varieties Theorems 2.1 and 3.2. We will consider applications of this theorem. We will consider many-sorted universal algebras as well as one-sorted. So all concepts and all results will by generalized for the many-sorted case.