미분 대수: 두 판 사이의 차이

만약 미분 대수의 개념에, [[등급환|등급]]을 주어 일반화하면 '''[[미분 등급 대수]]'''의 개념을 얻는다.

 

같은 가환환 <math>K</math> 위의 두 차분 대수 <math>A</math>, <math>B</math>가 주어졌다고 하자. 그렇다면, '''차분 대수 준동형'''(差分代數準同形, {{llang|en|difference algebra homomorphism}})은 [[대수 구조]]로서의 [[준동형]]이다. 즉, <math>K</math>-[[결합 대수]] 준동형 <Math>f\colon A\to B</math>가 다음 조건들을 만족시킨다면, 차분 대수 준동형을 이룬다.

:<math>f(\partial a)=\partial f(a)\qquad\forall a\in A</math>