Intereting Posts

Prove a certain property of linear functionals, using the Hahn-Banach-Separation theorems
Is the algebraic norm of an euclidean integer ring also an euclidean domain norm?
How can Zeno's dichotomy paradox be disproved using mathematics?
Number of Pairs of Subsets
Linear independence of $\sin(x)$ and $\cos(x)$
Proof of $\sin nx=2^{n-1}\prod_{k=0}^{n-1} \sin\left( x + \frac{k\pi}{n} \right)$
Let $L_p$ be the complete, separable space with $p>0$.
Proving that $\gcd(5^{98} + 3, \; 5^{99} + 1) = 14$
Lower and upper bounds for the length of phi-chains wanted
Classify orbits of conjugating action on $GL_2(\mathbb{C})$
Peano axioms with only sets and mapping
Every order topology is regular (proof check)
Evalutating $\lim_{x\to0}\frac{1-\cos x}{x^2}$
Primitive roots modulo primes congruent to n!
Why do we need to check both primal and dual feasibility in LP programs?

Let $p$ be an odd prime. Is it true that there exists a permutation $\sigma$ of the set

$$

\{1,\ldots,2p-1\}\setminus \{p\}

$$

such that

$$

\{\sigma(1),\ldots,(p-1)\sigma(p-1)\}=\{\sigma(p+1),\ldots,(p-1)\sigma(2p-1)\}=\{1,\ldots,p-1\}

$$

in $\mathbf{Z}/p\mathbf{Z}$? [The answer is positive for $p \in \{3,5\}$]

An easier version of the problem asks for the existence of a permutation $\mu$ of $\{1,\ldots,p-1\}$ such that $\{\mu(1),\ldots,(p-1)\mu(p-1)\}=\{1,\ldots,p-1\}$ in $\mathbf{Z}/p\mathbf{Z}$.

In this case, the answer is negative since the products of the elements of each set would be the same modulo $p$, which is false by Wilson’s theorem (indeed we would have $1\equiv -1\pmod{p}$ for an odd prime $p$). Note that the same method does not apply to the above problem.

- Find all odd $n \in \mathbb{Z}^+$ such that $n\mid 3^n+1$.
- Alternate ways to prove that $4$ divides $5^n-1$
- What is complete induction, by example? $4(9^n) + 3(2^n)$ is divisible by 7 for all $n>0$
- If $\gcd(a,n) = 1$ and $\gcd(b,n) = 1$, then $\gcd(ab,n) = 1$.
- Sum of odd numbers always gives a perfect square.
- How to prove Prime numbers can be expressed as $6k\pm 1$

On the other hand, an attempt would be: the product of those three sets are the same modulo $p$, hence (here we don’t even need Wilson’s theorem) we ask: “Does there exist a partition of $\{1,\ldots,2p-1\}\setminus \{p\}$ in two sets with $p-1$ elements such that the product of the elements of each set is $1$ modulo $p$? [Edit: the answer is positive for $p \in \{3,5,7\}$]

The motivation for this question is related to this thread and this post.

Edit: Another variant here.

- Is there any palindromic power of $2$?
- Why is it that, $\forall x \in \mathbb{Z},\ x^5 \equiv x \pmod{10}$?
- Prime number between $n$ and $n!+1$
- What is wrong with this proof that there are no odd perfect numbers?
- Some co-finite subsets of rational numbers
- Proof or disproof that every integer can be written as the sum of a prime and a square.
- $S_n$ acting transitively on $\{1, 2, \dots, n\}$
- Prove about prime numbers obtained from certain sums of squares of an integer $n$
- If $a_n=n^2+20$ and $d_n$ denotes the greatest common divisor of $a_n$ and $a_{n+1}$ then show that $d_n$ divides 81
- Rubik's Cube Combination

Based on the above comments, we can prove the answer is always positive. Indeed the question simplifies to the existence of a permutation $\sigma$ of $\mathbf{Z}_{p-1} \times \{1,2\}$ (with $\mathbf{Z}_{p-1}$ written additively) such that $x\mapsto x+\sigma(x,a)$ is a permutation of $\mathbf{Z}_{p-1}$ for every $a \in \{1,2\}$ (with the notation of Henning).

The answer is positive also replacing $p-1$ with an even positive integer $2n$. Indeed it is enough to set

$$

\sigma(i,1)=(i\bmod{n}) \text{ }\text{ }\text{ and }\text{ }\text{ }\sigma(i,2)=n+(i\bmod{n})

$$

for all $i=1,\ldots,2n$.

- Why is $H_\delta^d$ monotone decreasing in $\delta$ in the definition of Hausdorff measure?
- Geometric mean of prime gaps?
- Solution of Differential equation $\frac{xdx-ydy}{xdy-ydx} = \sqrt{\frac{1+x^2-y^2}{x^2-y^2}}$
- Solve the differential equation $x\frac{dy}{dx} + y = x^3y^6$?
- Vector space that can be made into a Banach space but not a Hilbert space
- Big O/little o true/false
- Prove that ${2^n-1\choose k}$ and ${2^n-k\choose k}$ ar always odd.
- Evaluate the infinite product $\prod_{k \geq 2}\sqrt{1+\frac{1}{k}}=\sqrt{1+\frac{1}{2}} \sqrt{1+\frac{1}{3}} \sqrt{1+\frac{1}{4}} \cdots$
- What is the history of “only if” in mathematics?
- The radical of a monomial ideal is also monomial
- Proving $\mathbb{F}_p/\langle f(x)\rangle$ with $f(x)$ irreducible of degree $n$ is a field with $p^n$ elements
- Two polynomial problem
- Sum rule for Modified Bessel Function
- $a_0 = 5/2$. $a_k = (a_{k-1})^{2} – 2$ for $k\geq1. \prod_{k=0}^{\infty}{\left(1-1/a_k\right)}.$
- Need help with an integral