Existentially closed groups

Bir $G$ grubuna eğer katsayıları G den olan eşitlik ve eşitsizliklerden oluşan her sonlu sistemin G yi içeren bir H\geq G grubunda çözümü olduğunda, G grubunda da varsa bir existentially kapalı grup (cebirsel kapalı grup) denir. Existentially kapalı gruplar 1951'de W.R. Scott tarafından tanıtıldı. Existentially kapalı gruplar kavramı ile cebirsel kapalı cisimler kavramı birbirine benzer olmasına rağmen önemli farklılıklar vardır. Existentially kapalı gruplar B. H. Neumann tarafından incelenmiş ve geliştirilmiştir. Bu derleme tezde, B. H. Neumann'ın makalelerine ve W. R. Scott'ın makalesine çalışılmıştır.