A Galois-geometria (nevét a 19. századi francia matematikusról , Évariste Galoisról kapta) a véges geometriának egy olyan ága , amely véges mezők (vagy Galois-mezők ) feletti algebrai és analitikus geometriát vesz figyelembe [1] . Szűkebb értelemben a Galois-geometria egy véges mező feletti projektív térként definiálható [2] .
A vizsgálat tárgyai vektorterek , véges mezők feletti affin és projektív terek, valamint az ezekben lévő különféle struktúrák. Különösen az ívek , oválisok , hiperoválisok , unitálok , blokkoló halmazok , oválisok , elosztók és a végtelen geometriákban található szerkezetek egyéb véges analógjai.
George Conwell 1910-ben demonstrálta a Galois-geometriát, amikor a Kirkman Schoolgirl-probléma megoldását a PG(3,2) ferde vonalak halmazának partíciójaként írta le , egy háromdimenziós projektív geometria a GF(2) [3] . Hasonlóan a 0 karakterisztikus mező feletti térbeli vonalak geometriájának módszereihez , Conwell a Plücker-koordinátákat használta a PG(5,2)-ben, és azonosította a PG(3,2) vonalakat reprezentáló pontokat a Klein-négyzeten fekvő pontokkal .
1955-ben Beniamino Segre leírta a páratlan q oválisokat . Segre tétele kimondja, hogy a páratlan rendű Galois-geometriában (páratlan karakterisztikával rendelkező véges mező felett meghatározott projektív sík ) minden ovális kúpszelet . Az 1958-as Nemzetközi Matematikus Kongresszuson Segre áttekintést adott a Galois-geometria akkoriban elérhető eredményeiről [4] .
véges projektív sík sorrendjének nevezzük, így minden pont (egy egyenes) és a pontok száma megegyezik a vonalak számával. Például ha a projektív sík egy háromszög. A Galois-síkok véges projektív síkok, amelyekre a Desargues-tétel érvényes. Egy véges projektív síkhoz több koherens konfiguráció van meghatározva. Az ezeket tartalmazó sémát azon a halmazon definiáljuk, ahol a véges projektív sík elemeinek (pontok és egyenesek) halmaza , és a desarguesianitás esetén kibővítjük a csoport [5] -en végzett komponensenkénti hatásának megfelelő sémára .