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