Intereting Posts

Show that $(\mathbb{Q}^*,\cdot)$ and $(\mathbb{R}^*,\cdot)$ aren't cyclic
Relation between varieties in the sense of Serre's FAC and algebraic schemes
WLOG means losing generality?
Verifying Hilberts Nullstellensatz on a particular example
The Gradient as a Row vs. Column Vector
$\int_{-\infty}^{+\infty}\frac1{1+x^2}\left(\frac{\mathrm d^n}{\mathrm dx^n}e^{-x^2}\right)\mathrm dx$ Evaluate
$\sum e^{(-nx)}\cos(nx)$ is not a uniformly convergent series?
Product of right cosets equals right coset implies normality of subgroup
Counting subsets containing three consecutive elements (previously Summation over large values of nCr)
Can a polynomial size CFG over large alphabet describe a language, where each terminal appears even number of times?
Order of product of two elements in a group
What is the difference between $\omega$ and $\mathbb{N}$?
Example where Tietze Extension fails?
Prime powers that divide a factorial
Prove inequalities $2\sqrt{n+1}-2 \leq 1 + 1/\sqrt{2} + 1/\sqrt{3} + … + 1/\sqrt{n}\leq 2\sqrt{n}-1$

In the computational topology literature, the reduction algorithm for computing the Smith normal form of a boundary matrix uses the notation $b_j > 1 \: \text{ and }\: b_j\mid b_{j+1}$ in the context of the diagonal elements of the Smith matrix. Can anyone give me an idea for what it means?

- In a ring with no zero-divisors, for $(m,n) =1$, $a^m = b^m$ and $a^n = b^n$ $\iff a =b$
- If $\lvert\operatorname{Hom}(H,G_1)\rvert = \lvert\operatorname{Hom}(H,G_2)\rvert$ for any $H$ then $G_1 \cong G_2$
- Discriminant of a trinomial
- Can we extend the definition of a homomorphism to binary relations?
- An example of a morphism which does not preserve normality.
- Prove that $x-1$ is a factor of $x^n-1$
- Is $V$ a simple $\text{End}_kV$-module?
- Writing a GCD of two numbers as a linear combination
- Problem in Jacobson's Basic Algebra (Vol. I)
- Infinite Dihedral Group.

The $b_i$ are integers and $|$ stands for “divides.”

-Qiaochu Yuan

Yes, it’s standard notation in this context.

-lhf

See also Wikipedia’s “List of mathematical symbols” and “Vertical bar.”

- Identically zero multivariate polynomial function
- Is there a way to calculate $\displaystyle \sum_{k=0}^{n}\sin({2^kx})$?
- Expected number of dice rolls of an unfair dice to roll every side equally many sides
- 2D Coordinates of Projection of 3D Vector onto 2D Plane
- Is it possible to cover $\{1,2,…,100\}$ with $20$ geometric progressions?
- Prove that $C^1()$ with the $C^1$- norm is a Banach Space
- Overview of basic results about images and preimages
- What are applications of rings & groups?
- Integral $\int_{-\infty}^{\infty}\frac{\cos(s \arctan(ax))}{(1+x^2)(1+a^2x^2)^{s/2}}dx$
- Explanation on arg min
- Lebesgue measurable subset of $\mathbb{R}$ with given metric density at zero
- Cantor Set and Compact Metric Spaces
- How do you find the value of $\sum_{r=0}^{44} \tan^2(2r+1)$?
- Standard compactness argument
- If $n\mid m$ prove that the canonical surjection $\pi: \mathbb Z_m \rightarrow \mathbb Z_n$ is also surjective on units