In algebra, an Artin algebra is an algebra ÃÂ over a commutative Artin ring R that is a finitely generated R-module. They are named after Emil Artin.
Every Artin algebra is an Artin ring.
Dual and transpose
There are several different dualities taking finitely generated modules over ÃÂ to modules over the opposite algebra ÃÂ<sup>op</sup>.
- If M is a left ÃÂ-module then the right ÃÂ-module M<sup>*</sup> is defined to be Hom<sub>ÃÂ</sub>(M,ÃÂ).
- The dual D(M) of a left ÃÂ-module M is the right ÃÂ-module D(M) = Hom<sub>R</sub>(M,J), where J is the dualizing module of R, equal to the sum of the injective envelopes of the non-isomorphic simple R-modules or equivalently the injective envelope of R/rad R. The dual of a left module over ÃÂ does not depend on the choice of R (up to isomorphism).
- The transpose Tr(M) of a left ÃÂ-module M is a right ÃÂ-module defined to be the cokernel of the map Q<sup>*</sup> â P<sup>*</sup>, where P â Q â M â 0 is a minimal projective presentation of M.
See also
References