symmetric monoidal (∞,1)-category of spectra
A ring is said to be an Artinian ring if it satisfies the descending chain condition on ideals.
Depending whether this condition is satisfied by left ideals, right ideals or two-sided ideals, one speaks of left Artinian, right Artinian, or two-sided Artinian rings, respectively. Clearly, in the context of commutative algebra all these notions coincide.
A local Artin algebra with residue field is a finitely generated -algebra , which is a commutative Artin ring (with unit) with a unique maximal ideal , such that the residue field is . As a vector space one has a splitting . Moreover, the descending chain condition implies that for some . This is a consequence of Nakayama lemma?.
A classical example is the ring of dual numbers over a field .
Passing from commutative rings to their spectra (in the sense of algebraic geometry), local Artin algebras correspond to infinitesimal pointed spaces. As such, they appear as bases of deformations in infinitesimal deformation theory. For instance is the base space for 1-dimensional first order deformations. Similarly, is the base space for 1-dimensional -th order deformations.
Note that, since a local Artin algebra has a unique prime ideal, its spectrum consists of a single point, i.e., is trivial as a topological space. It is however non-trivial as a ringed space, since its ring of functions is . By this reason spectra of Artin algebras are occasionally called fat points in the literature.
Local Artin -algebras are discussed in