Differential ring: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
m (→‎Examples: typo)
imported>Jitse Niesen
(use \cdot for multiplication)
 
(3 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{subpages}}
In [[ring theory]], a '''differential ring''' is a [[ring (mathematics)|ring]] with added structure which generalises the concept of [[derivative]].   
In [[ring theory]], a '''differential ring''' is a [[ring (mathematics)|ring]] with added structure which generalises the concept of [[derivative]].   


Formally, a differential ring is a ring ''R'' with an operation ''D'' on ''R'' which is a [[derivation]]:
Formally, a differential ring is a ring ''R'' with an operation ''D'' on ''R'' which is a [[derivation (mathematics)|derivation]]:


:<math>D(a+b) = D(a) + D(b) ,\,</math>
:<math>D(a+b) = D(a) + D(b) ,\,</math>
:<math>D(a.b) = D(a).b + a.D(b) . \,</math>
:<math>D(a \cdot b) = D(a) \cdot b + a \cdot D(b) . \,</math>


==Examples==
==Examples==
* Every ring is a differential ring with the zero map as derivation.
* Every ring is a differential ring with the zero map as derivation.
* The [[formal derivative]] makes the polynomial ring ''R''[''X''] over ''R'' a differential ring with
* The [[formal derivative]] makes the polynomial ring ''R''[''X''] over ''R'' a differential ring with
:<math>D(X^n) = n.X^{n-1} ;\,</math>
::<math>D(X^n) = nX^{n-1} ,\,</math>
:<math>D(r) = 0 \mbox{ for } r \in R.\,</math>
::<math>D(r) = 0 \mbox{ for } r \in R.\,</math>


==Ideals==
==Ideal==
A ''differential ring homomorphism'' is a ring homomorphism ''f'' from differential ring (''R'',''D'') to (''S'',''d'') such that ''f''.''D'' = ''d''.''f''.  A ''differential ideal'' is an ideal ''I'' of ''R'' such that ''D''(''I'') is contained in ''I''.
A ''differential ring homomorphism'' is a ring homomorphism ''f'' from differential ring (''R'',''D'') to (''S'',''d'') such that ''f''&middot;''D'' = ''d''&middot;''f''.  A ''differential ideal'' is an ideal ''I'' of ''R'' such that ''D''(''I'') is contained in ''I''.
 
==References==
* {{cite book | title=Lectures on Differential Galois Theory | author=Andy R. Magid | publisher=AMS Bookstore | year=1994 | isbn=0-8218-7004-1 | pages=1-2 }}
* {{cite book | author=Bruno Poizat | title=Model Theory | publisher=[[Springer Verlag]] | year=2000 | isbn=0-387-98655-3 | pages=71 }}

Latest revision as of 11:31, 12 June 2009

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In ring theory, a differential ring is a ring with added structure which generalises the concept of derivative.

Formally, a differential ring is a ring R with an operation D on R which is a derivation:

Examples

  • Every ring is a differential ring with the zero map as derivation.
  • The formal derivative makes the polynomial ring R[X] over R a differential ring with

Ideal

A differential ring homomorphism is a ring homomorphism f from differential ring (R,D) to (S,d) such that f·D = d·f. A differential ideal is an ideal I of R such that D(I) is contained in I.