User:Th33407/sandbox

This is the user sandbox of Th33407. A user sandbox is a subpage of the user's user page. It serves as a testing spot and page development space for the user and is not an encyclopedia article. Create or edit your own sandbox here. Other sandboxes: Main sandbox | Template sandbox Finished writing a draft article? Are you ready to request review of it by an experienced editor for possible inclusion in Wikipedia? Submit your draft for review!

Difference algebra is a branch of

A difference ring is a commutative ring ${\displaystyle R}$ together with a ring endomorphism ${\displaystyle \sigma \colon R\to R}$. Often it is assumed that ${\displaystyle \sigma }$ is injective. When ${\displaystyle R}$ is a field one speaks of a difference field. A classical example of a difference field is the field ${\displaystyle K=\mathbb {C} (x)}$ of rational functions with the difference operator ${\displaystyle \sigma }$ given by ${\displaystyle \sigma (f(x))=f(x+1)}$. The role of difference rings in difference algebra is similar to the role of commutative rings in commutative algebra and algebraic geometry. A morphism of difference rings is a morphism of rings that commutes with ${\displaystyle \sigma }$. A difference algebra over a difference field ${\displaystyle K}$ is a difference ring ${\displaystyle R}$ with a ${\displaystyle K}$-algebra structure such that ${\displaystyle K\to R}$ is a morphism of difference rings, i.e. ${\displaystyle \sigma \colon R\to R}$ extends ${\displaystyle \sigma \colon K\to K}$. A difference algebra which is a field is called a difference field extension.

Algebraic difference equations

The difference polynomial ring ${\displaystyle K\{y\}=K\{y_{1},\ldots ,y_{n}\}}$ over a difference field ${\displaystyle K}$ in the (difference) variables ${\displaystyle y_{1},\ldots ,y_{n}}$ is the polynomial ring over ${\displaystyle K}$ in the infinitely many variables ${\displaystyle \sigma ^{i}(y_{j}),\ (i\in \mathbb {N} ,1\leq j\leq n)}$. It becomes a difference algebra over ${\displaystyle K}$ by extending ${\displaystyle \sigma }$ from ${\displaystyle K}$ to ${\displaystyle K\{y\}}$ as suggested by the naming of the variables.

By a system of algebraic difference equations over ${\displaystyle K}$ one means any subset ${\displaystyle F}$ of ${\displaystyle K\{y\}}$. If ${\displaystyle R}$ is a difference algebra over ${\displaystyle K}$ the solutions of ${\displaystyle F}$ in ${\displaystyle R}$ are

${\displaystyle \mathbb {V} _{R}(F)=\{a\in R^{n}|\ f(a)=0{\text{ for all }}f\in F\}.}$

Classically one is mainly interested in solutions in difference field extensions of ${\displaystyle K}$. For example, if ${\displaystyle K=\mathbb {C} (x)}$ and ${\displaystyle R}$ is the field of meromorphic functions on ${\displaystyle \mathbb {C} }$ with difference operator ${\displaystyle \sigma }$ given by ${\displaystyle \sigma (f(x))=f(x+1)}$, then the fact that the gamma function ${\displaystyle \Gamma }$ satisfies the functional equation ${\displaystyle \Gamma (x+1)=x\Gamma (x)}$ can be restated abstractly as ${\displaystyle \Gamma \in \mathbb {V} _{R}(x\sigma (y_{1})-y_{1})}$.

Difference varieties

Intuitively, a difference variety over a difference field ${\displaystyle K}$ is the set of solutions of a system of algebraic difference equations over ${\displaystyle K}$. This definition has to be made more precise by specifying where one is looking for the solutions. Usually one is looking for solutions in the so-called universal family of difference field extensions of ${\displaystyle K}$. ^{[1] [2]} Alternatively, one may define a difference variety as a functor from the category of difference field extensions of ${\displaystyle K}$ to the category of sets, which is of the form ${\displaystyle R\rightsquigarrow \mathbb {V} _{R}(F)}$ for some ${\displaystyle F\subset K\{y\}.}$.

There is a one-to-one correspondence between the difference varieties defined by algebraic difference equations in the variables ${\displaystyle y_{1},\ldots ,y_{n}}$ and certain ideals in ${\displaystyle K\{y\}}$, namely the perfect difference ideals of ${\displaystyle K\{y\}}$. ^[3] One of the basic theorems in difference algebra asserts that every ascending chain of perfect difference ideals in ${\displaystyle K\{y\}}$ is finite. This result can be seen as a difference analog of Hilbert's basis theorem.

Applications

Difference algebra is related to many other mathematical areas, such as discrete dynamical systems, combinatorics, number theory or model theory. While some real life problems, such as population dynamics, can be modeled by algebraic difference equations, difference algebra also has applications in pure mathematics. For example, there is a proof of the

References

• Alexander Levin (2008), Difference algebra, Springer,
  ISBN 978-1-4020-6946-8
• Richard M. Cohn (1979), Difference algebra, R.E. Krieger Pub. Co.,
  ISBN 978-0-88275-651-6

External links

• Wibmer, Michael (2013). Lecture Notes - Algebraic difference equations (PDF). pp. 80 pages.
• The home page of Zoé Chatzidakis has several online surveys discussing (the model theory of) difference fields.

See also

• Finite difference
• Recurrence relation
• Functional equation
• Differential algebra

This algebra-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e

Category:Algebras