• 検索結果がありません。

1. Rings and modules

N/A
N/A
Protected

Academic year: 2021

シェア "1. Rings and modules"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

1. Rings and modules

The notion of a module is a generalization of the familiar notion of a vector space. The generalization consists in that the scalars used for scalar multiplication are taken to be elements of a general ring. We first define rings.

Definition1.1. Aringis a triple (R,+,·) consisting of a setRand two maps + :R×R→Rand ·:R×R→Rthat satisfy the following axioms.

(A1) For alla, b, c∈R, a+ (b+c) = (a+b) +c.

(A2) There exists an element 0∈Rsuch that for alla∈R,a+ 0 =a= 0 +a.

(A3) For everya∈R, there existsb∈R such thata+b= 0 =b+a.

(A4) For alla, b∈R,a+b=b+a.

(P1) For alla, b, c∈R, a·(b·c) = (a·b)·c.

(P2) There exists an element 1∈R such that for alla∈R,a·1 =a= 1·a.

(D) For alla, b, c∈R,a·(b+c) = (a·b) + (a·c) and (a+b)·c= (a·c) + (b·c).

The ring (R,+,·) is calledcommutative if the following further axiom holds.

(P3) For alla, b∈R,ab=ba.

The axioms (A1)–(A4) and (P1)–(P2) express that (R,+) is an abelian group and that (R,·) is a monoid, respectively. The axiom (D) expresses that·distributes over +. We often suppress·and writeabinstead ofa·b. The zero element 0 which exist by axiom (A2) is unique. Indeed, if both 0 and 0 satisfy (A2), then

0 = 0 + 0= 0.

Moreover, for a givena∈R, the elementb∈Rsuch thata+b= 0 =b+awhich exists by (A3) is unique. Indeed, if bothb andb satisfy (A3), then

b=b+ 0 =b+ (a+b) = (b+a) +b= 0 +b=b.

We write −a instead of b for this element. Similarly, the element 1 ∈ R which exists by axiom (P2) is unique. We usuall abuse language and write R instead of (R,+,·).

Example1.2. (1) The ringZof integers. It is a commutative ring.

(2) The rings Q, R, and C of rational numbers, real numbers, and complex numbers respectively. These rings are all fields which mean that they are com- mutative, that 1 6= 0, and that for alla ∈Rr{0}, there exists b ∈ R such that ab= 1 =ba. This elementbis uniquely determined byaand is writtena−1.

(3) The ringZ/nZof integers modulon. It is a field if and only ifnis a prime number.

(4) The ringHof quarternions given by the set

H={a+bi+cj+dk|a, b, c, d∈R}

with addition + and multiplication·defined by (a+bi+cj+dk) + (a+bi+cj+dk)

= (a+a) + (b+b)i+ (c+c)j+ (d+d)k (a+bi+cj+dk)·(a+bi+cj+dk)

= (aa−bb−cc−dd) + (ab+ab+cd−dc)i + (ac+ac+db−bd)j+ (ad+ad+bc−bc)k

1

(2)

2

It is a division ring which means that 1 6= 0 and that for all a ∈Rr{0}, there exists b ∈R such that ab = 1 =ba. A field is a commutative division ring. The quartenionsHis not a commutative ring. For instance,ij=kbutji=−k.

(5) LetRbe a ring and. For every positive integern, the set ofn×n-matrices with entries inR equipped with matrix addition and matrix multiplication forms a ring Mn(R). The multiplicative unit element 1 ∈Mn(R) is the identity matrix and is usually writtenI. The ringMn(R) is not commutative except ifn= 1 and Ris commutative.

(6) The set C0(X,C) of continuous complex valued functions on a topological space X is a commutative ring under pointwise addition and multiplication. The multiplicative unit element 1∈C0(X,C) is the constant function with value 1∈C.

Definition1.3. LetRandS be rings. Aring homomorphism fromRtoS is a map for which the following (i)—(iii) hold.

(i) f(1) = 1

(ii) For alla, b∈R,f(a+b) =f(a) +f(b).

(iii) For alla, b∈R,f(a·b) =f(a)·f(b).

Exercise 1.4. Letf: R→S be a ring homomorphism. Show thatf(0) = 0 and that for alla∈R,f(−a) =−f(a).

Example 1.5. (1) For every ring R, the identity map id : R → R is a ring homomorphism. Moreover, iff:R →S and g: S →T are ring homomorphisms, then so is the composite mapg◦f:R→T.

(2) For every ring R, there is a unique ring homomorphism f: Z → R. We sometimes abuse notation and writen∈R for the image ofn∈Z.

(3) There is a ring homomorphismf:H→M4(R) determined by

f(a+bi+cj+dk) =

a −b −c −d b a −d c

c d a −b

d −c b a

(4) The canonical inclusions ofZinQ, ofQinR, ofRinC, and ofCin Hare all ring homomorphims.

Definition1.6. LetRbe a ring. AleftR-moduleis a triple (M,+,·) consisting of a set M and two maps + :M ×M →M and ·:R×M →M such that (M,+) satisfy the axioms (A1)–(A4) and such that the following additional axioms hold.

