Skip to main content
SpringerLink
Log in

The subalgebra systems of direct powers

  • Published:
algebra universalis Aims and scope Submit manuscript

Abstract

A simple characterization of the subalgebra systems of direct powers of finitary universal algebras on a fixed infinite setA is given. For |I|≥|A| such subalgebra system of anI-power is precisely an algebraic closure systemS onA I closed under mutations ofI (which encompass both the precomposition by permutations ofI and allowing the values at specified elements ofI to become unrestricted) and such that each function in the intersection ofS is constant. For |I|<|A| the subalgebra systems ofI-powers are obtained as the restrictions toI of such closure systems on someA J withJ⊇I and |J|=|A|.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

References

  1. R. A. Baîramov,On the functional completeness problem in many-valued logic (Russian), Diskret. Analiz11 (1967) 3–20.

    Google Scholar 

  2. G. Birkhoff, O. Frink,Representation of lattices by sets. Trans. Am. Math. Soc.164 (1948) 299–316. MR 10 #279.

    Article  MathSciNet  Google Scholar 

  3. G. N. Blochina,On the predicate description of Post's classes (Russian), Diskret. Analiz16 (1970) 16–29. MR 99 #1547.

    Google Scholar 

  4. G. N. Blochina;V. B. Kudrjavcev;G. Burosch,Das Problem der Vollständigkeit für Boolesche Funktionen über zwei Dualmengen mit nichtleerem Durschnitt I, Z. Math. Logik Grundlagen Math.19 (1973) 163–180.

    MATH  MathSciNet  Google Scholar 

  5. V. G. Bodnarčuk;L. A. Kalužnin;V. N. Kotov;B. A. Romov,Galois Theory for Post algebras (Russian), Kibernetika (Kiev) Part I:3 (1969) pp. 1–10, Part II:5 (1969) 1–9. Engl. Translation Cybernetics5 (1969) pp. 243–252, 531–539. MR 46 #55.

    Google Scholar 

  6. G. Dantoni,Relazioni invarianti di un algebra universale ed algebra con il sistema di operazioni complete rispetto ad una famiglia di relazioni invarianti. Matematiche (Catania)24 (1969) 187–217. MR 41 #5270.

    MATH  MathSciNet  Google Scholar 

  7. G. Dantoni,Su certe famiglie di relazioni n-arie invarianti di un algebra (English summary), Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. (8)47 (1969) 456–464 (1970). MR 43 3197.

    MATH  MathSciNet  Google Scholar 

  8. G. Dantoni,Relazioni n-arie invarianti di un algebra universale, Struttura di Zassenhaus. Theorema di Schreier. Matematiche (Catania)27 (1972) 1–45. MR 49 #184.

    MATH  MathSciNet  Google Scholar 

  9. I. Fleischer,La théorie de Galois abstraite de Krasner et Rosenberg comme théorie transformationelle, Preprint Centre rech. Math. Univ. Montréal. CRM-583 (dec. 1975).

  10. A. L. Foster;A. F. Pixley,Semi-categorical algebras I, Semi-primal algebra I. Math. Z.83 (1964) 147–169. MR 29 #1165.

    Article  MATH  MathSciNet  Google Scholar 

  11. D. Geiger,Closed systems of functions and predicates, Pacific J. Math.27 No. 1 (1968) 95–100. MR 38 #3207.

    MATH  MathSciNet  Google Scholar 

  12. G. Grätzer, Universal algebra, D. Van Nostrand, (1968).

  13. Ju. I. Janov;A. A. Mučnik,Existence of k-valued closed classes without a finite basis (Russian), Dokl. Akad. Nauk SSSR127 (1959) 44–46. MR 21 #7174.

    MATH  MathSciNet  Google Scholar 

  14. L. A. Kalužnin;M. H. Klin,Certain subgroups of symmetric, and alternating groups (Russian), Math. USSR-Sb16 (1972) 95–124. MR 45 #6906.

    Article  Google Scholar 

  15. M. Krasner,Remarque au sujet “Une généralisation de la notion de corps. Journ. de Math. (1938) 367–385; J. Math. Pures Appl.18 (1939) 417–418. MR 1 p. 198.

  16. M. Krasner Généralisations et analogues de la théorie de Galois. Association Française pour l'Avancement des Sciences, 64è Session, Congrès de la Victoire (1945) Paris, Mathématiques pp. 54–58, Paris, Intermédiaire des Recherches Mathématiques 1947 (Supplément au fascicule 9 de l'intermédiaire des Recherches Mathématiques).

  17. M. Krasner,Généralisation abstraite de la théorie de Galois. Colloques internationaux du Centre National R.S. XXIV 1949, Paris. Algèbre et théorie des nombres, 163–165, Paris, C.N.R.S. 1950. MR 12 p. 796.

  18. M. Krasner,Généralisation abstraite de la théorie de Galois. Proceedings of the International Congress of Mathematicians 1950 Cambridge Vol. 1, pp. 331–332, Providence, AMS 1952.

  19. M. Krasner,Les algèbres cylindriques. Bull. Soc. Math. France.86 (1958) 315–319. MR 21 #3356.

    MATH  MathSciNet  Google Scholar 

  20. M. Krasner,Endothéorie de Galois abstraite. Congrès international des mathématiciens, Moscou 1966, Résumés 2: Algèbre p. 61 Moscou ICM 1966.

  21. M. Krasner,Endothéorie de Galois abstraite. Séminaire P. Dubreil, M. L. Dubreil, L. Lesieur et C. Pisot (Algèbre et Théorie des nombres) 22è année, Fasc. 1 1968/69, no. 6 (19 pages). MR 44 #45.

  22. A. V. Kuznecov,Forty years of Soviet Mathematics (Russian), T.I. pp. 102–115, Moscou 1957.

  23. D. Lindsey,Relations invariant under semigroups actions. Semigroup Forum,8 (1974) 298–311.

    Article  MATH  MathSciNet  Google Scholar 

  24. A. I. Mal'cev,Iterative algebras and Post's varieties (Russian), Algebra i Logika,5 (1966) 5–24. English translation: Mal'cev, The metamathematics of algebraic systems, pp. 396–415, North Holland 1971.

    MATH  MathSciNet  Google Scholar 

  25. R. Pöschel,Postsche Algebren von Funktionen über einer Familie endlicher Mengen, Z. Math. Logik Grundlagen Math.19 (1973) 37–74.

    MATH  MathSciNet  Google Scholar 

  26. E. Post,The two valued iterative systems of mathematical logic, Annals of Math. Studies 5, Princeton 1951.

  27. R. W. Quackenbush,Demi-semi primal algebras and Mal'cev type conditions, Math. Z.122 (1971) 166–176. MR 46 #1682.

    Article  MATH  MathSciNet  Google Scholar 

  28. I. G. Rosenberg,La structure des fonctions de plusieurs variables sur un ensemble fini. C.R. Acad. Sci. Paris, Ser. A-B260 (1965) 3817–3819. MR 31 #1185.

    MATH  Google Scholar 

  29. I. G. Rosenberg,Uber die funktionale Vollständigkeit in der mehrwertigen Logiken, Rozpravy Československé Akad. Věd., Răda Mat. Příř, Věd. 80,4 (1970) 1–93. MR 45 #1732.

    Google Scholar 

  30. I. G. Rosenberg,Algebren und Relationen, Elektron. Informationsverarbeit. Kybernetik6 (1970) 115–124. MR 42 #48.

    MATH  MathSciNet  Google Scholar 

  31. I. G. Rosenberg,A classification of universal algebras by infinitary relations, Algebra universalis1 (1972) 350–354. MR 45 #6732.

    Article  MATH  Google Scholar 

  32. I. G. Rosenberg,Special types of universal algebras preserving a relation, Portugaliae Math., Vol. 34, Fasc.3 (1975) 174–188.

    Google Scholar 

  33. I. G. Rosenberg,Strongly rigid relations Rocky Mountains J. Math.3 (1973) 631–639. MR 47 #6588.

    Article  MATH  MathSciNet  Google Scholar 

  34. I. G. Rosenberg,Some maximal closed classes of operations on infinite sets. Math. Annalen212 (1974) 157–164.

    Article  MATH  Google Scholar 

  35. I. G. Rosenberg,The set of maximal closed classes of operations on an infinite set A has card 2 2A. Publication CRM-362. Archiv d. Math.27 (1976) 561–568.

    Article  MATH  Google Scholar 

  36. I. G. Rosenberg,Use correspondance de Galois entre les algèbres universelles et les relations dans le même univers, C.R. Acad. Sci. Paris Ser. A-B280 (1975) A615–616.

    Google Scholar 

  37. E. T. Schmidt,Universale Algebren unit gegebenen Automorphismengruppen und Unteralgebrenverbänden, Acta Sci. Math. (Szeged)24 (1963) 251–254. MR 28 #2987.

    MATH  Google Scholar 

  38. G. I. Žitomirskii,Stable binary relations on universal algebras (Russian), Mat. Sbornik82 (124) (1970) 163–174, Engl. Translation Math. USSR-Sb.11 (1970) 145–155. MR 41 #8328.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Montréal, Montréal, Québec, Canada

    I. G. Rosenberg

Authors
  1. I. G. Rosenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rosenberg, I.G. The subalgebra systems of direct powers. Algebra Universalis 8, 221–227 (1978). https://doi.org/10.1007/BF02485391

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02485391

Keywords

Search

Navigation