Notre Dame Journal of Formal Logic

Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras

Oleg V. Belegradek

Abstract

For a quasi variety of algebras K, the Higman Theorem is said to be true if every recursively presented K-algebra is embeddable into a finitely presented K-algebra; the Generalized Higman Theorem is said to be true if any K-algebra which is recursively presented over its finitely generated subalgebra is embeddable into a K-algebra which is finitely presented over this subalgebra. We suggest certain general conditions on K under which (1) the Higman Theorem implies the Generalized Higman Theorem; (2) a finitely generated K-algebra A is embeddable into every existentially closed K-algebra containing a finitely generated K-algebra B if and only if the word problem for A is Q-reducible to the word problem for B. The quasi varieties of groups, torsion-free groups, and semigroups satisfy these conditions.

Article information

Source
Notre Dame J. Formal Logic, Volume 37, Number 4 (1996), 613-624.

Dates
First available in Project Euclid: 16 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1040046145

Digital Object Identifier
doi:10.1305/ndjfl/1040046145

Mathematical Reviews number (MathSciNet)
MR1446232

Zentralblatt MATH identifier
0882.03036

Subjects
Primary: 03D45: Theory of numerations, effectively presented structures [See also 03C57; for intuitionistic and similar approaches see 03F55]
Secondary: 03C60: Model-theoretic algebra [See also 08C10, 12Lxx, 13L05] 03D40: Word problems, etc. [See also 06B25, 08A50, 20F10, 68R15] 08C15: Quasivarieties 20F10: Word problems, other decision problems, connections with logic and automata [See also 03B25, 03D05, 03D40, 06B25, 08A50, 20M05, 68Q70]

Citation

Belegradek, Oleg V. Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras. Notre Dame J. Formal Logic 37 (1996), no. 4, 613--624. doi:10.1305/ndjfl/1040046145. https://projecteuclid.org/euclid.ndjfl/1040046145


Export citation

References

  • Belegradek, O. V., “On algebraically closed groups,” Algebra and Logic, vol. 13 (1974), pp. 135–143. Zbl 0319.20039 MR 52:2859
  • Belegradek, O. V., “Elementary properties of algebraically closed groups,” Fundamenta Mathematicæ, vol. 98 (1978), pp. 83–101. Zbl 0389.20030 MR 57:9530
  • Belegradek, O. V., “Classes of algebras with internal maps,” pp. 3–10 in Investigations in Theoretical Programming, Kazakh State University, Alma-Ata, 1981. MR 85e:08004
  • Belegradek, O. V., Model theory of unitriangular and existentially closed groups, D. Sc. Dissertation, Kemerovo State University, Kemerovo, 1995.
  • Belyaev, V. Y., “On algebraically closed semigroups,” Siberian Mathematical Journal, vol. 18 (1977), pp. 23–29. Zbl 0411.20041
  • Belyaev, V. Y., “Subrings of finitely presented associative rings,” Algebra i Logika, vol. 17 (1978), pp. 627–638. Zbl 0429.16017 MR 81i:16026
  • Belyaev, V. Y., “Embeddability of recursively presented inverse semigroups into finitely presented ones,” Sibirskiĭ Matematicheskiĭ Zhurnal, vol. 25 (1984), pp. 50–54. Zbl 0545.20047 MR 85m:20083
  • Higman, G., “Subgroups of finitely presented groups,” Proceedings of the Royal Society of London, Ser. A, vol. 262 (1961), pp. 455–474. Zbl 0104.02101 MR 24:A152
  • Hodges, W., Model theory, Cambridge University Press, Cambridge, 1993. Zbl 0789.03031 MR 94e:03002
  • Kukin, G. P., “Subalgebras of recursively presented Lie algebras,” Algebra i Logika, vol. 18 (1979), pp. 311–327.
  • Macintyre, A., “Omitting quantifier-free types in generic structures,” The Journal of Symbolic Logic, vol. 37 (1972), pp. 512–520. Zbl 0273.02038 MR 49:37
  • Murskiĭ, V. L., “Isomorphic embeddability of a semigroup with enumerable set of defining relations to a finitely presented semigroup,” Matematicheskie zametki, vol. 1 (1967), pp. 217–224. MR 35:1686
  • Neumann, B. H., “The isomorphism problem for algebraically closed groups,” pp. 553–562 in Word Problems, edited by W. W. Boone et al., North-Holland, Amsterdam, 1973. Zbl 0198.34103 MR 54:2767
  • Rogers, H., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. Zbl 0183.01401 MR 88b:03059
  • Trofimov, M. Y., “On definability in algebraically closed systems,” Algebra and Logic, vol. 13 (1974), pp. 198–202. Zbl 0373.02035 MR 55:2559
  • Ziegler, M, “Algebraisch abgeschlossene Gruppen,” pp. 449–576 in Word Problems II, edited by S. I. Adian et al., North-Holland, Amsterdam, 1980. Zbl 0451.20001 MR 82b:20004 \AFKemerovo State University Kemerovo 650043 RUSSIA email: beleg@kaskad.uucp.stanet.ru