Abstract
We give some simple description for the finitely generated structures with P-computable isomorphic presentation; i.e., presentation computable in polynomial time. The description is close to the formulation of a Remmel and Friedman theorem. We prove that each finitely generated substructure of a P-computable structure also has a P-computable presentation. The description is applied to the classes of finitely generated semigroups, groups, unital commutative rings and fields, as well as ordered unital commutative rings and fields. We prove that every finitely generated commutative ring or a field has a P-computable presentation.
Similar content being viewed by others
References
Aschenbrenner M., “Ideal membership in polynomial rings over the integers,” J. Amer. Math. Soc., vol. 17, no. 2, 407–441 (2004).
Cenzer D. and Remmel J., “Polynomial time versus recursive models,” Ann. Pure Appl. Logic, vol. 54, no. 1, 17–58 (1991).
Cenzer D. and Remmel J.B., “Complexity theoretic model theory and algebra,” in: Handbook of Recursive Mathematics. Vol. 1, Elsevier, Amsterdam (1998), 381–513.
Maltsev A.I., “Constructive algebras. I,” Russian Math. Surveys, vol. 16, no. 3, 77–129 (1961).
Alaev P.E., “Categoricity for primitive recursive and polynomial Boolean algebras,” Algebra Logic, vol. 57, no. 4, 251–274 (2018).
Alaev P.E., “Structures computable in polynomial time. I,” Algebra Logic, vol. 55, no. 6, 421–435 (2016).
Alaev P.E. and Selivanov V.L., “Fields of algebraic numbers computable in polynomial time. I,” Algebra Logic, vol. 58, no. 6, 673–705 (2020).
Kalimullin I., Melnikov A., and Ng K.M., “Algebraic structures computable without delay,” Theoret. Comput. Sci., vol. 674, 73–98 (2017).
Aho A., Hopcroft J., and Ullman J., The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading (1974).
Romanovskii N.S., “Some algorithmic problems for solvable groups,” Algebra Logic, vol. 13, no. 1, 13–16 (1974).
Mayr E.W., “Some complexity results for polynomial ideals,” J. Complexity, vol. 13, no. 3, 303–325 (1997).
Schrijver A., Theory of Linear and Integer Programming. Vol. 1, John Wiley and Sons, Chichester, New York, Weinheim, Brisbane, Singapore, and Toronto (1999).
Acknowledgment
The author is grateful to S.S. Goncharov, N.S. Romanovskii, A.G. Myasnikov, V.L. Selivanov, and E. Mayr for discussions of the paper, and useful advice that improved exposition. The author is also grateful to the anonymous reviewer for pointing out an error in the first version of the article.
Funding
The study was carried out within the framework of the State Task to the Sobolev Institute of Mathematics (Project FWNF–2022–0011) and partially supported by the RFBR (Project 20–01–00300).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, 2022, Vol. 63, No. 5, pp. 953–974. https://doi.org/10.33048/smzh.2022.63.501
Rights and permissions
About this article
Cite this article
Alaev, P.E. Finitely Generated Structures Computable in Polynomial Time. Sib Math J 63, 801–818 (2022). https://doi.org/10.1134/S0037446622050019
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446622050019