1
vote
2answers
39 views
decomposition of the injective hull of a torsion free module
Let R be any ring and let A be a torsion free R-module. when would we be able to decompose the injective hull E(A) of A, i.e. when can we write E(A) as a sum E_i, i in I?
4
votes
3answers
97 views
objects which can’t be defined without making choices but which end up independent of the choice
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 …
0
votes
1answer
77 views
Heisenberg Lie algebras
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)$?
1
vote
2answers
111 views
Real root of a cubic equation
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 …
0
votes
0answers
4 views
Bounds on the crossing numbers of de Bruijn graphs and some incidence graphs
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 …
0
votes
0answers
65 views
Are the d quantities log Gamma(\lambda_j.s+\mu_j) linearly independent over Q for all s>1?
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{ …
3
votes
1answer
92 views
Hyperbolic sets
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 …
2
votes
1answer
38 views
Borel constructions, equivariant cohomology, and homotopy quotients of monoid actions.
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 …
11
votes
0answers
242 views
Octonions and the Fano plane.
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 …
16
votes
1answer
458 views
Yitang Zhang’s preprint on Landau-Siegel zeros
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 …
2
votes
2answers
77 views
Surfaces ruled over elliptic curves
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$ …
0
votes
1answer
99 views
Hartogs Theorem and Canonical Bundles
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 …
0
votes
1answer
56 views
Determine the probability that two random vectors over a finite field are orthogonal
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 …
2
votes
2answers
194 views
Reference request: Minimal Axiomatizations of PA over (+,x,<=).
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 …
0
votes
0answers
40 views
Monoidal category
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 …

