Sa modelo ng Teoriyang Galois at mga ekwasyong polinomial , ang nagpapatakbong pagkakabatid ay ng isang teoriya na may kakayahang pag @-@ isahin sa pamamagitan ng pag @-@ aaral ng simetriya ang buong sakop ng mga diperensiyal na ekwasyon.