(M1) For alla, b∈Randx∈M,a·(b·x) = (a·b)·x.

(M2) For alla∈Randx, y∈M,a·(x+y) = (a·x) + (b·y).

(M3) For alla, b∈Randx∈M, (a+b)·x= (a·x) + (b·x).

(M4) For allx∈M, 1·x=x.

The notion of a rightR-module is defined analogously.

Example1.7. (1) The ringR is both a leftR-module and a rightR-module.

(2) The set Rn considered as the set of “n-dimensional column vectors” is a left Mn(R)-module and considered as the set of “n-dimensional row vectors” is a rightMn(R)-module.

(3) Letnbe a positive integer, letdbe a divisor inn, and define

·:Z/nZ×Z/dZ→Z/dZ

by (a+nZ)·(x+dZ) =ax+dZ. This makesZ/dZa leftZ/nZ-module.

(3)

3

Definition 1.8. LetRbe a ring and letM a leftR-module.

(1) Alinear combination ofX ⊂M is a sum of the form a1x1+a2x2+· · ·+anxn

witha1, . . . , an∈R andx1, . . . , xn ∈X.

(2) The subsetX ⊂M generatesM if everyy∈M can be written as a linear combinationy=a1x1+a2x2+· · ·+anxn ofX.

(3) The subset X ⊂M islinearly independent if for the linear combination a1x1+a2x2+· · ·+anxn to equal 0 implies that a1, . . . , an are all zero.

(4) The subsetX ⊂M is abasisif it generatesM and is linearly independent.

(5) The moduleM isfree if it admits a basis.

Example1.9. (1) The leftZ/6Z-moduleZ/2Zin Example 1.7 (3) is not a free module. The subset X ={1 + 2Z} ⊂Z/2Z generatesZ/2Z but it is not linearly independent. Indeed, (2 + 6Z)·(1 + 2Z) = 2 + 2Z is zero in Z/2Z, but 2 + 6Zis not zero inZ/6Z.

(2) LetMbe a leftR-module. The empty subset∅ ⊂M is linearly independent and the whole subsetM ⊂M generatesM.

Theorem 1.10. Every left module over a division ring is free. More precisely, given two subsets X ⊂Y ⊂M such thatX is linearly independent and such that Y generates M, there exists a basis B⊂M with X ⊂B ⊂Y.

Proof. LetS be the set that consists of all subsets Z ⊂M that are linearly independent and satisfy X ⊂Z ⊂Y. We will use Zorn’s lemma to prove that S has a maximal element. To this end, we must verify the following (i)–(ii).

(i) The setS is non-empty.

(ii) Every to subsetT ⊂S which is totally ordered with respect to inclusion has an upper bound inS.

Now, sinceX ∈S, we conclude that (i) holds. To verify (ii), letT ⊂S be a totally ordered subset ofS. ThenZT =S

ZTZ is a linearly independent subset ofM and X ⊂ZT ⊂Y. So ZT ∈S and for allZ ∈T,Z ⊂ZT which proves (ii). By Zorn’s lemma,S has a maximal elementB. SinceB∈S,B⊂M is linearly independent andX⊂B⊂Y. We show thatBgeneratesM. If not, there existsy∈Y which is not a linear combination of elements inB. We claim thatB∪ {y} ⊂M is linearly independent. Indeed, suppose

a1x1+· · ·+anxn+ay= 0 witha1, . . . , an, a∈Randx1, . . . , xn∈B. Thena= 0 or else

y=−a−1(a1x1+· · ·+anxn)

which contradicts thatyis not a linear combination of elements ofB. (Here we have used the assumption that R is a division ring.) Since B is linearly independent, we further have a1 =· · ·=an = 0. This proves the claim thatB∪ {y} is linearly indenpent. ThusB∪{y} ∈Swhich contradicts thatB∈Sis the maximal element.

This shows that BgeneratesM, and hence, is a basis as desired.

Definition1.11. A left module over a division ring is called aleft vector space.

Remark1.12. LetM be a left vector space over the division ringR. One may show that the cardinality of a basisB⊂M depends only onM and not onB. This

(4)

4

cardinality is called thedimension ofM. For a general ringR, two different bases of the same free leftR-moduleM do not necessarily have the same cardinality.

Exercise1.13. The formula

(a+bi+cj+dk)·

 x1 x2 x3 x3

=

a −b −c −d b a −d c

c d a −b

d −c b a

 x1 x2 x3 x3

defines a leftH-vector space structure onR4. Show that a subsetB⊂R4is a basis of this leftH-vector space if and only ifB consists of a single non-zero vector.

参照

関連したドキュメント

The Malcev structure of an alternative ring is defined by introducing the com- mutator of two elements as a new multiplication [2].. This is a natural generalization of the

If we want to use certain ring constructions in combinatorial applications of finite rings, then a natural question arises of when a ring construction is a principal ideal ring..

An analogue of the Kunz–Frobenius criterion for the re- gularity of a local ring in a positive characteristic is established for general commutative semigroup rings.. Let S be