Assertion: difference algebra | /r/HasProperty | a difference ring
Facets:
Source sentences:
text: A difference algebra over a difference field K {\displaystyle K} is a difference ring R {\displaystyle R} with a K {\displaystyle K} -algebra structure such that K → R {\displaystyle K\to R} is a morphism of difference rings, i.e. σ : R → R {\displaystyle \sigma \colon