background image

6. DIRECT PRODUCTS

34

that is (for every

y

)

(

f

1

×

(

D

)

f

2

)

Y y

v

(

X

1

×

(

C

)

X

2

)(

f

1

×

(

D

)

f

2

)

y.

Really, (

f

1

×

(

D

)

f

2

)

Y y

=

f

1

Y y

×

FCD

f

2

Y y

;

(

X

1

×

(

C

)

X

2

)(

f

1

×

(

D

)

f

2

)

y

= (

X

1

×

(

C

)

X

2

)(

f

1

y

×

FCD

f

2

y

) =

X

1

f

1

y

×

FCD

X

2

f

2

y

;

but it is easy to show

f

1

Y y

×

FCD

f

2

Y y

v

X

1

f

1

y

×

FCD

X

2

f

2

y

.

??
I define ??

FiXme

: Prove that it is a direct product in

contFcd

.