差生成。此外，增广理想是自由"R"-模，可用为其基底而生成。对上述的"R"和"G"，群环"R"["G"]是增广"R"-代数的一例。这样的代数都带有一个映至"R"上的环同态。这个环同态的核是这个代数的增广理想。增广理想的另一类例子是任何霍普夫代数的余单位元formula_1的核。增广理想是群上同调等应用中的基本工具。