<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this paper, we defined the quadratic residue and proved its fundamental properties on the base of some useful theorems. Then we defined the Legendre symbol and proved its useful theorems [14], [12]. Finally, Gauss Lemma and Law of Quadratic Reciprocity are proven.</p><p>MML identifier: INT 5, version: 7.8.05 4.89.993</p></abstract>

In this paper, we defined the quadratic residue and proved its fundamental properties on the base of some useful theorems. Then we defined the Legendre symbol and proved its useful theorems [14], [12]. Finally, Gauss Lemma and Law of Quadratic Reciprocity are proven.MML identifier: INT 5, version: 7.8.05 4.89.993

Gauss Lemma and Law of Quadratic Reciprocity

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"Gauss Lemma and Law of Quadratic Reciprocity"}

In this paper, we defined the quadratic residue and proved its fundamental properties on the base of some useful theorems. Then we defined the Legendre symbol...

Gauss Lemma and Law of Quadratic Reciprocity

Publicado en línea: 20 mar 2009

Páginas: 23 - 28

DOI: https://doi.org/10.2478/v10037-008-0004-4

This content is open access.