此条目没有列出任何参考或来源。 (2024年6月16日) |
定义
有序交换群系指一对 ,其中 为交换群, 为其上的一个二元关系,且满足如下条件:
- 若 ,则 。
- 若 ,则 。
另一种等价的描述是:给定一个子集 ,使得 对加法封闭,且 。
若对于每个 都存在 使得 ,则称 满足阿基米德性质。
范例与基本性质
- 由上述公理可推出:对于每个 都有 。
- 都是有序交换群且满足阿基米德性质。
- 若 为有序交换群,则 配合其字典序也构成一个有序交换群。
- 满足阿基米德性质的充要条件是它可以嵌入 。
参见
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.