Intereting Posts

Characterizing valuation rings related to a given principal ideal domain?
On the norm of a quotient of a Banach space.
Prove that if a group contains exactly one element of order 2, then that element is in the center of the group.
Question about Euler's formula
Conjecture $_2F_1\left(\frac14,\frac34;\,\frac23;\,\frac13\right)=\frac1{\sqrt{\sqrt{\frac4{\sqrt{2-\sqrt4}}+\sqrt{4}+4}-\sqrt{2-\sqrt4}-2}}$
Value assignment for complete, transitive relation on countably infinite set
Questions about manifolds
Has the polynomial distinct roots? How can I prove it?
Question about Quaternion group $Q_8$ and Dihedral group $D_8$
Finding a bound on the maximum of the absolute value of normal random variables
What is a function to represent a diagonal sine wave?
Homogenous polynomial over finite field having only trivial zero
If $X$ is infinite dimensional, all open sets in the $\sigma(X,X^{\ast})$ topology are unbounded.
Prove that formula is not tautology.
Prove $BA – A^2B^2 = I_n$.

If $r$ is a primitive root of odd prime $p$, prove that $\text{ind}_r (-1) = \frac{p-1}{2}$

I know $r^{p-1}\equiv 1 \pmod {p} \implies r^{(p-1)/2}\equiv -1 \pmod{p}$

But some how I feel the question wants me prove the result using indices properties (w/o factoring.. ) So I am posting it here to see if there are any other ways to prove this XD thanks in advance!

- Find all integers satisfying $m^2=n_1^2+n_1n_2+n_2^2$
- Integer values of $\frac{x}{y}+\frac{y}{z}+\frac{z}{x}$?
- Proving that $12^n + 2(5^{n-1})$ is a multiple of 7 for $n\geq 1$ by induction
- What is known about the sum $\sum\frac1{p^p}$ of reciprocals of primes raised to themselves?
- The square of an integer is congruent to 0 or 1 mod 4
- Nested Division in the Ceiling Function

- Prove $2^{1/3}$ is irrational.
- Proof: no fractions that can't be written in lowest term with Well Ordering Principle
- How to explain the commutativity of multiplication to middle school students?
- Infinitely many primes of the form $pn+1$
- Proof about fibonacci numbers by induction
- Show that $1^n+2^n+3^n+4^n$ is divisible by 5 if and only if n is not divisible by 4
- Is there a $k$ such that $2^n$ has $6$ as one of its digits for all $n\ge k$?
- Number of $k^p \bmod q$ classes when $q\%p > 1$
- Why is Euler's Totient function always even?
- Combinations of sets raised to the power of a prime modulus

Note that $\left(r^{(p-1)/2}\right)^2\equiv 1\pmod{p}$, so $r^{(p-1)/2}$ is a solution of the congruence $x^2\equiv 1\pmod{p}$.

The congruence $x^2\equiv 1\pmod{p}$ has precisely two solutions, $x\equiv 1\pmod{p}$ and $x\equiv -1\pmod{p}$.

Since $r^{(p-1)/2}\not\equiv 1\pmod{p}$, we must have $r^{(p-1)/2}\equiv -1\pmod p$, so $-1$ has index $(p-1)/2$.

**Another way:** If you want to just use “algebraic” properties of indices, let $d$ be the index of $-1$. Then the index of $(-1)^2$ is congruent to $2d$ modulo $p-1$. (Index of a product is, sort of, the sum of the indices.) But the index of $(-1)^2$ is $p-1$. so $2d\equiv 0\pmod{p-1}$ and $1\le d\lt p-1$. This forces $d=\frac{p-1}{2}$.

- When to learn category theory?
- Symmetric Tridiagonal Matrix has distinct eigenvalues.
- “Probability” of a map being surjective
- Proof writing: how to write a clear induction proof?
- Let graph $G = (V, E)$ $\Rightarrow$ $\alpha(G) \ge \frac{{|V|}^{2}}{2 \times (|E| + |V|)}$
- Infinitely nested radicals
- Is this interpretation of the Dirac-measure property correct?
- Square for $x^2$, Cube for $x^3$, Quartic for $x^4$, and what's for $x^1$?
- Prove by induction the predicate (All n, n >= 1, any tree with n vertices has (n-1) edges).
- Every manifold is locally compact?
- Why is Infinity multiplied by Zero not an easy Zero answer?
- If the unit sphere of a normed space is homogeneous is the space an inner product space?
- Integrating the inverse of a function.
- Besides proving new theorems, how can a person contribute to mathematics?
- sum of a series