در این پایان نامه ابتدا نظریه مقسوم علیه ها را بیان می کنیم و سپس با استفاده از آن به تعریف و محاسبه ی زوجیت وایل، که نقش مهمی در زمینه محاسباتی روی خم های بیضوی بازی می کند، می پردازیم. نظریه زوجیت وایل امروزه دارای کاربردهای فراوان بویژه در سیستم های رمزنگاری مبنی بر خم های بیضوی می باشد (2). لذا داشتن الگوریتم مناسب برای محاسبه ی سریعتر زوجیت وایل از اهمیت ویژه ای برخوردار است. میلر الگوریتمی مناسب برای این کار عرضه کرده است (11). در این پایان نامه این الگوریتم را معرفی می نماییم و چند مثال را به این روش بررسی می کنیم.