No label defined (Q3979088)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 19599
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 19599 |
Statements
26 June 1992
0 references
finite subset structures
0 references
free associative \(m\)-objects
0 references
0.6967116594314575
0 references
[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.
0 references
