On exponentiation of \(n\)-ary hyperalgebras
type: Item
instance of: scholarly article
zbMATH Open document ID: 0997.08006
author: František Bednařík
author: Josef Šlapal
publication date: 2002-03-24T00:00:00Z
Mathematics Subject Classification ID: 08A99
Mathematics Subject Classification ID: 08C05
zbMATH DE Number: 1709156
zbMATH Keywords: \(n\)-ary hyperalgebras
zbMATH Keywords: exponentiation
MaRDI profile type: Publication
full work available at URL: dmgaa.1023
OpenAlex ID: W2315122971
DOI: 10.7151/DMGAA.1023
title: On exponentiation of \(n\)-ary hyperalgebras
published in: Discussiones Mathematicae. General Algebra and Applications
review text: For a positive integer \(n\), an \(n\)-ary hyperalgebra \(G\) is a pair \((X,p)\) where \(X\) is a set and \(p\) maps \(X^n\) to the set of non-empty subsets of \(X\). It is said to be medial if for any \(n\times n\) matrix\((x_{ij})\) over \(X\) we have \(p(p(x_{11},\dots,x_{1n}),\dots,p(x_{n1},\dots,x_{nn}))\subseteq p(x_1,\dots,x_n)\) whenever \(x_j\in p(x_{1j},\dots, x_{nj})\) for all \(j\). The first theorem shows that if \(G=(X,p)\), \(H=(Y,q)\) and \(G\) is medial, then there is a subhyperalgebra of the direct product \(G^Y\) whose carrier is Hom\((H,G)\). This subhyperalgebra is called the power of \(G\) and \(H\) and is denoted by \(G^H\). Properties of this power operation are studied, and the paper ends by considering links with category theory.
reviewed by: Sheila Oates-Williams
description: scientific article; zbMATH DE number 1709156