Closed. This question is off-topic. It is not currently accepting answers. Want to improve this question? Update the question so it’s on-topic for MathOverflow. Closed 5 years ago. Improve this question I am following Ararat Babakhanian’s Cohomological Methods in Group theory. Let A,B,C be G modules then we have a G module structre on HomZ(B,C) … Read more
I recently isolated the following definition, which I believe it should have appeared somewhere. Let $\kappa$ be a cardinal, and let $X$ be a set with $\kappa^+\leq |X|$. Definition: An ideal $\mathcal I\subseteq \mathcal P(\mathcal P_{\kappa^+}(X))$ is called a B-ideal if the following hold. for every $x\in X$, $\{A\in \mathcal P_{\kappa^+}(X):x\in A \}$ is not … Read more
I warn that I first posted this question in Mathematics Stack Exchange but it got no attention at all. I think that it fits better there by its explanatory nature but maybe the book being reference is too advanced for that site. In the mentioned book there is some notation that it is not well … Read more
Jervell has a notation for countable ordinals up to the small Veblen ordinal using trees: • Herman Ruge Jervell, How to wellorder finite trees and get good ordinal notations, Berkeley Logic Seminar, 3 October 2008. After illustrating this notation for various ordinals up to $\epsilon_0$ and $\epsilon_1$, on page 13 he illustrates it for two … Read more
Following the standard conventions in the literature, the commutation relations of the Virasoro Lie algebra are given by $$[L_m,L_n]=(m-n)L_{m+n}+\delta_{m,-n}\frac1{12}(m^3-m)c,$$ $$[c,L_n]=0.$$ Similarly, following the standard conventions in the literature, the commutation relations of the Neveu-Schwarz super Lie algebra are given by $$[L_m,L_n]=(m-n)L_{m+n}+\delta_{m,-n}\frac1{8}(m^3-m)c,$$ $$[J_\alpha,J_\beta]_ +=2L_{\alpha+\beta}+\delta_{\alpha,-\beta}\frac12(\alpha^2-\frac14)c,$$ $$[L_m,J_\alpha]=(\frac12m-\alpha)J_{m+\alpha},$$ $$[c,L_n]=0,\qquad [c,J_\alpha]=0.$$ The Virasoro algebra is a subalgebra of the Neveu-Schwarz … Read more
There is a standard notation $\mathrm{ZF}[n]$ for Zermelo Fraenkel set theory with the power set axiom restricted to saying the set of natural numbers has $n$ successive power sets $\beth_0\dots\beth_n$. Is there a similarly standard notation for the extension of $\mathrm{ZF}[n]$ by an axiom saying every set has an hereditary embedding in $\beth_n$? Answer In … Read more
I am confused with what seems to be a standard notation in analytic number theory and I’d appreciate any clarification. I am interested in the zero density estimates, for example link.springer.com/article/10.1007/BF01403187 . In this paper and in many other sources I have seen, $N_{\chi}(\alpha, T)$ is defined to be the number of zeros of $L(s, … Read more
The following paragraph appears in Analytic Number Theory (Iwaniec, Kowalski): The Siegel-Walfisz theorem asserts that: ψ(x;q,a)=xϕ(q)+O(x(logx)−A) for any q≥1,(a,q)=1,x≥2 and A≥0. Notice that this estimate is non-trivial only if q≪(logx)A. The last sentence is somewhat clear to me intuitively, and ought to answer my question. But I am not quite sure what Vinogradov’s ‘≪‘ notation … Read more
Hello everyone, Suppose that I am defining a function which embeds a surface (manifold) in R3. Is there a standard symbol or letter that is used for this function? Additionally, is there any other classical or standard notation (such as the hooked arrow for inclusion maps) of which I ought to be aware? Regards, Christopher … Read more
For some reason, I’m currently interested in the following relation – let $d,\delta$ be two metrics on some space $X$. We call the metrics _______ if there are some constants $C,E>0$ such that for all $x,y \in X$ $$ Cd(x,y)-E \le \delta(x,y) \le Cd(x,y)+E $$ I was looking for a proper adjective to put in … Read more
