An n-ary Steiner law f(x{sub 1},x{sub 2},{hor_ellipsis},x{sub n}) on a projective curve {Gamma} over an algebraically closed field k is a totally symmetric n-ary morphism f from {Gamma}{sup n} to {Gamma} satisfying the universal identity f(x{sub 1},x{sub 2},{hor_ellipsis},x{sub n-1}, f(x{sub 1},x{sub 2},{hor_ellipsis},x{sub n})) = x{sub n}. An element e in {Gamma} is called an idempotent for f if f(e,e,{hor_ellipsis},e) = e. The binary morphism x * y of the classical chord-tangent construction on a nonsingular cubic curve is an example of a binary Steiner law on the curve, and the idempotents of * are precisely the inflection points of the ...
continued below

Publisher Info:
Argonne National Lab., IL (United States)

Place of Publication:
Illinois

Provided By

UNT Libraries Government Documents Department

Serving as both a federal and a state depository library, the UNT Libraries Government Documents Department maintains millions of items in a variety of formats. The department is a member of the FDLP Content Partnerships Program and an Affiliated Archive of the National Archives.

Descriptive information to help identify this report.
Follow the links below to find similar items on the Digital Library.

Description

An n-ary Steiner law f(x{sub 1},x{sub 2},{hor_ellipsis},x{sub n}) on a projective curve {Gamma} over an algebraically closed field k is a totally symmetric n-ary morphism f from {Gamma}{sup n} to {Gamma} satisfying the universal identity f(x{sub 1},x{sub 2},{hor_ellipsis},x{sub n-1}, f(x{sub 1},x{sub 2},{hor_ellipsis},x{sub n})) = x{sub n}. An element e in {Gamma} is called an idempotent for f if f(e,e,{hor_ellipsis},e) = e. The binary morphism x * y of the classical chord-tangent construction on a nonsingular cubic curve is an example of a binary Steiner law on the curve, and the idempotents of * are precisely the inflection points of the curve. In this paper, the authors prove that if f and g are two 5-ary Steiner laws on an elliptic curve {Gamma} sharing a common idempotent, then f = g. They use a new rule of inference rule =(gL){implies}, extracted from a powerful local-to-global principal in algebraic geometry. This rule is implemented in the theorem-proving program OTTER. Then they use OTTER to automatically prove the uniqueness of the 5-ary Steiner law on an elliptic curve. Very much like the binary case, this theorem provides an algebraic characterization of a geometric construction process involving conics and cubics. The well-known theorem of the uniqueness of the group law on such a curve is shown to be a consequence of this result.

This report is part of the following collection of related materials.

Office of Scientific & Technical Information Technical Reports

Reports, articles and other documents harvested from the Office of Scientific and Technical Information.

Office of Scientific and Technical Information (OSTI) is the Department of Energy (DOE) office that collects, preserves, and disseminates DOE-sponsored research and development (R&D) results that are the outcomes of R&D projects or other funded activities at DOE labs and facilities nationwide and grantees at universities and other institutions.

McCune, W. & Padmanabhan, R.An equational characterization of the conic construction of cubic curves,
report,
May 17, 1995;
Illinois.
(digital.library.unt.edu/ark:/67531/metadc697791/:
accessed February 18, 2018),
University of North Texas Libraries, Digital Library, digital.library.unt.edu;
crediting UNT Libraries Government Documents Department.