Search Results

Q1: What is the simplest example of two non-isomorphic fields $L$ and $K$ of characteristic $0$ such that $L(x)\simeq K(x)$ (here $x$ is an indeterminate)? Q2: Do we have a sufficient criterion for …

Let $f\in A[x][y]$ where $A$ is a UFD and assume that $f$ is monic, i.e that it can be written as $$ f=a_0+a_1 y+\ldots a_{n-1}y^{n-1}+y^n, $$ with $a_i\in A[x]$. Assume that there exists an irreducib …

Let $A=\mathbf{Q}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over the rational numbers. Let $B=\mathbf{Q}[f_1,\ldots,f_r]$ and $C=\mathbf{Q}[g_1,\ldots,g_s]$ be two finitely generated $\ …

Let $G$ be an abelian group and let $R$ be a $G$-graded commutative ring, i.e., $R=\oplus_{g\in G} R_g$ with $R_gR_h\subseteq R_{g+h}$. Let $M$ be a $G$-graded $R$-module i.e. $M=\oplus_{g\in G}M_g$ …

Let $R$ be a commutative ring and let $I\subseteq R$ be an ideal. We have a natural projection map $$ \pi:SL_n(R)\rightarrow SL_n(R/I) $$ (In the original question I had put $GL_n$ instead of $SL_n$ w …

Let $V=\mathbf{Z}^N$ be a free $\mathbf{Z}$-module of rank $N$. Let $S\subseteq V$ be a fixed finite subset. Consider the submodule $M:=\langle S\rangle\leq V$ generated by $S$. We know form the gen …

Let $A$ be a characteristic $p>0$ commutative ring. Let $B$ be a finitely presented etale $A$ algebra i.e. $$ B=A[x_1,\ldots,x_n]/(f_1,\ldots,f_n), $$ with $det(\frac{\partial f_i}{\partial x_j})\in …

So How does one prove (rigorously) that $$ Frac(\mathbb{C}[x,y,t]/(y^2-x^3-t)) \not\simeq Frac(\mathbb{C}[t][x,y]/(y^2-x^3-1))? $$ So here $Frac$ denotes the fraction field of an integral domain. Not …

The answers to Q2 and Q3 are positive. See Luc Guyot comment in the following MO Question: When is $SL(n,R) \rightarrow SL(n,R/q)$ surjective? In general, if $R$ is a noetherian one dimensional dom …

So let $R$ be an integral domain and $K$ its fraction field. Let $f,g,h\in K[x]$ be 3 monic polynomials such that $f=gh$. So I would like to have a simple example of a ring $R$ for which one has that …