同型写像 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "同型写像" in Japanese language version.

refsWebsite

Global rank Japanese rank

2wikipedia.org

low place

2books.google.com

3^rd place

61^st place

1wiktionary.org

649^th place

352^nd place

books.google.com

Awodey, Steve (2006). “Isomorphisms”. Category theory. Oxford University Press. p. 11. ISBN 9780198568612
Vinberg, Ėrnest Borisovich (2003). A Course in Algebra. American Mathematical Society. p. 3. ISBN 9780821834138

wikipedia.org

en.wikipedia.org

注意深い読者は $A, B, C$ が慣習的な順序、すなわちアルファベット順であり、同様に $1, 2, 3$ も整数の順番だから、1つの特定の同型、すなわち
${\text{A}}\mapsto 1,{\text{B}}\mapsto 2,{\text{C}}\mapsto 3$
が「自然」だと思うかもしれない。より形式的には、集合としてはこれらは同型であるが、自然に同型ではない（同型写像の複数の選び方がある）。一方で、順序集合としては自然に同型である（上で与えられた一意的な同型写像がある）、なぜならば有限全順序（英語版）は濃度による一意的な同型を除いて一意的に決定されるからである。この直観は以下のように言うことで定式化できる。同じ濃度をもった任意の2つの有限全順序集合は次のような自然な同型を持つ。前者の最小元を後者の最小元に送り、前者の残りの最小元を後者の残りの最小元に送り、……。しかし一般には。与えられた有限濃度の集合の対は自然に同型ではない、なぜならば写像の選び方が1つよりも多くあるからだ――ただし濃度が 0 あるいは 1 のときは除く。このときは一意的な選択がある。
実は、2つの3元集合の間の異なる同型写像はちょうど $3! = 6$ 個ある。これは与えられた3元集合の自己同型の個数に等しく（そして3文字の対称群の位数に等しく）、一般に2つの対象の間の同型写像の集合 $Iso(A, B)$ は $A$ の自己同型群 $Aut(A)$ の torsor（英語版）であり $B$ の自己同型群の torsor でもある。実は、対象の自己同型は、この後述べるようにベクトル空間のその双対や二重双対との同一視における基底の変換の影響によって論証されるように、同型と等号を区別する主な理由である。

wiktionary.org

ja.wiktionary.org

from the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape"