Nuprl Definition : bpa-equiv
bpa-equiv(p;x;y) == let n,a = x in let m,b = y in p^m(p) * a = p^n(p) * b ∈ p-adics(p)
Definitions occuring in Statement :
p-int: k(p),
p-mul: x * y,
p-adics: p-adics(p),
exp: i^n,
spread: spread def,
equal: s = t ∈ T
Definitions occuring in definition :
spread: spread def,
equal: s = t ∈ T,
p-adics: p-adics(p),
p-mul: x * y,
p-int: k(p),
exp: i^n
FDL editor aliases :
bpa-equiv
Latex:
bpa-equiv(p;x;y) == let n,a = x in let m,b = y in p\^{}m(p) * a = p\^{}n(p) * b
Date html generated:
2018_05_21-PM-03_24_34
Last ObjectModification:
2018_02_01-PM-02_21_00
Theory : rings_1
Home
Index