aboutsummaryrefslogtreecommitdiff
path: root/ga
diff options
context:
space:
mode:
authorJuan Marín Noguera <juan.marinn@um.es>2020-03-23 17:36:21 +0100
committerJuan Marín Noguera <juan.marinn@um.es>2020-03-23 17:36:21 +0100
commit0ec7e60d013ad1a9d3ec00bd3e7493636db66a95 (patch)
tree4bdb60d049a8f33a442ecb35b036e7310a3a5438 /ga
parent8a503ffd481589f6bffeb5e48f9c288ca014729b (diff)
onkey
Diffstat (limited to 'ga')
-rw-r--r--ga/n1.lyx17
1 files changed, 17 insertions, 0 deletions
diff --git a/ga/n1.lyx b/ga/n1.lyx
index 7f4aadf..d42ecd1 100644
--- a/ga/n1.lyx
+++ b/ga/n1.lyx
@@ -2929,6 +2929,23 @@ conjugación
\end_inset
tenemos un automorfismo.
+ Entonces llamamos
+\series bold
+norma
+\series default
+ a la aplicación
+\begin_inset Formula $N:\mathbb{Z}[\sqrt{d}]\to\mathbb{Z}$
+\end_inset
+
+ o
+\begin_inset Formula $N:\mathbb{Q}[\sqrt{d}]\to\mathbb{Q}$
+\end_inset
+
+ dada por
+\begin_inset Formula $N(a+b\sqrt{d}):=(a+b\sqrt{d})(a-b\sqrt{d})=a^{2}-b^{2}d$
+\end_inset
+
+.
\end_layout
\begin_layout Enumerate