scientific article; zbMATH DE number 19599
[For the entire collection see Zbl 0731.00007.] If \(Q\) is a non-empty set, then \(F(Q)\) denotes the set of nonempty subsets of \(Q\). By an object is meant a pair \((Q;f)\), where \(f: F(Q)\to F(Q)\) is a function. A function \(\varphi: Q\to Q'\) defines a homomorphism \((Q;f)\to(Q';f')\) if \(F(\varphi)f=f'F(\varphi)\). An object \((Q;f)\) is associative if for all \(X\), \(Y\in F(Q)\), \(f(f(X)\cup Y)=f(X\cup Y)\). It is an \(m\)-object if \(f(X)\) has cardinality \(\leq m\) for all \(X\) in \(F(Q)\). This paper constructs free associative \(m\)-objects. A previous paper [\textit{Ǵ. Čupona} and \textit{N. Celakoski}, Mat. Bilt. 14(40), 15-26 (1990)] has shown that general free objects do not exist.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3979088)
