超積
数理論理学のとくにモデル理論、あるいは普遍代数学における超積（ちょうせき、英: ultraproduct）は、同じシグネチャの数学的構造からなる族の直積の適当な商構造をとる数学的構成を言う。 任意の直積因子が等しい特別の場合として、超冪（ちょうべき、英: ultrapower）がある。
数理論理学のとくにモデル理論、あるいは普遍代数学における超積（ちょうせき、英: ultraproduct）は、同じシグネチャの数学的構造からなる族の直積の適当な商構造をとる数学的構成を言う。 任意の直積因子が等しい特別の場合として、超冪（ちょうべき、英: ultrapower）がある。
数理論理学のとくにモデル理論、あるいは普遍代数学における超積（ちょうせき、英: ultraproduct）は、同じシグネチャの数学的構造からなる族の直積の適当な商構造をとる数学的構成を言う。 任意の直積因子が等しい特別の場合として、超冪（ちょうべき、英: ultrapower）がある。
出典: Wikipedia「超積」 · CC BY-SA 4.0
この記事を共有: X · Bluesky