Abstract

The paper describes equivalent conditions under which an arbitrary unary algebra has no proper subalgebras. An algorithm for checking the absence of subalgebras or for finding proper subalgebras and their generators in a given unary algebra whose carrier and signature are finite is proposed.

中文翻译：

---

没有适当子代数的一元代数

摘要

本文描述了在等价条件下任意一元代数没有合适的子代数的情况。提出了一种在子载波和签名是有限的给定一元代数中检查子代数是否不存在或寻找合适的子代数及其生成器的算法。