Globals of unary algebras (Q2643002): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 11:42, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Globals of unary algebras |
scientific article |
Statements
Globals of unary algebras (English)
0 references
6 September 2007
0 references
A biunary algebra is an algebra of type \((2,2)\). The global \(2^{\mathcal A}\) of an algebra \({\mathcal A}\) with base set \(A\) is an algebra of the same type as \({\mathcal A}\) with base set \(2^A\) and fundamental operations defined via the complex product. A class of algebras of the same type is called globally determined if \({\mathcal A},{\mathcal B}\in K\) and \(2^{\mathcal A}\cong 2^{\mathcal B}\) together imply \({\mathcal A}\cong{\mathcal B}\). It is proved that for \(n\in\{1,2,3,4,5,6,9\}\) the class of \(n\)-element binary algebras is globally determined, whereas for \(i\in\{7,8\}\) it is not.
0 references
biunary algebra
0 references
global
0 references
globally determined algebra
0 references
unary algebra
0 references
monounary algebra
0 references