ACTA MATHEMATICA UNIVERSITATIS COMENIANAE
Vol. 61,   1   (1992)
pp.   85-90
ON SURJECTIVE KERNELS OF PARTIAL ALGEBRAS
P. ZLATOS
Abstract. 
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
Keywords. 
Partial algebra, subalgebra, infinitary partial operation, surjective kernel, tree, limit, accumulation point
Download:     Adobe PDF     Compressed Postscript      
Acta Mathematica Universitatis Comenianae
Institute of Applied
Mathematics
Faculty of Mathematics,
Physics and Informatics
Comenius University
842 48 Bratislava, Slovak Republic
Telephone: + 421-2-60295111 Fax: + 421-2-65425882
e-Mail: amuc@fmph.uniba.sk
  Internet: www.iam.fmph.uniba.sk/amuc
© Copyright 2001, ACTA MATHEMATICA
UNIVERSITATIS COMENIANAE