Suppose that $g$ is an integral form of Discriminant $\mathbf{D}$, for which we have $g(u,v)=1$, can I deduce that it is equivalent to the principal form?
2026-03-29 15:54:52.1774799692
The principal form, up to equivalanc, is the only integral form of Discriminant $\mathbf{D}$, which represent one.
85 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in NUMBER-THEORY
- Maximum number of guaranteed coins to get in a "30 coins in 3 boxes" puzzle
- Interesting number theoretical game
- Show that $(x,y,z)$ is a primitive Pythagorean triple then either $x$ or $y$ is divisible by $3$.
- About polynomial value being perfect power.
- Name of Theorem for Coloring of $\{1, \dots, n\}$
- Reciprocal-totient function, in term of the totient function?
- What is the smallest integer $N>2$, such that $x^5+y^5 = N$ has a rational solution?
- Integer from base 10 to base 2
- How do I show that any natural number of this expression is a natural linear combination?
- Counting the number of solutions of the congruence $x^k\equiv h$ (mod q)
Related Questions in QUADRATIC-FORMS
- Can we find $n$ Pythagorean triples with a common leg for any $n$?
- Questions on positivity of quadratic form with orthogonal constraints
- How does positive (semi)definiteness help with showing convexity of quadratic forms?
- Equivalence of integral primitive indefinite binary quadratic forms
- Signs of eigenvalues of $3$ by $3$ matrix
- Homogeneous quadratic in $n$ variables has nonzero singular point iff associated symmetric matrix has zero determinant.
- Trace form and totally real number fields
- Let $f(x) = x^\top Q \, x$, where $Q \in \mathbb R^{n×n}$ is NOT symmetric. Show that the Hessian is $H_f (x) = Q + Q^\top$
- Graph of curve defined by $3x^2+3y^2-2xy-2=0$
- Question on quadratic forms of dimension 3
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Yes, you can.
Since a common factor of $u$ and $v$ would end up as a squared factor of any number of the form $g(u,v),$ we know that $u$ and $v$ are relatively prime. Thus, we may find integers $\alpha$ and $\beta$ with $\beta u - \alpha v = 1$. The coefficient of $x^2$ in the form
$$ f(x,y) = g(ux + \alpha y, vx + \beta y) $$
is then $g(u,v)$. Thus, we have replaced $g$ by the equivalent form $f$, which has first coefficient $1$, just like the principal form.
Now we adjust the middle coefficient of $f$ so that it matches the middle coefficient of the principal form. Observe that the middle coefficient of a form is congruent to its discriminant modulo $2$. It follows that the middle coefficients of $f$ and the principal form have the same parity.
Suppose $f = ax^2 + bxy + cy^2$. For an arbitrary integer $n$, consider the form $f(x+ny,y)$. This will still have first coefficient $1$, and one checks that its middle coefficient is $b+2n$. By choosing $n$ appropriately, we can make this coefficient be any integer we wish with the same parity as $b$. In particular, we can replace $f$ by a form that has the same first and middle coefficients as the principal form. In particular, you can choose $n$ so that $f(x+ny,y)$ has the same first and middle coefficient as the principal form. But both forms will also have the same discriminant, and these conditions ensure that they will have the same third coefficient as well.