Math 2.0

Associative rings and algebras Definition

Serial ring

Builds on RingUniserial moduleModule over a ring

Definition

Let RR be a ring with identity. A right RR-module is serial if it is a direct sum of uniserial modules. The ring RR is right serial if the right module RRR_R is serial. It is left serial if the left module RR{}_R R is serial. It is serial if it is both right serial and left serial.

Remarks

Example: let kk be a field and R=k[x]/(xn)R = k[x]/(x^n) with n≥1n \ge 1. Its ideals are the ideals (xi)/(xn)(x^i)/(x^n) for 0≤i≤n0 \le i \le n, and they form a chain. So RR is uniserial over itself on both sides, and RR is serial.

Non-example: let R=k[x,y]/(x,y)2R = k[x, y]/(x, y)^2. This is a local ring, so RR has no idempotents other than 00 and 11, and RR is indecomposable as a module over itself. If it were serial, it would therefore be uniserial. But the ideals (x)(x) and (y)(y) of RR are not comparable, so RR is not serial.

Equivalently, RR is right serial when R=e1R⊕⋯⊕emRR = e_1 R \oplus \cdots \oplus e_m R for some orthogonal idempotents e1,…,eme_1, \dots, e_m with each eiRe_i R uniserial, since a direct summand of RRR_R has the form eReR for an idempotent ee. A finite-dimensional serial algebra over a field is also called a Nakayama algebra.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Module over a ring concept
  2. Ring concept
  3. Uniserial module concept
  4. Serial ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Serial_module
About this page
Tag249ZVY6WK3
URIm2://249ZVY6WK3
Kinddefinition
WritingW0 stub
MSC16P70, 16L30, 16G10
DefinesSerial ring
UsesRing, Uniserial module, Module over a ring

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.