a galois extension is a field extension that is both normal and separable umujura yinjiye mu nzu ninjoro yiba ibintu bitandukanye bakwiriye kandi gusobanukirwa n'amategeko