群環の一般的な定義とは?
(R,+,・)を可換環(単位的環とは限らない),(G,*)を半群(一般的に群ではなく半群とする)とすると,GにはR左加群が定義できる。
次に,時,A≠φを集合とし単射f:G→Aに於いて,
☆:f(A)×f(A)→f(A)をf(x)☆f(y):=f(x*y)と定義し,
∀r,s,t∈R,∀f(x),f(y),f(z)∈f(G)に対して,
(s・f(x))☆f(y)=s・(f(x)☆f(y))=f(x)☆(s・f(y))と定義する。
この時,(A,☆)はR上の多元環になる。
この時の(A,☆)をGのR上の群環と呼び,R[G]と書く。
と解釈したのですが某書に「R[G]は厳密にはGからRへの写像全体として定義される」
と載っていたのですがこれはどういう事でしょうか?
R[G]の定義はR[G]:={f;Aは集合,f:G→Aは単射,多元環を満たす写像☆が存在する}とも解釈してみたのですが。。。