Intereting Posts

$L^p(\mathbb{R})$ separable.
Convolution of an integrable function of compact support with a bump function.
Minima of symmetric functions given a constraint
If $|f(z)|\lt a|q(z)|$ for some $a\gt 0$, then $f=bq$ for some $b\in \mathbb C$
differentiate log Gamma function
Why is $\zeta(1+it) \neq 0$ equivalent to the prime number theorem?
Approximation of measurable function by simple functions
Find all Integral solutions to $x+y+z=3$, $x^3+y^3+z^3=3$.
The simple roots of a polynomial are smooth functions with respect to the coefficients of the polynomial?
The support of Gaussian measure in Hilbert Space $L^2(S^1)$ with covariance $(1-\Delta)^{-1}$
Quadratic Recurrence : $f(n) = f(n-1) + f(n-2) + f(n-1) f(n-2)$ Solution? How?
Is there a classification of finite abelian group schemes?
Is every Mersenne prime of the form : $x^2+3 \cdot y^2$?
How do we know that $x^2 + \frac{1}{x^2}$ is greater or equal to $2$?
Partitioning a natural number $n$ in order to get the maximum product sequence of its addends

How can I prove that $2+\sqrt{-5}$ is irreducible in $\mathbb{Z}[\sqrt{-5}]$? I tried to show by $2+\sqrt{-5}=(a+b\sqrt{-5})(c+d\sqrt{-5})$ but I could not get a contradiction.

- The smallest quasigroup which is not a group
- Are there ideals in $M_n(P)$ that are not of the form $M_n(I)$?
- what does “the conjugacy part of sylow's theorems” denote?
- A binary operation, closed over the reals, that is associative, but not commutative
- $G$ is locally compact semitopological group. There exists a neighborhood $U$ of $1$ such that $\overline{UU}$ is compact.
- Number of subgroups of $S_4$
- Rings with $a^5=a$ are commutative
- Are all simple left modules over a simple left artinian ring isomorphic?
- What is the difference between ring homomorphism and module homomorphism?
- The group $E(\mathbb{F}_p)$ has exactly $p+1$ elements

If $2+\sqrt{-5} = AB$, then $9=N(2+\sqrt{-5})=N(A)N(B)$ where $$N(u+v\sqrt{-5})=(u+v\sqrt{-5})(u-v\sqrt{-5})=u^2+5v^2$$ is the norm. If $N(A)=1$ or $N(B)=1$, then $A$ is a unit or $B$ is a unit, respectively. So if $2+\sqrt{-5}$ is reducible, there must be $A,B$ with $N(A)=N(B)=3$. Show that there can’t be any $A$ such that $N(A)=3$.

While you already have a very big hint, I thought it would be worthwhile to expand a bit on the conceptual motivation. Generally, when studying factorization theory in rings of algebraic integers one can deduce a *great deal* from studying the factorizations of their corresponding norms – which form a multiplicative submonoid of the integers. This is true simply because the norm map is *multiplicative* so it preserves many properties related to factorization. For example, in many favorable contexts (e.g. Galois) a number ring enjoys unique factorization iff its monoid of norms does. For references (Bumby and Dade, Lettl, Coykendall) see my sci.math post on 19 Dec 2007 partially excerpted below (see the post for AMS reviews of related interesting papers).

Let $d\,$ be a squarefree positive integer, with $\,d > 1,\,$ and let $R\,$ be

the ring of integers of the real quadratic number field $\,\Bbb Q(\sqrt d).\,$ Let $\,z \in R\,$ be such that $\,N(z)\,$ is composite.Question $(1)\!:\ $ Must $z$ be reducible in $R\,?$

No, e.g. inert primes $p\,$ have $\, N(p) = p^2.$

A number ring is a PID iff its atoms have prime power norms,

i.e. exactly one prime $\,p\,$ occurs in norms of an irreducible element

$\,N(q) = p^n,\, p,q\,$ atoms in resp. rings. The proof is easy.

Question $(2)\!:\ $ If there exist nonunits $\,x,y \in R\,$ such that

$\,N(x) N(y) = N(z),\,$ must $\,z\,$ be reducible in $\,R\,?$

No, e.g. $\,x = y = 3,\, z = 5 + 2 \sqrt{-14}.$

Bumby and Dade [2] classified those quadratic number fields $K$ where

reducibility depends only on the norm. Denoting the class group by $H,$

they proved that $K$ satisfies this property iff

(a) $\ H\,$ has exponent $2,\,$ or

(b) $\ H\,$ is odd, $\,$ or

(c) $\ K\,$ is real with positive fundamental unit and the $2$-Sylow subgroup

of the narrow class group is cyclic.

Note the above example $\,\Bbb Q(\sqrt{-14})$ has class group $\,K = {\rm C}(4)\,$ with exponent $4$.

See Coykendall’s paper [1] for a recent discussion of related results

and generalizations.

[1] Jim Coykendall. Properties of the normset relating to the class group.

http://www.ams.org/proc/1996-124-12/S0002-9939-96-03387-4

http://www.math.ndsu.nodak.edu/faculty/coykenda/paper3.pdf

[2] 35 #4186 10.65 (12.00)

Bumby, R. T. Irreducible integers in Galois extensions.

Pacific J. Math. 22 1967 221–229.

- Does there exist a field $(F,+,*)$ so that $(F,+) \cong (F^*,*)$?
- Is there a map from the torus to the genus 2 surface which is injective on homology?
- Coupon collector without replacement
- Defining the Product of Ideals
- Why are “algebras” called algebras?
- Existence of Killing field
- Prove homotopic attaching maps give homotopy equivalent spaces by attaching a cell
- How to find a general sum formula for the series: 5+55+555+5555+…?
- Are $4ab\pm 1 $ and $(4a^2\pm 1)^2$ coprime?
- Uniqueness of the infinite expansion in base $b$
- Motivation behind standard deviation?
- Are there Hausdorff spaces which are not locally compact and in which all infinite compact sets have nonempty interior?
- About powers of irrational numbers
- Sum with binomial coefficients: $\sum_{k=0}^{n}{2n\choose 2k}$
- Showing that rationals have Lebesgue measure zero.