A remark on direct products of modules
A remark on direct products of modules
Raxi+Rax2+ * +Raxn, * . . It must terminate; thus for some n, RaxiCRaxi+ * +Raxn for all axi such that L(axi) is maximal. Now axir is either 0 or a maximal ax1; whence RaxRRcRaxl+ * * C +Raxn. But there is a uzO in Rax,R such that axlu* * …