请输入您要查询的字词:

 

单词 PrimitiveElementOfBiquadraticField
释义

primitive element of biquadratic field


Theorem.

Let m and n be distinct squarefreeMathworldPlanetmath integers, neither of which is equal to 1. Then the biquadratic field Q(m,n) is equal to Q(m+n).

In other words, m+n is a primitive elementMathworldPlanetmathPlanetmath (http://planetmath.org/PrimitiveElement) of (m,n).

Proof.

We clearly have (m+n)(m,n). For the reverse inclusion, it is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath (http://planetmath.org/Equivalent3) to show that m+n does not belong to any of the quadratic subfieldsMathworldPlanetmath of (m,n), which are (m), (n), and (mn).

Suppose that m+n(m). Then n(m). Thus, (n)=(m), which is proven to be false here (http://planetmath.org/QuadraticFieldsThatAreNotIsomorphic). By a , m+n(n).

Suppose that m+n(mn). Let a,b,c,d with gcd(a,b)=gcd(c,d)=1, b0, and d0 such that

m+n=ab+cdmn.(1)

Now, we perform some basic algebraic manipulations.

bdm+bdn=ad+bcmn
bdm+bdn-ad=bcmn
(bdm+bdn-ad)2=(bcmn)2
b2d2m+2b2d2mn-2abd2m+b2d2n-2abd2n+a2d2=b2c2mn
b2d2m+b2d2n+a2d2-b2c2mn=2abd2(m+n)-2b2d2mn

Now, we use equation (1) to eliminate the m+n and obtain

b2d2m+b2d2n+a2d2-b2c2mn=2abd2(ab+cdmn)-2b2d2mn.

Now, we perform some more basic algebraic manipulations.

b2d2m+b2d2n+a2d2-b2c2mn=2a2d2+2abcdmn-2b2d2mn
b2d2m+b2d2n-a2d2-b2c2mn=2bd(ac-bd)mn

Since mn, b0, and d0, we must have ac-bd=0. Thus, cd=ba. (Note that we have a0 since ac=bd0.) Using this in equation (1), we obtain

m+n=ab+bamn.

Now we perform calculations as before.

abm+abn=a2+b2mn
abm+abn-a2=b2mn
(abm+abn-a2)2=(b2mn)2
a2b2m+2a2b2mn-2a3bm+a2b2n-2a3bn+a4=b4mn
a2b2m+a2b2n+a4-b4mn=2a3b(m+n)-2a2b2mn
a2b2m+a2b2n+a4-b4mn=2a3b(ab+bamn)-2a2b2mn
a2b2m+a2b2n+a4-b4mn=2a4+2a2b2mn-2a2b2mn
a2b2m+a2b2n-a4-b4mn=0

Since b2 divides a4 and gcd(a,b)=1, we must have b2=1. Plugging into the equation above yields

a2m+a2n-a4-mn=0.

Now for yet some more algebraic manipulations.

a2m-a4-mn+a2n=0a2(m-a2)-n(m-a2)=0(m-a2)(a2-n)=0

Thus, m=a2 or n=a2, a contradictionMathworldPlanetmathPlanetmath. It follows that (m+n)=(m,n).∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 16:04:15