when are epimorphisms of algebraic objects surjective?

2009-12-31T04:50:03Z

let $C$ be the category of $\tau$-algebras for some type $\tau$. consider the statements:

every monomorphism is regular.
every epimorphism in C is surjective.

it is easy to see that 1. implies 2. what about the converse?

Answer by Todd Trimble for when are epimorphisms of algebraic objects surjective?

2010-01-01T13:56:39Z

Certainly not. Consider the category of groups: every epimorphism is surjective (see, e.g., Categories for the Working Mathematician, p. 21 exercise 5) but not every mono is a kernel.

Answer by Todd Trimble for when are epimorphisms of algebraic objects surjective?

2010-01-03T01:07:08Z

Update: the following exchange appeared on the categories mailing list several years ago: http://article.gmane.org/gmane.science.mathematics.categories/3094. Walter Tholen's response strongly suggests that the answer to Martin's question is that the converse does not hold, although I don't have access to the four-author article he cites as reference. It's probably worth a look though, and if I learn anything more I'll post another update.

Second update: My surmise was correct. Walter Tholen kindly emailed to me the relevant two pages (pp. 88-89) of the four-author paper

E.W. Kiss, L. Marki, P. Prohle, W. Tholen: Studia Sci. Math. Hungaricum 18 (1983) 79-141.

where the following example is given on page 89: in the category of semigroups with zero such that all 4-fold products are zero, all epimorphisms are surjective but not all monos are regular [a specific nonregular mono is described]. (I can forward this email if you write to me at topological dot musings at gmail dot com.)

Assuming amalgamated products exist (as they do in categories of algebras of a Lawvere theory), a mono i: A >--> B is regular if it is the equalizer of the pair of canonical maps from B to the amalgamated product B *_A B (i.e., the coprojections of the pushout of i with itself, aka the cokernel pair of i). The equalizer of the cokernel pair defines a closure operator on the lattice of subalgebras Sub(B), called the dominion operator Dom_B. So to prove a subalgebra is not regular is to show that it is not Dom-closed. The key technical result needed to prove the claim above is Isbell's Zig-Zag theorem (given in his paper Epimorphisms and Dominions in the 1965 La Jolla conference proceedings on categorical algebra), as recalled here, which gives a precise and useful criterion for an element to belong to the dominion (= Dom-closure) of a subalgebra.

Hope this helps. I am voting up your question, Martin, since it's rather nontrivial!

when are epimorphisms of algebraic objects surjective? - MathOverflow

when are epimorphisms of algebraic objects surjective?

Answer by Todd Trimble for when are epimorphisms of algebraic objects surjective?

Answer by Todd Trimble for when are epimorphisms of algebraic objects surjective?