作用 (数学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』

作用（さよう、action, operation）は、代数系にその上の変換写像の集まりを代数的構造として考え合わせたもの。

[編集] 定義

台集合が A である代数系の上の作用素（さようそ、operator）とは、集合 A 上の変換 θ: A → A のことである。文字の集合 Ω を与え、Ω の異なる文字が同じ作用素を与えることも許して、Ω から代数系 A 上の作用素族（これをここでは仮に Trans(A) と記す）への写像

$\sigma\colon \Omega \to \mathrm{Trans}(A);\ \omega \mapsto \sigma(\omega)$

を与えたとき、集合 Ω は代数系 A に作用 (act, operate) する、代数系 A に集合 Ω の作用が定められる、A は Ω-代数系であるなどといい、Ω を A の作用域（さよういき、operation domain）あるいは作用団と呼ぶ。また、作用域 Ω, 写像 σ, 台となる代数系 A の組 (σ, Ω, A) あるいは単に写像 σ のことを指して Ω の A への作用 (action) と呼ぶこともある。文字 ω が作用 σ によって A に定める作用素 σ(ω) は、しばしば（作用 σ を省略して）もとの文字と同じく ω で表される。

[編集] 左右の区別

A の元 a の作用素 θ による像は左記法に従って θ(a), θa, ^θa あるいは右記法に従って (a)θ, aθ, a^θ などで表される。

$\theta\colon A \to A;\ a \mapsto \theta(a).$

$\theta\colon A \to A;\ a \mapsto a^\theta.$

作用素の像の記法の左右の区別によって、作用域 Ω の代数系 A へ作用の左右を定める。Ω の A への左からの作用 σ が与えられることと、たとえば写像

$\Omega \times A \to A;\ (\omega,a) \mapsto \sigma(\omega)a$

を与えることとは等価である。σ が右作用の場合は

$A \times \Omega \to A;\ (a, \omega) \mapsto a^{\sigma(\omega)}$

などに等価である。作用域が非可換な積をもつ代数系をなすとき、その構造と表現に関して作用の左右が特に意識的に区別を受けるが、一方で（積の順序をひっくりかえすことによって定まる）逆代数系の概念により左右が包摂され、一般論を論じる際には片方（多くの場合に左作用）のみを扱っていることも少なくない。

[編集] 構造と作用

代数系は構造としての算法の族をもち、その上の写像としては構造との親和性の良い準同型と呼ばれるものが特に重要であるから、作用素としてもそのようなものを扱うのが通例である。例えばとくに何の演算をも持たない代数系 E を考えればそれはただの集合（もちろんその集合が代数的構造以外の数学的構造を持っていてもよい）であり、その上の準同型は単なる写像である。写像として特に E 上の置換すなわち E から E 全単射を考え、その全体を Aut(E) と記せば、Aut(E) は写像の合成を唯一の演算として群となる。このとき、別の群 G を与え、写像

$\rho\colon G \to \mathrm{Aut}(E)$

が特に群準同型であるものを考えることにより、群 G の集合 E への群作用（ぐんさよう、group action）が定義される。これは単に集合 E に集合 G の作用が定まるということよりも強い制限である。同様にして、代数系 A 上の変換族 Trans(A) がまた新たな代数系をなしているとき、Trans(A) と準同型なる代数系 U に対してのみ U の A への作用というもの考えることもしばしばである。とくに、加群 M の自己準同型の全体 End(M) は環の構造を持つから、勝手な環 R から環準同型 π: R → End(M) によって環 R から加群 M への環作用（かんさよう、ring action）が定義される。このとき、作用域である環 R を特に M の係数環（けいすうかん）と呼び、係数環 R の元を係数と呼ぶ。

[編集] 作用準同型

同種の算法族 R が構造を定める代数系 A, B とその間の準同型 f: A → B を考える。また、A, B が同じ作用域 Λ を持ち、Λ の作用が (π_A, Λ, A), (π_B, Λ, B) であたえられているとする。準同型 f が写像として

$f \circ \pi_A(\lambda) = \pi_B(\lambda) \circ f$

を任意の λ に対して満たすならば、準同型 f: A → B は Λ の作用込みの準同型であるという。簡単に作用準同型とか Λ-準同型などとも呼ぶ。

Λ の作用が A, B ともに右から与えられているとき、A → B が Λ-準同型である条件は

$f(x^{\pi_A(\lambda)}) = f(x)^{\pi_B(\lambda)}$

を Λ の任意の元 λ と A の任意の元 x に対して満たすことであり、ともに左作用ならば

f (π A (λ) x) = π B (λ) f (x)

を Λ の任意の元 λ と A の任意の元 x に対して満たすことと述べられる。一方が左からで他方が右からの場合でも同様に書ける。また、作用を省略して書けば

$f \circ \lambda = \lambda \circ f$

が成り立つこととなり、写像の合成を二項演算とみなす立場から、この条件は「f が Λ の作用と可換であること」と述べられる。

また、Λ-準同型 f: A → B に対して、像

$\mathrm{Im}(f) := \{ f(a) \in B \mid a \in A\}$

は B の部分代数系であるばかりでなく、Λ-代数系としての部分系（Λ-部分代数系あるいは部分 Λ-代数系とよぶ）である。このことを指して、Λ-準同型は Λ-代数系の構造を保つという。またこのことは、代数系 (A, R) から、その上の作用を単項演算族とみなして S = R ∪ {π_A(λ) | λ ∈ Λ} とおくことにより、新たな代数系として (A, S) = (A, R, (π_A, Λ)) を考えるならば、通常の意味で代数系の構造を保つということおよび準同型を考えるということに同じである。