6533b7d9fe1ef96bd126c09e

RESEARCH PRODUCT

On many-sorted algebraic closure operators

Juan Soliveres TurJuan Climent Vidal

subject

Algebraic cycleDiscrete mathematicsGeneral MathematicsAlgebraic surfaceReal algebraic geometryAlgebraic extensionDimension of an algebraic varietyAlgebraic functionOperator theoryAlgebraic closureMathematics

description

A theorem of Birkhoff-Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many-sorted sets, i.e., indexed families of sets, such a theorem is not longer true without qualification. We characterize the corresponding many-sorted closure operators as precisely the uniform algebraic operators. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

https://doi.org/10.1002/mana.200310146