Intereting Posts

A coin is ﬂipped 8 times: number of various outcomes
If $G = C_{25}\times C_{45}\times C_{48}\times C_{150}$, where $C_n$ denotes a cyclic group of order $n$, how many elements of order 5 does $G$ have?
Sex distribution
Correlation matrix from Covariance matrix
Filling a grid so as not to completely fill any row, column or *any* diagonal
Completion as a functor between topological rings
Hom and tensor with a flat module
Every group is the quotient of a free group by a normal subgroup
Proof of Newton's Binomial Expansion
If $\gcd( a, b ) = 1$, then is it true to say $\gcd( ac, bc ) = c$?
Any example of manifold without global trivialization of tangent bundle
$E$ Lebesgue measurable implies $E^2$ Lebesgue measurable?
Complex numbers equation problem
Solve the equation: $x=\sqrt{a-\sqrt{a+x}},(a\geq 1)$
Question about Poisson formula

I have seen many proofs about a prime element is irreducible, but up to now I am thinking whether this result is true for any ring.

Recently, I got this proof:

Suppose that $a$ is prime, and that $a = bc$. Then certainly $a\mid bc$, so by definition of prime, $a\mid b$ or $a\mid c$, say $a \mid b$.

If $b = ad$ then $b = bcd$, so $cd = 1$ and therefore $c$ is a unit. (Note that $b$ cannot be $0$,for

if so, $a = bc = 0$, which is not possible since $a$ is prime.) Similarly, if $a\mid c$ with $c = ad$ then $c = bcd$, so $bd = 1$ and $b$ is a unit. Therefore $a$ is irreducible.

- Methods to see if a polynomial is irreducible
- Intuition regarding Chevalley-Warning Theorem
- Let $R=M_n(D)$, $D$ is a division ring. Prove that every $R-$simple module is isomorphic to each other.
- An integer $n$, such that $nx = 0$, where $x$ belongs to the quotient group $\Bbb Q/\Bbb Z$
- In a noetherian integral domain every non invertible element is a product of irreducible elements
- Let $K$ be a field and $f(x)\in K$ be a polynomial of degree $n$. And let $F$ be its splitting field. Show that $$ divides $n!$.

I think with the above proof we do not need the ring to be an integral domain. If this is the case then I will stop doubting, else, I am still in it.

Can somebody help me out?

- How many Jordan normal forms are there for this characteristic polynomial?
- Find a binary operation on a set of $5$ elements satisfying certain conditions and which does not define a group
- Possible Irreducible but NOT prime!
- Ring of matrices isomorphic to $O := \left\{a+b\frac{1+\sqrt{D}}{2}: a, b \in \mathbb{Z} \right\}$
- $H^1$ of $\Bbb Z$ as a trivial $G$-module is the abelianization of $G$
- Intuition on group homomorphisms
- In a finite abelian group of order n, must there be an element of order n?
- Which theorem did Poincaré prove?
- What is a set of generators for the multiplicative group of rationals?
- When is a cyclotomic polynomial over a finite field a minimal polynomial?

Notice that your proof assumes that $\rm\: b\ne 0\ \Rightarrow\ b\:$ is cancellable, so it fails if $\rm\:b\:$ is a zero-divisor. Factorization theory is more complicated in non-domains. Basic notions such as *associate* and *irreducible* bifurcate into a few inequivalent notions. See for example

When are Associates Unit Multiples?

D.D. Anderson, M. Axtell, S.J. Forman, and Joe Stickles.

Rocky Mountain J. Math. Volume 34, Number 3 (2004), 811-828.

Factorization in Commutative Rings with Zero-divisors.

D.D. Anderson, Silvia Valdes-Leon.

Rocky Mountain J. Math. Volume 28, Number 2 (1996), 439-480

If you choose the definition of $a$ is irreducible if $a=bc$ implies that $(a)=(b)$ or $(a)=(c)$ then it is true actually. For instance the proof is as follows:

Let $p\in R$ be a non-zero, non-unit. Suppose $p=bc$. We clearly have $b\mid p$ and $c \mid p$ since $b$ and $c$ are factors of $p$. On the other hand, $1\cdot p=bc$ implies that $p \mid bc$ and $p$ being prime implies $p \mid b$ or $p \mid c$. Thus $(p)=(b)$ or $(p)=(c)$ showing $p$ is irreducible by this definition.

Unfortunately, prime is quite different than any of the other possible definitions of irreducible when zero-divisors are present that I am familiar with. The definition above is the weakest choice for irreducible that I am aware of.

- Intuitive Explanation of Bessel's Correction
- Any closed subset of $\mathbb C$ is the set of limit points of some sequence
- Intuition for cross product of vector with itself and vector with zero vector
- Evaluating the integral $I(u,v,w)=\iint_{(0,\infty)^2}\sinh(upq) e^{-vq^2 – wp^2}pq(q^2-p^2)^{-1}dpdq$
- General Integral Formula
- How prove this inequality $(a+b+c+d+e)^3\geq9(2abc+abd+abe+acd+ade+2bcd+bce+bde+2cde),$
- Prove that $X,Y,Z$ lie on a single line.
- What is the probablity that a Rubik's cube is solvable if you randomly switch two squares?
- Application of Liouville's Theorem
- Evaluating $\int \frac{\mathrm dz}{z^3 \sqrt{z^2 – 4}}$
- Determinant of a rank $1$ update of a scalar matrix, or characteristic polynomial of a rank $1$ matrix
- Is 10 closer to infinity than 1?
- Is this set compact?
- Showing that $\displaystyle\int_{-a}^{a} \frac{\sqrt{a^2-x^2}}{1+x^2}dx = \pi\left (\sqrt{a^2+1}-1\right)$.
- Is a curve's curvature invariant under rotation and uniform scaling?