Intereting Posts

Does almost sure convergence implies convergence of the mean?
Lebesgue integration by substitution
Is irrational times rational always irrational?
expected area of a triangle determined by randomly placed points
Is there a bijective function $f: \mathbb{R}\to\mathbb{R}$ that is discontinuous?
How to determine whether a number can be written as a sum of two squares?
How many digits does $2^{1000}$ contain?
Convergence of $\int_{0}^{+\infty }\frac{e^{-x}} {1+x^2}dx$
Closed form for $\int_1^\infty\frac{\operatorname dx}{\operatorname \Gamma(x)}$
Series and integrals for inequalities and approximations to $\pi$
Second-order non-linear ODE
integration of 1/x as a riemann sum
Characteristic function of a square of normally distributed RV
What is an odd prime?
Examples of measures that induce certain inclusions in the Lp spaces.

Is the ring $K[a,b,c,d]/(ad-bc-1)$ a unique factorization domain?

I think this is a regular ring, so all of its localizations are UFDs by the Auslander–Buchsbaum theorem. However, I know there are Dedekind domains (which are regular; every local ring is a PID, so definitely UFD) that are not UFDs, so being a regular ring need not imply the ring is a UFD.

With the non-UFD Dedekind domains (at least the number rings), I can usually spot a non-unique factorization, but I don’t see any here in this higher dimensional example.

- Edge coloring of the cube
- How to find the subgroups of S4 generated by these sets.
- Prove $4+\sqrt{5}$ is prime in $\mathbb{Z}$
- Finding Sylow 2-subgroups of the dihedral group $D_n$
- Explicit basis for normal closure of $\Bbb Q(\alpha)$ over $\Bbb Q$
- If a subring of a ring R has identity, does R also have the identity?

- Is $f'(x)-3f(x) = 0$ subspace of differentiable functions $f\colon (0,1)\to \mathbb{R}$
- Theorems implied by Yoneda's lemma?
- Is there a non-cyclic group with every subgroup characteristic?
- Smith Normal Form and classification of factor groups according to the theorem of finitely generated abelian groups
- Does there exist a unital ring whose underlying abelian group is $\mathbb{Q}^*$?
- Projective resolution of $k$ over $R=k/(xy)$
- Example of a finite non-commutative ring without a unity
- Classifying $\mathbb{Z}_{12} \times \mathbb{Z}_3 \times \mathbb{Z}_6/\langle(8,2,4)\rangle$
- How is the quotient group related to the direct product group?
- Ring with maximal ideal not containing a specific expression

The answer (probably) depends on $K$.

If $K$ is an algebraically closed field of characteristic $\neq2$, then the ring $K[a,b,c,d]/(ad-bc-1)$ is a UFD.

This results (non trivially) from the Klein-Nagata theorem stating that if $n\geq 5$, the ring $K[x_1,…,x_n]/(q(x_1,…,x_n))$ is factorial for any field $K$ of characteristic $\neq2$ and any non degenerate quadratic form $ q(x_1,…,x_n)$.

I don’t know what happens to your question over non-algebraically closed fields.

CW version of Justin Campbell and Pete Clark’s answer:

More generally, the coordinate ring of any simply connected, semisimple, linear algebraic group is a UFD. This is proved as the Corollary on page 296 _{(p. 303 in translation)} of Popov (1974). The proof of the corollary from the proposition is explained in §11.2 of Pete Clark’s Factorization notes for those of us for whom the proof was not obvious. This requires knowing the coordinate ring of a linear algebraic group is regular.

Georges Elencwajg’s answer appears very related to §9.4 of Pete’s notes, where indeed the behavior of very similar rings requires characteristic not 2 and algebraic closure to apply.

For some reason, this particular ring is always a UFD, regardless of field.

I am still interested in a solution I can actually understand (so why would the Picard group of SL2 vanish?). The general proof is available in Popov (1974) to those who can read it:

- Popov, V. L.

“Picard groups of homogeneous spaces of linear algebraic groups and one-dimensional homogeneous vector fiberings.”

Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974), 294–322.

MR357399

URL:http://mi.mathnet.ru/eng/izv/v38/i2/p294_{(original)}

DOI:10.1070/IM1974v008n02ABEH002107_{(translation)}

Let $R=K[X,Y,Z,T]/(XY+ZT-1)$. It’s easily seen that $R$ is an integral domain.

In the following we denote by $x,y,z,t$ the residue classes of $X,Y,Z,T$ modulo the ideal $(XY+ZT-1)$.

First note that $x$ is prime: $R/xR\simeq K[Z,Z^{-1}][Y]$. Then observe that $R[x^{-1}]=K[x,z,t][x^{-1}]$ and $x$, $z$, $t$ are algebraically independent over $K$. This shows that $R[x^{-1}]$ is a UFD and from Nagata’s criterion we get that $R$ is a UFD.

- Implicit function theorem and implicit differentiation
- Prove that $ \lim\limits_{n \to \infty } \sum\limits_{k=1}^n f \left( \frac{k}{n^2} \right) = \frac 12 f'_d(0). $
- Geometric meaning of symmetric connection
- Usefulness of Variance
- Connections of Geometric Group Theory with other areas of mathematics.
- horizontal vector in tangent bundle
- Assigning alternate crossings to closed curves
- Let $f(x)$ be differentiable at $\mathbb R$, s.t $|f^\prime (x)| \le 6$ . Its given that $f(1)=20$, and $f(9)=68$ , prove that $f(7)=56$.
- Number of positive, negative eigenvalues and the number of sign changes in the determinants of the upper left submatrices of a symmetric matrix.
- Indefinite Integral with “sin” and “cos”: $\int\frac{3\sin(x) + 2\cos(x)}{2\sin(x) + 3\cos(x)} \; dx $
- Convergence of a recursively defined sequence
- indefinite integral of $x^n\sin(x)$
- Convergence of fixed point iteration for polynomial equations
- Evaluating Combination Sum $\sum{n+k\choose 2k} 2^{n-k}$
- Splitting an infinite unordered sum (both directions)