代数学総合スレッド Part4at MATH代数学総合スレッド Part4 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト50:１３２人目の素数さん 07/10/04 22:00:30 >>48 > ベキ乗は準同型の値として > 扱わなければならないのですか.....。 多分まだ勘違いしてるんじゃないか？半群のときもモノイドのときも同じだよ。 M が半群であるときには、1 → id_M なる対応から生成される 表現 ρ: N → T(M) (T(M) は M 上の全変換半群) を考えるのが “自然”（関手的）で、我々は普段ソレを冪乗と呼んでいる というだけで、そう「扱わなければいけない」のではないよ。 つまり、x^1 = x や x^0 = 1 とおくようなことは、便宜上の規約。 51:１３２人目の素数さん 07/10/04 22:16:47 >>45 恐れいりました。 プロの方かな…。 52:45 07/10/04 22:22:27 >>51 残念、<del>私のおいなりさんだ</del>学部をお情けで 卒業させてもらった事にすらも気付かずに、働くことから 逃げるために院に進んで、案の定、修士の時点で挫折して 社会の最底辺に落ちこぼれたゴミが俺だ。 53:１３２人目の素数さん 07/10/05 02:02:36 >>45 >>50 >>30 = >>38です。 > ベキ乗は準同型の値として > 扱わなければならないのですか.....。 この部分は私の表現がおかしいです。 >多分まだ勘違いしてるんじゃないか？ >半群のときもモノイドのときも同じだよ。 そうでしたっけ？ 以前、共立の「半群論」 を途中まで読んだことがありますが、 確かこの本ではベキ乗をg^n と書くようことから 議論が始まったと思います。 そして主に半群から群への準同型 などが書いてあったと思いますが、 その他の種類の準同型や表現 は書いてあったか否か 定かではありません。 このあたりは記憶が曖昧だったりして、 私の勉強不足です。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch