完全環
環 R が半完全であることとすべての単純左R-加群が射影被覆をもつことは同値なので、半完全環に森田同値なすべての環はまた半完全である。