Large rigid sets of algebras with respect to embeddability (Q2822871)

Let \(\tau \) be a nonempty similarity type of algebras. A set \(H\) of algebras of type \(\tau \) is called \(e\)-rigid, if whenever \(A,B\in H\) and \(\varphi \) is an embedding from \(A\) into \(B\), then \(A=B\) and \(\varphi \) is the identity map. This is a very strong condition even if \(H\) is a singleton set. In category theory, \(e\)-rigid sets are a discrete full subcategory of the category of algebras of type \(\tau \) with embeddings. Monounary algebras are algebras with exactly one unary operation.NEWLINENEWLINEThe main result of the paper strengthens a result of \textit{D. Jakubíková-Studenovská} [Math. Slovaca 30, No. 2, 197--206, (1980; Zbl 0439.08003)]. Let \(\kappa \) be a cardinal such that no inaccessible cardinal is smaller than or equal to \(\kappa \). It is proved that there exists a set \(H\) of monounary algebras such that \(\| H\| =\kappa \) and \(H\) is \(e\)-rigid. This result provides that there exists a set \(H\) of algebras of type \(\tau \) such that \(\| H\| =\kappa \) and \(H\) is \(e\)-rigid.