Skip to main content
Article

Separable Algorithmic Representations of Classical Systems and Their Applications

N. Kh. KasymovNational University of Uzbekistan named after M. UlugbekR. N. DadazhanovNational University of Uzbekistan named after M. UlugbekF. N. IbragimovNational University of Uzbekistan named after M. Ulugbek
ABI

Abstract

The main results of the theory of separable algorithmic representations of classical algebraic systems are presented. The most important classes of such systems and their representations in the lower classes of the arithmetic hierarchy - positive and negative - are described. Special attention is paid to the algorithmic, structural and topological properties of separable representations of groups, rings and bodies, as well as to effective analogs of the Maltsev theorem on embedding rings in bodies. The possibilities of using the studied concepts in the framework of theoretical informatics are considered.

Topics

Identifiers

Citations and references

Metrics — AkademScholar · Coming soon