Topological Birkhoff
Topological Birkhoff
复制标题
拓扑伯克夫
DOI:
10.1090/s0002-9947-2014-05975-8
复制
发表时间:
2012
期刊:
影响因子:
--
通讯作者:
M. Pinsker
中科院分区:
文献类型:
--
作者:
M. Bodirsky;M. Pinsker
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a homomorphic image of a subalgebra of a finite power of A. On the other hand, if A is infinite, then in general one needs to take an infinite power in order to obtain a representation of B in terms of A, even