Incidence Algebra - Special Elements

Special Elements

The multiplicative identity element of the incidence algebra is the delta function, defined by

\delta(a, b) = \begin{cases} 1 & \text{if } a=b \\ 0 & \text{if } a<b. \end{cases}

The zeta function of an incidence algebra is the constant function ζ(a, b) = 1 for every interval . Multiplying by ζ is analogous to integration.

One can show that ζ is invertible in the incidence algebra (with respect to the convolution defined above). (Generally, a member h of the incidence algebra is invertible if and only if h(x, x) is invertible for every x.) The multiplicative inverse of the zeta function is the Möbius function μ(a, b); every value of μ(a, b) is an integral multiple of 1 in the base ring.

The Möbius function can also be defined directly, by the following relation:

\mu(x,y) = \begin{cases} {}\qquad 1 & \textrm{if}\quad x = y\\ \displaystyle -\sum_{z : x\leq z <y} \mu(x,z) & \textrm{for} \quad x<y \\ {}\qquad 0 & \textrm{otherwise}. \end{cases}

Multiplying by μ is analogous to differentiation, and is called Möbius inversion.

Read more about this topic:  Incidence Algebra

Famous quotes containing the words special and/or elements:

    “I don’t like to be idle; in fact, I often feel somewhat guilty unless there is some purpose to what I am doing. But spending a few hours—or a few days—in the woods, swamps or alongside a stream has never seemed to me a waste of time.... I derive special benefit from a period of solitude.”
    —Jimmy Carter (James Earl Carter, Jr.)

    “In spite of all their kind some elements of worth
    With difficulty persist here and there on earth.”
    —Hugh MacDiarmid (1892–1978)