Intereting Posts

How to evaluate $\int_0^{2\pi} \frac{d\theta}{A+B\cos\theta}$?
Realizing the monoid $\mathbb{N}/(3=1)$ from a category with finite coproducts
Moore plane / Niemytzki plane (Topology)
Galois group of $x^4-2$
Pointwise convergence of $h_n(x) = x^{1+\frac{1}{2n-1}}$
Riddle (simple arithmetic problem/illusion)
Proving path-connectedness of $\mathbb{R}^2\setminus\mathbb{E}$ where $\mathbb{E}$ is the set of points with both coordinates rational
Since $(\frac{1}{2})!=\frac{\sqrt{\pi}}{2}$, what is $(\frac{1}{4})!$
How is $\displaystyle\lim_{n\to\infty}{(1+1/n)^n} = e$?
Do real matrices always have real eigenvalues?
Gluing sheaves – can we realize $\mathcal{F}(W)$ as some kind of limit?
Multiple choice exam where no two consecutive answers are the same (2)
Another (non-homological) proof of the invariance of dimension
How find all positive $a^3=b^2+2000000$
Permutation count of AABBC

$$xy\in\mathfrak q\:\Rightarrow\:\text{either $x\in\mathfrak q$ or $y^n\in\mathfrak q$ for some $n\gt0$}.$$

Primary ideals can be regard as the generalization of prime ideals and radical.

But why it’s defined like that? It’s not symmetry.

Why not define like that:

- In a finite abelian group of order n, must there be an element of order n?
- How to prove that homomorphism from field to ring is injective or zero?
- If each component of a Cartesian product is homeomorphic to another space, are the Cartesian products homeomorphic
- List all subgroups of the symmetry group of $n$-gon
- Taking the automorphism group of a group is not functorial.
- The group of $k$-automorphisms of $k]$, $k$ is a field

$$xy\in\mathfrak q\:\Rightarrow\:\text{either $x^n\in\mathfrak q$ or $y^n\in\mathfrak q$ for some $n\gt0$}.$$

- Showing the countable direct product of $\mathbb{Z}$ is not projective
- Cyclic Automorphism group
- Finitely generated modules over a Noetherian ring are Noetherian
- How to show that ${2},\sqrt{3}):\mathbb{Q}]=9$?
- Show $A_n$ has no subgroups of index 2
- What are some great books I can read to get prepared for Harvard's Math 55 this fall?
- G is group of order pq, pq are primes
- Conjugacy classes of $\mathcal D_{10}$.
- Direct limit of $\mathbb{Z}$-homomorphisms
- Proof of the polynomial division algorithm

I’ve seen this question many times. The problem is that the second definition is strictly weaker than the first.

Consider $(x^2,xy)$ in the ring $F[x,y]$ where $F$ is a field. According to the normal definition, it is not primary since it doesn’t contain any powers of $y$ and doesn’t contain $x$.

However, it does satisfy the second definition. If $ab$ is in $(x^2, xy)$, then $x$ divides one of $a$ or $b$, and then that element’s square is in this ideal.

The ordinary definition links zero divisors to nilpotent elements. In the quotient of a ring by a primary ideal, the elements are divided into regular elements and nilpotent elements. Said another way, zero divisors are nilpotent in such a ring.

Another way to think about primary ideals is that the condition is one half of primeness. An ideal is prime iff it is radical and primary. (But actually, you could replace primary with your definition and that would still hold!)

- Multiplicative Functions
- Prove: the function series, $\sum_{n=0}^{\infty}\frac{(-1)^{n-1}x^2}{(1+x^2)^n}$ uniformly converges
- Integrate $\csc^3{x} \ dx$
- Solving a 2nd order differential equation by the Frobenius method
- Good book recommendations on trigonometry
- Computing RSA Algorithm
- Is norm non-decreasing in each variable?
- Abstract algebra book recommendations for beginners.
- Distance to a closed set
- Can manifolds be uniformly approximated by varieties?
- A question about using the squeeze theorem?
- Prove: If $\gcd(a,b,c)=1$ then there exists $z$ such that $\gcd(az+b,c) = 1$
- An open set in $\mathbb{R}$ is a union of balls of rational radius and rational center.
- Proof of $\sin nx=2^{n-1}\prod_{k=0}^{n-1} \sin\left( x + \frac{k\pi}{n} \right)$
- On the ring of integers of a compositum of number fields