TY - JOUR
T1 - A universal coefficient theorem for gauss's lemma
AU - Messing, William
AU - Reiner, Victor
PY - 2013
Y1 - 2013
N2 - We shall prove a version of Gauß's lemma. It works in Z[a,A, b,B] where a = {ai}m i=0, A = {Ai}m i=0, b = {bi}n j=0, B = {Bj}n j=0, and constructs polynomials {ck}k=0,... ,m+n of degree at most in each variable set a,A, b,B, with this property: setting for elements ai,Aj, bj, Bj in any commutative ring R satisfying, the elements ck = ck(ai,Ai, bj,Bj) satisfy.
AB - We shall prove a version of Gauß's lemma. It works in Z[a,A, b,B] where a = {ai}m i=0, A = {Ai}m i=0, b = {bi}n j=0, B = {Bj}n j=0, and constructs polynomials {ck}k=0,... ,m+n of degree at most in each variable set a,A, b,B, with this property: setting for elements ai,Aj, bj, Bj in any commutative ring R satisfying, the elements ck = ck(ai,Ai, bj,Bj) satisfy.
KW - Constructive
KW - Gauss lemma
UR - http://www.scopus.com/inward/record.url?scp=84883767936&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84883767936&partnerID=8YFLogxK
U2 - 10.1216/JCA-2013-5-2-299
DO - 10.1216/JCA-2013-5-2-299
M3 - Article
AN - SCOPUS:84883767936
SN - 1939-0807
VL - 5
SP - 299
EP - 307
JO - Journal of Commutative Algebra
JF - Journal of Commutative Algebra
IS - 2
ER -