The algebra of implicit operations

DOI10.1007/BF01243870MaRDI QIDQ1119673zbMATH OpenFDO

Authors Jorge Almeida

Publication date 1989

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01243870

zbMATH Keywords

continuous homomorphismpseudovarietytopological algebras

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Infinitary algebras (08A65) Other classes of algebras (08C99)

Review text

For an ordinal \(\alpha\), an \(\alpha\)-ary implicit operation on a class of topological algebras is a family of mappings \(p_ A: A^{\alpha}\to A\) (A\(\in C)\) compatible with arbitrary continuous homomorphisms between members of C. Endowed with the least topology that makes all homomorphisms into members of C continuous, the algebra of \(\alpha\)-ary implicit operations on C is the closure of the \(\alpha\)-ary algebraic operations, provided that C is closed with respect to closed subalgebras and finite direct products. Pseudovarieties of topological and of finite algebras serve as illustrations.

Recommendations

• Implicitly equivalent universal algebras
• Implicit operations on the categories of universal algebras
• Sur le rang et la définissabilité des opérations implicites dans les classes d'algèbres
• scientific article; zbMATH DE number 591142
• Unary operations on pseudo-varieties of semigroups

Cites work

• scientific article; zbMATH DE number 3811868 (Why is no real title available?)
• scientific article; zbMATH DE number 4041989 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• Pseudovarieties, generalized varieties and similarly described classes
• The Birkhoff theorem for finite algebras
• The Birkhoff theorem for varieties of finite algebras

Cited in

(18)

• Semidirect products of pseudovarieties from the universal algebraist's point of view
• The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids
• Free profinite R-trivial, locally idempotent and locally commutative semigroups
• Over testable languages
• The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
• Nonstandard characterization of pseudovarieties
• Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
• Sheaves of implicit operations in weak varieties of partial algebras
• Sur le rang et la définissabilité des opérations implicites dans les classes d'algèbres
• On finite simple semigroups
• Strongly locally testable semigroups with commuting idempotents and related languages
• scientific article; zbMATH DE number 591142 (Why is no real title available?)
• scientific article; zbMATH DE number 679805 (Why is no real title available?)
• The pseudovariety J is hyperdecidable
• PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
• Tameness of Some Locally Trivial Pseudovarieties
• Implicit operations on the categories of universal algebras
• On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics

This page was built for publication: The algebra of implicit operations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1119673)