ABSTRACT
An object M £ A is called local, if it has a unique maximal subobject (rad M, i). In the induced short exact sequence 0 —> radM -^ M -^ S —> 0, the cokernel S is simple in A and it is called the top of the local object M. Denote by £(S) the class of local objects with top isomorphic to the simple object S. Since S €E £(£"), this class is nonempty and it is closed under nonzero epimorphic images.
