Loading [MathJax]/jax/output/HTML-CSS/jax.js

Friday, July 31, 2020

K-Algebras and Bimodules

K-algebras
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 RS bimodule is an abelian group (M,+) such that

  • M is a left R module, and a right S module.
  • for all rR, sS and mM \begin{equation}
    \label{eq:rs}
    (rm)s=r(ms)
    \end{equation}
An RR bimodule is known as Rbimodule.

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 RR module.

For M an SR bimodule and N a RT bimodule then MN is a STbimodule.

Bimodule homomorphism:

For M,N RS bimodule, bimodule homomorphism f:MN is an right R module homomorphism as well as an right S modules homomorphism.

An RS bimodule is same as left module over ring RZSop 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 RZSop operating on mM.
rsm=rm.s=(rm)s=r(ms)
Thus the definition is satisfied. Using RZSop is more nicer.

No comments:

Post a Comment

Chain complexes on Hilbert spaces

 Chain complexes are mathematical structures used extensively in algebraic topology, homological algebra, and other areas of mathematics. Th...