原群, 英語, magma, 是抽象代數领域中一種基本代數結構, 定义为一個集合和这个集合上满足封閉性的一个二元運算, 对于集合m, displaystyle, 和m, displaystyle, 上的一个二元运算, displaystyle, bullet, 若满足m, displaystyle, 中的任意两个元素经过, displaystyle, bullet, 作用, 得到的结果仍在m, displaystyle, 则称它们构成一个, 记作, displaystyle, bullet, 目录, 類型, 的態射. 原群 英語 Magma 是抽象代數领域中一種基本代數結構 原群定义为一個集合和这个集合上满足封閉性的一个二元運算 即 对于集合M displaystyle M 和M displaystyle M 上的一个二元运算 displaystyle bullet 若满足M displaystyle M 中的任意两个元素经过 displaystyle bullet 作用 得到的结果仍在M displaystyle M 中 则称它们构成一个原群 记作 M displaystyle M bullet 目录 1 類型 2 原群的態射 3 自由原群 4 另見 5 參考文獻類型 编辑類似群的結構完全性 結合律 單位元 除法群 是 是 是 是幺半群 是 是 是 否半群 是 是 否 否環群 是 否 是 是擬群 是 否 否 是原群 是 否 否 否廣群 否 是 是 是範疇 否 是 是 否通常 人们不研究原群 而是研究对原群添加约束而引申的各类群 包括 擬群 可除總是可能的非空原群 環群 有單位元的擬群 半群 運算為可結合的原群 幺半群 有單位元的半群 群 有逆元的幺半群 或等價地說 可結合的環群 阿貝爾群 運算為可交換的群 從原群到群有兩條不同的路 注意 可除性和可逆性兩者意指著消去性的存在 原群的態射 编辑原群的態射是一個函數 f M N displaystyle f M to N 將原群 M 映射至原群 N 上 並保留其二元運算 f x M y f x N f y displaystyle f x M y f x N f y 其中的 M displaystyle M 和 N displaystyle N 分別代表著在 M 和 N 上的二元運算 自由原群 编辑在一集合 X 上的自由原群 M X displaystyle M X 是指由集合 X 產生出的 最一般可能的 自由原群 並沒有任何的關係或公理在產生子上 詳見自由對象 自由原群可以用計算機科學中熟悉的詞彙來描述 如同其樹葉被 X 內的元素標示的二元樹的原群 其運算是將樹在樹根上連結 因此 自由原群在句法學中有著很基本的重要性 自由原群有個泛性質 其內容為 若 f X N displaystyle f X to N 是一個從集合 X 映射至任一原群 N 的函數 則會存在唯一一個 f displaystyle f 至原群態射 f displaystyle f prime 的擴張 其中 f M X N displaystyle f prime M X to N 另見 编辑自由半群 自由群 自由李群參考文獻 编辑M Hazewinkel Magma Hazewinkel Michiel 编 数学百科全书 Springer 2001 ISBN 978 1 55608 010 4 M Hazewinkel Free magma Hazewinkel Michiel 编 数学百科全书 Springer 2001 ISBN 978 1 55608 010 4 埃里克 韦斯坦因 Groupoid MathWorld 取自 https zh wikipedia org w index php title 原群 amp oldid 70025178, 维基百科,wiki,书籍,书籍,图书馆,