Coba jelasin Aturan grup dari Kurva eliptik dong

Ketika bekerja dalam bidang proyektif, kita dapat mendefinisikan struktur grup pada kurva kubik halus apa pun. Dalam bentuk normal Weierstrass, kurva tersebut akan memiliki satu titik di takhingga, O, dalam koordinat homogen [0:1:0] yang berperan sebagai identitas grup.

Karena kurva ini simetris terhadap sumbu x, untuk sembarang titik P, kita definisikan -P sebagai lawannya. Kita anggap -O sama dengan O.

Jika titik P dan Q adalah dua titik pada kurva, kita dapat definisikan titik ketiga, , sebagai berikut. Pertama, kita buat garis yang memotong P dan Q. Lalu, garis tersebut akan memotong kurva pada titik lain yang kita sebut R. Kemudian, kita definisikan , yaitu lawan dari R.

Definisi di atas dapat berlaku, kecuali untuk beberapa kasus khusus seperti pertambahan dengan titik di takhingga dan penggandaan titik. Untuk titik di takhingga, kita definisikan  sehingga O adalah identitas grup. Jika P dan Q saling berlawanan, kita definisikan . Untuk penggandaan titik, kita tidak bisa membuat garisnya karena hanya ada satu titik. Karenanya, kita bisa memakai garis singgung kurva eliptik pada titik tersebut untuk mencari perpotongan lain dengan kurva. Titik perpotongan tersebut juga menjadi lawan hasil penggandaannya. Namun, bila P berada pada titik belok, kita ambil R sebagai P sehingga  adalah lawan dirinya sendiri.

Kurva eliptik dalam bilangan riil

Dalam konteks ini, kurva eliptik adalah lengkung bidang yang didefinisikan oleh persamaan dalam bentuk

dengan a dan b bilangan riil.

Definisi kurva eliptik juga mewajibkan kurva untuk nonsingular. Secara geometris, itu berarti bahwa grafiknya tidak memiliki taring, tidak memotong dirinya sendiri, dan tidak punya titik yang sendirian (terputus/terisolasi). Secara aljabar, itu hanya berlaku jika dan hanya jika diskriminannya