Boustrophedon transform - Revision history

en>Yobot: /* Definition */WP:CHECKWIKI error fixes using AWB (10093)

2014-05-05T11:53:11Z

Definition: WP:CHECKWIKI error fixes using AWB (10093)

← Older revision		Revision as of 13:53, 5 May 2014
Line 1:		Line 1:
	In [[algebraic geometry]], a branch of [[mathematics]], '''supersingular elliptic curves''' form a certain class of [[elliptic curve]]s over a [[field (algebra)\|field]] of characteristic ''p'' > 0. Elliptic curves over such fields which are not supersingular are called ''ordinary'' and ~~these two classes of elliptic curves behave fundamentally differently in many aspects~~.		Hello and welcome. My title is Figures Wunder. My day occupation is a meter reader. One of the extremely best things in the world for me is to do aerobics and now I'm attempting to earn money with it. For many years he's been residing in North Dakota and his family enjoys it.<br><br>My website ... [http://www.1a-pornotube.com/user/GCalvert home std test kit]

	~~==Definition==~~
	~~Let ''K'' be a field with algebraic closure <math>\overline{K}</math> and ''E'' an [[elliptic curve]] over ''K''~~. ~~Then the <math>\overline{K}</math>-valued points <math>E(\overline{K})</math> have the structure of an abelian group. For every n, we have~~ a ~~multiplication map <math>[n]: E\to E</math>~~. ~~Its kernel is denoted by <math>E[n]</math>. Now assume that the characteristic~~ of ~~''K'' is ''p'' > 0. Then one can show that either~~
	~~:<math> E[p^r](\overline{K}) \cong \begin{cases} 0 & \mbox{or}\\ \mathbb{Z}/p^r\mathbb{Z} \end{cases}</math>~~
	~~for ''r'' = 1, 2, 3, ... In~~ the ~~first case, ''E'' is called ''supersingular''. Otherwise it is called ''ordinary''. Of course,~~ the ~~term 'supersingular' does not mean that ''E''~~ is ~~[[Algebraic curves#Singularities\|singular]], since all elliptic curves are smooth.~~

	~~==Equivalent conditions==~~
	~~There are a number of equivalent conditions~~ to ~~supersingularity:~~

	*Supersingular elliptic curves have many endomorphisms in the sense that an elliptic curve is supersingular if and only if its endomorphism algebra (over <math>\overline{K}</math>) is an [[order (ring theory)\|order]] in a [[quaternion algebra]]. Thus, their endomorphism group has rank 4, while the endomorphism group of every other elliptic curve has only rank 1 or 2.

	* Let ''G'' ~~be the [[formal group]] associated~~ to~~ ''E''~~. ~~Since~~ '~~'K'' is of positive characteristic, we can define its [[formal group#The height of a formal group law\|height]] ht(''G''), which is 2 if and only if E is supersingular and else is 1.~~

	*We have a [[Frobenius morphism]] <math>F: E\to E</math>, which induces a map in ~~cohomology~~

	~~:<math>F^*: H^1(E, \mathcal{O}_E) \to H^1(E,\mathcal{O}_E)</math>.~~

	~~The elliptic curve ''E'' is supersingular if~~ and ~~only if <math>F^*</math> equals 0~~.

	*Suppose ''E'' is in [[Legendre form]], defined by the equation <~~math~~>~~y^2 = x(x-1)(x-\lambda)~~<~~/math~~>. ~~Then ''E'' is supersingular if and only if the sum~~

	~~:<math>\sum_{i=0}^k {k\choose{i}}^2\lambda^i</math>~~

	~~vanishes, where <math>k = \frac12(p-1)</math>~~. ~~Using this formula, one can show that there are only finitely many supersingular elliptic curves for every ''K''~~.

	~~==Examples==~~
	*If ''K'' is a field of characteristic 2, every elliptic curve defined by an equation of the form

	~~:<math>y^2+a_3y = x^3+a_4x+a_6</math>~~

	~~is supersingular (see Washington2003, p. 122).~~

	*If ''K'' is a field of characteristic 3, every elliptic curve defined by an equation of the form

	:~~<math>y^2 = x^3+a_4x+a_6</math>~~

	~~is supersingular (see Washington2003, p. 122).~~

	*For <math>\mathbb{F}_p</~~math> with p>3 we have that the elliptic curve defined by <math>y^2 = x^3+1<~~/math> is supersingular if and only if <math>p\equiv 2 \text{(mod 3)}</math> and the elliptic curve defined by <math>y^2 = x^3+x</math> is supersingular if and only if <math>p\equiv 3 \text{(mod 4)}</math> (see Washington2003, 4.35).

	*There are also more exotic examples: The elliptic curve given by <math>y^2 = x(x-~~1)(x+2)</math> is nonsingular over <math>\mathbb{F}_p</math> for <math>p\neq 2,3</math>~~. ~~It is supersingular for p = 23 and ordinary for every other <math>p\leq 73<~~/~~math> (see Hartshorne1977, 4.23.6).~~

	*{{harvtxt\|Elkies\|1987}} showed that any elliptic curve defined over the rationals is supersingular for an infinite number of primes.
	*{{harvtxt\|Birch\|Kuyk\|1975}} give a table of all supersingular curves for primes up to 307. For the first few primes the supersingular elliptic curves are given as follows. The number of supersingular values of j other than 0 or 1728 is the integer part of (p−1)/~~12.~~
	~~{\|class="wikitable" cellpadding=0 style="margin: 1em auto; text-align: center;"~~
	~~!prime~~
	~~!supersingular j invariants~~
	\|-
	\|2
	\|0
	\|-
	\|3
	~~\|0=1728~~
	\|-
	\|5
	\|0
	\|-
	\|7
	~~\|6=1728~~
	\|-
	~~\|11~~
	~~\|0, 1=1728~~
	\|-
	~~\|13~~
	\|5
	\|-
	~~\|17~~
	~~\|0,8~~
	\|-
	~~\|19~~
	~~\|7, 1728~~
	\|-
	~~\|23~~
	~~\|0,19, 1728~~
	\|-
	~~\|29~~
	~~\|0,2, 25~~
	\|-
	~~\|31~~
	~~\|2, 4, 1728~~
	\|-
	~~\|37~~
	~~\|8, 3±√15~~
	\|}

	~~==References==~~
	*{{Citation \| editor1-last=Birch \| editor1-first=B. J. \| editor-link=Bryan John Birch \| editor2-last=Kuyk \| editor2-first=W. \| title=Modular functions of one variable. IV \| publisher=[[Springer-Verlag]] \| location=Berlin, New York \| series=Lecture Notes in Mathematics \| isbn=978-3-540-07392-5 \| doi=10.1007/BFb0097591 \| mr=0376533 \| year=1975 \| volume=476 \| chapter=Table 6 \| pages=142–144 \| zbl=0315.14014 }}
	*{{Citation \| last=Elkies \| first=Noam D. \| authorlink=Noam Elkies \| title=The existence of infinitely many supersingular primes for every elliptic curve over Q \| doi=10.1007/BF01388985 \| mr=903384 \| zbl=0631.14024 \| year=1987 \| journal=[[Inventiones Mathematicae]] \| issn=0020-9910 \| volume=89 \| issue=3 \| pages=561–567}}
	* [[Robin Hartshorne]] (1977), ''Algebraic Geometry'', Springer. ISBN 1-4419-2807-3
	* Joseph H. Silverman (2009), ''The Arithmetic of Elliptic Curves'', Springer. ISBN 0-387-09493-8
	* Lawrence C. Washington (2003), ''Elliptic Curves'', Chapman&Hall. ISBN 1-58488-365-0

	~~{{Algebraic curves navbox}}~~

	~~[[Category:Elliptic curves]~~]

en>Satkomuni: /* Definition */ Definition omitted method for scalar b_0. Checked the original paper for the definition and added, using article's existing grammar structure. (See http://www2.research.att.com/~njas/doc/bous.pdf)

2013-03-25T03:37:48Z

Definition: Definition omitted method for scalar b_0. Checked the original paper for the definition and added, using article's existing grammar structure. (See http://www2.research.att.com/~njas/doc/bous.pdf)

← Older revision		Revision as of 05:37, 25 March 2013
Line 1:		Line 1:
	Ed is ~~what people contact me and my wife doesn~~'~~t like~~ it at all. ~~He works as~~ a ~~bookkeeper~~. The ~~preferred hobby for him~~ and ~~his children~~ is ~~style~~ and ~~he'll be beginning something~~ else ~~alongside with it~~. ~~Some time~~ in ~~the past he chose~~ to ~~live~~ in ~~North Carolina~~ and ~~he doesn~~'~~t plan on altering it~~.<br><br>~~my blog post - phone psychic readings~~ (~~[https~~://~~www~~.~~machlitim~~.~~org~~.il/~~subdomain~~/~~megila~~/~~end~~/~~node/12300 navigate to this site~~])		In [[algebraic geometry]], a branch of [[mathematics]], '''supersingular elliptic curves''' form a certain class of [[elliptic curve]]s over a [[field (algebra)\|field]] of characteristic ''p'' > 0. Elliptic curves over such fields which are not supersingular are called ''ordinary'' and these two classes of elliptic curves behave fundamentally differently in many aspects.

			==Definition==
			Let ''K'' be a field with algebraic closure <math>\overline{K}</math> and ''E'' an [[elliptic curve]] over ''K''. Then the <math>\overline{K}</math>-valued points <math>E(\overline{K})</math> have the structure of an abelian group. For every n, we have a multiplication map <math>[n]: E\to E</math>. Its kernel is denoted by <math>E[n]</math>. Now assume that the characteristic of ''K'' is ''p'' > 0. Then one can show that either
			:<math> E[p^r](\overline{K}) \cong \begin{cases} 0 & \mbox{or}\\ \mathbb{Z}/p^r\mathbb{Z} \end{cases}</math>
			for ''r'' = 1, 2, 3, ... In the first case, ''E'' is called ''supersingular''. Otherwise it is called ''ordinary''. Of course, the term 'supersingular' does not mean that ''E'' is [[Algebraic curves#Singularities\|singular]], since all elliptic curves are smooth.

			==Equivalent conditions==
			There are a number of equivalent conditions to supersingularity:

			*Supersingular elliptic curves have many endomorphisms in the sense that an elliptic curve is supersingular if and only if its endomorphism algebra (over <math>\overline{K}</math>) is an [[order (ring theory)\|order]] in a [[quaternion algebra]]. Thus, their endomorphism group has rank 4, while the endomorphism group of every other elliptic curve has only rank 1 or 2.

			* Let ''G'' be the [[formal group]] associated to ''E''. Since ''K'' is of positive characteristic, we can define its [[formal group#The height of a formal group law\|height]] ht(''G''), which is 2 if and only if E is supersingular and else is 1.

			*We have a [[Frobenius morphism]] <math>F: E\to E</math>, which induces a map in cohomology

			:<math>F^*: H^1(E, \mathcal{O}_E) \to H^1(E,\mathcal{O}_E)</math>.

			The elliptic curve ''E'' is supersingular if and only if <math>F^*</math> equals 0.

			*Suppose ''E'' is in [[Legendre form]], defined by the equation <math>y^2 = x(x-1)(x-\lambda)</math>. Then ''E'' is supersingular if and only if the sum

			:<math>\sum_{i=0}^k {k\choose{i}}^2\lambda^i</math>

			vanishes, where <math>k = \frac12(p-1)</math>. Using this formula, one can show that there are only finitely many supersingular elliptic curves for every ''K''.

			==Examples==
			*If ''K'' is a field of characteristic 2, every elliptic curve defined by an equation of the form

			:<math>y^2+a_3y = x^3+a_4x+a_6</math>

			is supersingular (see Washington2003, p. 122).

			*If ''K'' is a field of characteristic 3, every elliptic curve defined by an equation of the form

			:<math>y^2 = x^3+a_4x+a_6</math>

			is supersingular (see Washington2003, p. 122).

			*For <math>\mathbb{F}_p</math> with p>3 we have that the elliptic curve defined by <math>y^2 = x^3+1</math> is supersingular if and only if <math>p\equiv 2 \text{(mod 3)}</math> and the elliptic curve defined by <math>y^2 = x^3+x</math> is supersingular if and only if <math>p\equiv 3 \text{(mod 4)}</math> (see Washington2003, 4.35).

			*There are also more exotic examples: The elliptic curve given by <math>y^2 = x(x-1)(x+2)</math> is nonsingular over <math>\mathbb{F}_p</math> for <math>p\neq 2,3</math>. It is supersingular for p = 23 and ordinary for every other <math>p\leq 73</math> (see Hartshorne1977, 4.23.6).

			*{{harvtxt\|Elkies\|1987}} showed that any elliptic curve defined over the rationals is supersingular for an infinite number of primes.
			*{{harvtxt\|Birch\|Kuyk\|1975}} give a table of all supersingular curves for primes up to 307. For the first few primes the supersingular elliptic curves are given as follows. The number of supersingular values of j other than 0 or 1728 is the integer part of (p−1)/12.
			{\|class="wikitable" cellpadding=0 style="margin: 1em auto; text-align: center;"
			!prime
			!supersingular j invariants
			\|-
			\|2
			\|0
			\|-
			\|3
			\|0=1728
			\|-
			\|5
			\|0
			\|-
			\|7
			\|6=1728
			\|-
			\|11
			\|0, 1=1728
			\|-
			\|13
			\|5
			\|-
			\|17
			\|0,8
			\|-
			\|19
			\|7, 1728
			\|-
			\|23
			\|0,19, 1728
			\|-
			\|29
			\|0,2, 25
			\|-
			\|31
			\|2, 4, 1728
			\|-
			\|37
			\|8, 3±√15
			\|}

			==References==
			*{{Citation \| editor1-last=Birch \| editor1-first=B. J. \| editor-link=Bryan John Birch \| editor2-last=Kuyk \| editor2-first=W. \| title=Modular functions of one variable. IV \| publisher=[[Springer-Verlag]] \| location=Berlin, New York \| series=Lecture Notes in Mathematics \| isbn=978-3-540-07392-5 \| doi=10.1007/BFb0097591 \| mr=0376533 \| year=1975 \| volume=476 \| chapter=Table 6 \| pages=142–144 \| zbl=0315.14014 }}
			*{{Citation \| last=Elkies \| first=Noam D. \| authorlink=Noam Elkies \| title=The existence of infinitely many supersingular primes for every elliptic curve over Q \| doi=10.1007/BF01388985 \| mr=903384 \| zbl=0631.14024 \| year=1987 \| journal=[[Inventiones Mathematicae]] \| issn=0020-9910 \| volume=89 \| issue=3 \| pages=561–567}}
			* [[Robin Hartshorne]] (1977), ''Algebraic Geometry'', Springer. ISBN 1-4419-2807-3
			* Joseph H. Silverman (2009), ''The Arithmetic of Elliptic Curves'', Springer. ISBN 0-387-09493-8
			* Lawrence C. Washington (2003), ''Elliptic Curves'', Chapman&Hall. ISBN 1-58488-365-0

			{{Algebraic curves navbox}}

			[[Category:Elliptic curves]]

220.245.107.17: /* Definition */

2011-01-16T09:45:39Z

Definition

New page

Ed is what people contact me and my wife doesn't like it at all. He works as a bookkeeper. The preferred hobby for him and his children is style and he'll be beginning something else alongside with it. Some time in the past he chose to live in North Carolina and he doesn't plan on altering it.<br><br>my blog post - phone psychic readings ([https://www.machlitim.org.il/subdomain/megila/end/node/12300 navigate to this site])