整数的强耦合

[TheMatrix]

Z是整数集合，P是素数集合。Z[ P ]作为 free Z-algebra的话，本来是简单的。

但是因为有了obvious map: Z[ P ] --> Z，就变得复杂了。

Z[ P ]本身虽然是已经是infinite algebra，但是和Z的强耦合一比，简单啊简单！

[TheMatrix]

解题就是解耦。

[FoxMe]

Z[ P ]是啥意思？我还没见过。

Z是整数集合，P是素数集合。Z[ P ]作为 free Z-algebra的话，本来是简单的。

但是因为有了obvious map: Z[ P ] --> Z，就变得复杂了。

Z[ P ]本身虽然是已经是infinite algebra，但是和Z的强耦合一比，简单啊简单！

[TheMatrix]

Z[ P ]是啥意思？我还没见过。

就是a free R-algebra generated by a set X。这里R=Z，X=P。