英文
representation of a Boolean algebra
简介
布尔代数A到幂集代数内的一个单一同态.设A是一个布尔代数，e：A→P(X)是A到幂集代数P(X)的单一同态.则称该同态为布尔代数A的一个表示.表示e：A→P(X)称为约化的，是指e[A]分离X的点，即如果x，y是X的不同点，那么存在a∈A，使得x∈e(a)并且y∉ e(a).表示e称为完美的，是指对A的每一个超滤子p，存在X的一个点x，使得对所有a∈A，a∈p，当且仅当x∈e(a).任一表示e：A→P(X)可以诱导出一个映射φ：X→Ult A，φ(x)={a∈A｜x∈e(a)}.e是约化的，当且仅当φ是单射;e是完美的，当且仅当φ是满射.这里Ult A是A上一切超滤子所构成的集合.