设 为一个无限的 原元素 集合,设
为 超结构
的一个 扩张。设
为具有有限多个运算的有限代数,设
和
为它们在
中的 扩张单子。设
为一个同态。那么
是内部可扩展的,当且仅当存在一个
的内部子代数
,它包含
,并且存在一个 同态
使得如果
,则
。
对于一个同态 ,以下是等价的
1. 是内部可扩展的,且
是
的一个子代数,
2. 对于某个同态 ,
是
到
的限制。
设 为一个无限的 原元素 集合,设
为 超结构
的一个 扩张。设
为具有有限多个运算的有限代数,设
和
为它们在
中的 扩张单子。设
为一个同态。那么
是内部可扩展的,当且仅当存在一个
的内部子代数
,它包含
,并且存在一个 同态
使得如果
,则
。
对于一个同态 ,以下是等价的
1. 是内部可扩展的,且
是
的一个子代数,
2. 对于某个同态 ,
是
到
的限制。
此条目由 Matt Insall 贡献 (作者链接)
Insall, Matt. “内部可扩展同态。” 来自 Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/InternallyExtendableHomomorphism.html