Dear forum, I would like to ask if $H(m)$ is the Heisenberg Lie algebra of dimension $2m+1$ and $M$ is an ideal of $H(m)$. Can we say that $M$ has a complement in $H(m)$?

I have a function f(x,n) can be expressed as a cubic function of x with coefficients that are functions of n. For example x^3 + (n-2)x^2 + (3n-6)x + n. I want to prove that for e …

Hi there, My question today is related to bounds for the crossing number $cr$ of the $k$-dimensional de Bruijn graph $B(t,k)$ on $t$ symbols (http://en.wikipedia.org/wiki/De_Bruij …

This question deals with the gamma factor of a primitive function of the Selberg class. Writing the functional equation of such a function $F$ as $\Phi(s)=\overline{\Phi(\overline{ …

It happens a lot of times that when one defines a new object (ring, module, space, group, algebra, morphism, whatever) out of given data one first chooses some additional structure …

I recently started reading about hyperbolic dynamics in the notes of L. Wen, http://www6.cityu.edu.hk/rcms/publications/ln5.pdf and in this (page 8) there is the following s …

Let $M$ be a (discrete) monoid acting on a space $X.$ We may take the quotient of $X,$ by this action, $X/M$ that is the coequalizer of the action map $M \times X \to X$ against th …

Does the Fano plane mnemonic for octonion multiplication have any deeper meaning? http://upload.wikimedia.org/wikipedia/commons/2/2d/FanoPlane.svg The symmetry group of the Fano …

The recent sensational news on bounded gaps between primes made me wonder: what is the status of Yitang Zhang's earlier arXiv preprint on Landau-Siegel zeros? If this result is cor …

Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve. Suppose $E$ …

Let $X$ be a normal complex affine algebraic variety. Suppose that $Y$ is an open subvariety of $X$, and that the codimension of $X\setminus Y$ in $X$ is at least $2$. One version …

Hi all, Suppose that $\mathbf{f}=[f_1, f_2,\ldots,f_m]$ and $\mathbf{g}=[g_1,g_2,\ldots,g_m]$ are two $m$-dimensional vectors. All $f_i$'s are chosen uniformly randomly from a fin …

Many years ago, when I was still a high school student, I came up with a certain first-order axiomatization of PA over the signature (+, x, ≤). Out of nostalgia, I've decided t …

Let $(M,\otimes)$ be a small symmetric monoidal category. Is it possible to choose in each isomorphy class $[A]$ a representative $A_0$ and for each $A\in M$ an isomorphism $\phi_A …

Consider an experiment consisting of a repeated trial with two random Bernoulli (=binary) variables, A and B. Each trial consists of multiple outcomes for both A and B. Each trial …