0% found this document useful (0 votes)
53 views

Factor Embeddable

The document defines factor embeddable classes of models as classes where for any collection of models from the class, there exists an embedding of one model into the product of the others. Factor embeddable classes have the equivalent property that for any two models in the class, there exists a homomorphism from one to the other. Examples given of factor embeddable classes include groups, lattices, and non-trivial Boolean algebras.

Uploaded by

Colin Naturman
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
53 views

Factor Embeddable

The document defines factor embeddable classes of models as classes where for any collection of models from the class, there exists an embedding of one model into the product of the others. Factor embeddable classes have the equivalent property that for any two models in the class, there exists a homomorphism from one to the other. Examples given of factor embeddable classes include groups, lattices, and non-trivial Boolean algebras.

Uploaded by

Colin Naturman
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

factor embeddable∗

Naturman†
2013-03-22 4:05:23

Let K be a class of models (structures) of a given signature. ConsiderQ a (non-


empty) family of structures {Ai : i ∈ I} in K. If j ∈ I and f : Aj → i∈I Ai
is an embedding, we say that f is a factor embedding. [?, ?] If Q additionally f
satisfies the condition that πj ◦ f is the identity on Ai , where πj : i∈I Ai → Aj
is the jth projection, then f is said to be a strong factor embedding. [?] K is said
to be a factor embeddable class iff for every (non-empty) family of structures
Q
{Ai : i ∈ I} in K and every j ∈ I there is a factor embedding f : Aj → i∈I Ai .
[?, ?] Q
The definition above does not require the product i∈I Ai to be a member
of K, however many interesting examples of factor embeddable classes are in
fact closed under products. Factor embeddable classes that are closed under
finite products (or equivalently under binary products) have the joint embedding
property. Factor embeddable classes closed under arbitrary products have the
strong joint embedding property.

0.0.1 Characterization
Factor embeddable classes have an easy to prove but somewhat unintuitive
characterization which does not mention the concepts of product or embedding:
The following are equivalent for a class K of models [?]:

1. K is factor embeddable.
2. For every pair of models A, B ∈ K there exists a homomorphism f : A →
B.

To see the above, suppose K is factor embeddable and consider models


A, B ∈ K. Then there exists a factor embedding from A into the product A×B.
Composing this embedding with the projection onto B gives a homomorphism
f : A → B. Conversely suppose such a homomorphism f : A → B exists
for all A, B ∈ K and consider a family {Ai : i ∈ I} in K and j ∈ I. We can
∗ hFactorEmbeddablei created: h2013-03-2i by: hNaturmani version: h42609i Privacy

setting: h1i hDefinitioni h03C52i


† This text is available under the Creative Commons Attribution/Share-Alike License 3.0.

You can reuse this document or portions thereof only if you do so under terms that are
compatible with the CC-BY-SA license.

1
Q
define a strong factor embedding f : Aj → i∈I Ai by choosing homomorphisms
fi : Aj → Ai for all i ∈ I with fj the identity map on Aj , and then for all a ∈ A
setting f (a)i = fi (a) for each i ∈ I. [?]
The above proof shows that the factor embeddings guaranteed to exist for a
factor embeddable class can always be chosen to be strong factor emebeddings.
[?]
A corollory of the above is that if there exists a model which is a retract of
every member of a class K then, K is factor embeddable - in particular if the
members of K have one element submodels, then K is factor embeddable. [?]
(A retract of a model is a submodel which is also a quotient model such that
the quotient map composed with the submodel embedding is the identity map.)

0.0.2 Examples
The following are examples of factor embeddable classes:

• The variety of all groups (the trivial group is a one element subalgebra of
every group)
• The variety of all lattices (every lattice has one element sublattices)
• The class of all non-trivial Boolean algebras (the two element Boolean
algebra is a retract of all non-trivial Boolean algebras)

The class of all Boolean algebras is an example of a class which is not factor
embeddable - there is no way to embed the trivial Boolean algebra into a product
of itself with any non-trivial Boolean algebras. (The trivial Boolean algebra
satisfies the identity 0 = 1 which is not satisfied by any Boolean algebra having
more than one element.)

References
[1] Peter Bruyns, Henry Rose: Varieties with cofinal sets: examples and amal-
gamation, Proc. Amer. Math. Soc. 111 (1991), 833-840
[2] Colin Naturman, Henry Rose: Ultra-universal models, Quaestiones Mathe-
maticae, 15(2), 1992, 189-195

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy