\(p\)-pseudosimple algebras (Q1317633)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(p\)-pseudosimple algebras |
scientific article |
Statements
\(p\)-pseudosimple algebras (English)
0 references
12 April 1994
0 references
An algebra \({\mathfrak A}\) is called simple if it has only two congruences, 0 and 1; it is called pseudosimple if for any of its congruences \(\mu\neq 1\), we have \({\mathfrak A}\cong {\mathfrak A}/\mu\); it is called quasisimple if for any of its congruences \(\mu\neq 1\), there exists \(\mu'\geq \mu\) with \({\mathfrak A}\cong {\mathfrak A}/\mu'\). The last two notions were studied by H. Andréka, J. Németi and A. G. Pinus, respectively. In this paper, the authors introduce the notion of \(p\)-pseudo-simplicity by the requirement that \({\mathfrak A}\cong {\mathfrak A}/\mu\) for all principal congruences \(\mu\) of \({\mathfrak A}\). This is a generalization of pseudo-simplicity which is independent of quasi-simplicity. The authors give some properties of this notion and in particular they prove that \({\mathfrak A}\) is \(p\)-pseudosimple iff any of its homomorphic images is an epilimit of some system of isomorphic copies of \({\mathfrak A}\).
0 references
congruences
0 references
pseudo-simplicity
0 references
quasi-simplicity
0 references