Pytanie:
Kto pierwszy zidentyfikował strukturę grupową krzywej eliptycznej?
Nick
2016-09-06 23:09:47 UTC
view on stackexchange narkive permalink

Uważam za niesamowite, że konstrukcja geometryczna, która leży u podstaw prawa grupowego dla krzywych eliptycznych, prowadzi do powstania prawa grupowego.

P: Kto jako pierwszy zidentyfikował prawo grupowe dla krzywych eliptycznych, a jeśli jest inne, kto pierwszy udowodnił, że jest ono asocjacyjne?

Jeden odpowiedź:
Conifold
2016-09-07 01:31:48 UTC
view on stackexchange narkive permalink

W XVII wieku Bachet i Fermat podali algebraiczne wzory na podwojenie punktu na sześciennym, a Newton pokazał, jak to zrobić, używając akordów i stycznych. Ale to jest o tyle, o ile geometria rozwijała się sama, stamtąd ścieżka nie prowadziła od geometrii do prawa grupowego, ale w drugą stronę.

W 1834 roku Jacobi wskazał na możliwy związek między krzywymi sześciennymi a funkcje eliptyczne, co Eisenstein udowodnił w 1847 r. Clebsch ukonkretnił je w 1864 r., sugerując parametryzację krzywych sześciennych za pomocą funkcji eliptycznych (stąd pochodzi określenie „krzywa eliptyczna”). Weierstrass wyraźnie powiązał swój wzór na dodawanie funkcji eliptycznych z dodawaniem punktów na krzywych sześciennych, a geometria została zbadana przez Juela w 1890 roku. Artykuł Poincare'a z 1901 roku Sur les Proprietes Arithmetiques des Courbes Algebriques jest uważany za pierwszą systematyzację tematu, w której dodawanie akordowo-styczne (w tym punkt w nieskończoności jako tożsamość) jest po raz pierwszy wykazane jako prawo grupowe rygorystycznie według nowoczesnych standardów , w tym asocjatywność.

Zobacz Dlaczego elipsy nie są krzywymi eliptycznymi według Rice'a i Browna, Krzywe eliptyczne od Mordell do Diophantus iz powrotem autorstwa Browna oraz Historia krzywe eliptyczne wątek na Math SE.

Fascynujące było zobaczyć, jak wczesne wyniki wskazywały na rzeczy, które nadejdą.
Wątek „Historia krzywych eliptycznych” na MSE sugeruje, że Juel podał geometryczną konstrukcję prawa grupowego w latach 90. XIX wieku. Czy mam rozumieć, że dzieje się to zanim zostanie ono uznane i sformalizowane jako prawo grupowe przez Poincare?
@Nick Nie jestem pewien. Artykuły Browna w ogóle o nim nie wspominają, Franz Lemmermeyer pisze tylko: „* Fakt, że punkty wymierne na krzywych eliptycznych tworzą grupę, wskazał Juel *” http://arxiv.org/pdf/1108.6219.pdf i podaje odnośnik do gazety z 1896 roku w języku niemieckim. Technicznie konstrukcja geometryczna wynika już z obserwacji Weierstrassa, chociaż wyobrażam sobie, że nie dążył do tego geometrycznie. Być może Juel zauważył, że punkty racjonalne tworzą podgrupę.


To pytanie i odpowiedź zostało automatycznie przetłumaczone z języka angielskiego.Oryginalna treść jest dostępna na stackexchange, za co dziękujemy za licencję cc by-sa 3.0, w ramach której jest rozpowszechniana.
Loading...