Definition:Generator of Field Extension