遺伝環
左遺伝環 R に対し、自由左 R-加群のすべての部分加群は R の左イデアルの直和に同型で、したがって射影的である。