« first day (2282 days earlier)      last day (1121 days later) » 

4:46 PM
5
Q: Is every additive, left exact functor isomorphic to a hom functor?

kevkev1695Let $A$ be an Artin algebra, $\text{mod}\,A$ the category of finitely generated $A$-modules and $\text{Ab}$ the category of abelian groups. Is every additive, covariant, left-exact functor $F:\text{mod}\,A \rightarrow \text{Ab}$ (natural) isomorphic to $\text{Hom}(X,-)$ for some $X\in \text{mod}\...

 
 
4 hours later…
8:28 PM
4
Q: Divisibility of Mersenne numbers

ChristianIs there a way to prove that $2$ is the only prime that never divides $2^n-1$ ? Obviously we can ignore all primes that are themselves of this form. Some other examples: $$5\,|\,2^4-1 \qquad 9\,|\,2^6-1 \qquad 11\,|\,2^{10}-1 \qquad 13\,|\,2^{12}-1 \qquad 17\,|\,2^8-1$$ I checked for all $p<10^6$...

 
 
3 hours later…
11:16 PM
6
Q: Do deduction guides require noexcept specifiers?

skypjackFor some reasons, I've always thought that deduction guides must have the same noexcept-ness of the constructor to which they refer. For example: template<typename T> struct clazz { clazz(const T &) noexcept {} }; clazz(const char &) noexcept -> clazz<int>; That is, if the constructor is no...

 
11:28 PM
2
Q: Is there a dense planar rational point set within which the distance of any two points is an irrational number?

Lucellia Kasseli.e. could we find a subset $X\subset \mathbb{Q}^2$ such that $\overline{X}=\mathbb{R}^2$ and that for any $x,y\in X$ the distance $|x-y|$ is an irrational number? I'm considering the following assertion of which I'm not sure : Given finite rational points $p_1,p_2,\dots,p_n$ , and an open ball ...

 

« first day (2282 days earlier)      last day (1121 days later) »