A k-algebra A is a (possibly noncommutative) ring with identity that is also a k-vector space, such that for α ∈ k and a,b ∈ A,
(1.1) α(ab) = (αa)b = a(αb).
Note that scalar commutes with ring elements.
Examples:
- Field extensions such as F/E.
- Polynomial ring k[X,Y,Z].
- Matrix Mnm(k) ring (under addition and multiplication) is k algebra. Here we can see that k can commute with elements of Mnm(k) but the ring multiplication is non-commutative.
- The set Homk(V,V) of k-linear maps of k vector spaces forms a k-algebra under addition and composition of linear maps.
Since center of H consists of real numbers, H is a R algebra.
Finite dimensional k algebra it is a finite dimensional vector space over k.
Note C is 2 dimensional over R etc.,
Bimodules
If R,S are two rings, an R−S bimodule is an abelian group (M,+) such that
- M is a left R module, and a right S module.
- for all r∈R, s∈S and m∈M \begin{equation}
\label{eq:rs}
(rm)s=r(ms)
\end{equation}
For positive intergers m,n, the set of n×m matrices Mnm(R). Here the R-module is n×n matrices Mnn(R). And the S-module is m×m matrices Mmm(R).
Addition and multiplication are carried out using the usual rules of matrix addition and matrix multiplication; the heights and widths of the matrices have been chosen so that multiplication is defined.
The crucial bimodule property, that (rx)s=r(xs), is the statement that multiplication of matrices is associative.
A ring R is a R−R module.
For M an S−R bimodule and N a R−T bimodule then M⊗N is a S−Tbimodule.
Bimodule homomorphism:
For M,N R−S bimodule, bimodule homomorphism f:M→N is an right R module homomorphism as well as an right S modules homomorphism.
An R−S bimodule is same as left module over ring R⊗ZSop where Sop is opposite ring of S. Note in opposite ring multiplication is performed in opposite direction of the original ring.
This caused me some confusion initially. Sop is a ring with multiplication reversed. Denote multiplication in the righ S by "." and opposite multiplication by "*". So, how does all this work to define a bimodule?
Lets look at R⊗ZSop operating on m∈M.
rs∗m=rm.s=(rm)s=r(ms)
Thus the definition is satisfied. Using R⊗ZSop is more nicer.
No comments:
Post a Comment