## Is the ring of quaternionic polynomials factorial?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Denote by $\mathbb{H}[x_1,\dots,x_n]$ the ring of polynomials in $n$ variables with quaternionic coefficients, where the variables commute with each other and with the coefficients. Two polynomials $P,Q\in \mathbb{H}[x_1,\dots,x_n]$ are similar, if $P=a Q b$ for some $a,b\in \mathbb{H}$. A ring $\mathbb{K}$ is factorial, if the equality $P_1\cdot\dots\cdot P_n=Q_1\cdot\dots\cdot Q_m$, where $P_1,\dots, P_n,Q_1,\dots,Q_m\in \mathbb{K}$ are irreducible (and noninvertible) elements, imply that $n=m$ and there is a permutation $s\in S_n$ such that $P_k$ is similar to $Q_{s(k)}$ for each $k=1,\dots,n$?

By [1, Theorem 1] and [2, Theorem 2.1] it follows that $\mathbb{H}[x]$ is factorial.

Is the ring $\mathbb{H}[x,y]$ factorial?

This question is a continuation of the following ones:

http://mathoverflow.net/questions/79063/when-the-determinant-of-a-2x2-polynomial-matrix-is-a-square

http://mathoverflow.net/questions/62820/pythagorean-5-tuples

[1] Oystein Ore, Theory of non-commutative polynomials, Annals of Math. (II) 34, 1933, 480-508.

[2] Graziano Gentili and Daniele C. Struppa, On the Multiplicity of Zeroes of Polynomials with Quaternionic Coefficients, Milan J. Math. 76 (2008), 15-25, DOI 10.1007/s00032-008-0093-0.

-

## 1 Answer

Just to remove the question from the 'Unanswered' list: $(x-i)\cdot((x+i)(y+j)+1)=((y+j)(x+i)+1)\cdot(x-i)$, hence $\mathbb{H}[x,y]$ is not factorial.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 17, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8245550394058228, "perplexity_flag": "head"}