The Elementary Theory of Torsionfree Abe
✍
Peter H. Schmitt
📂
Article
📅
1982
🏛
John Wiley and Sons
🌐
English
⚖ 367 KB
👁 1 views
This is proved by induction on 7n. For ni = 0 (\*) follows immediately from the definitions. Now take a E C,:,,, for m > 0. There is c E B,,,, such t'hat ac E pCp,n,-l + + C,,;f,l+l. There is thus a' E Cl~.flr-l with a E c + pa' + Cl,.,,f+l. By induction hypothesis a' E 6' + C,.,,, for some b' E @ B