ACTA MATHEMATICA UNIVERSITATIS COMENIANAE
Vol. 61,   1   (1992)
ON SURJECTIVE KERNELS OF PARTIAL ALGEBRAS
A partial algebra $\A = (A,F)$ is called surjective if each of its elements lies in the range of some of its operations. By a transfinite iteration construction over the class of all ordinals it is proved that in each partial algebra $\A$ there exists the largest surjective subalgebra $\Skr \A$, called the surjective kernel of $\A$. However, what might be found a bit surprising, for each ordinal $\al$ there is an algebra $\A$ with only finitary operations (even with a single unary operation), such that the described construction stops exactly in $\al$ steps. The result is compared with the classical ones on perfect kernels of first countable topological spaces.
AMS subject classification.
08A05, 08A55, 08A62, 08A65; Secondary 08A30, 08A60, 05C05, 54A20
Partial algebra, subalgebra, infinitary partial operation, surjective kernel, tree, limit, accumulation point
Download:     Adobe PDF     Compressed Postscript
Acta Mathematica Universitatis Comenianae
Institute of Applied
Faculty of Mathematics,
Physics and Informatics
842 48 Bratislava, Slovak Republic
Telephone: + 421-2-60295111 Fax: + 421-2-65425882
© Copyright 2001, ACTA MATHEMATICA