在抽象代数中，设Q为群，若存在群G，N，及群的正合序列，则称群G为Q的群扩张，或称Q对N的扩张。