Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 11765

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

1 vote
2 answers
382 views

quotient of integral polynomials not being integral

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 …
Hugo Chapdelaine's user avatar
3 votes
1 answer
569 views

When does grading pass to (co)-homology?

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$ …
Hugo Chapdelaine's user avatar
2 votes
1 answer
609 views

Frobenius base change of etale maps

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 …
Hugo Chapdelaine's user avatar
14 votes

Irreducibility of polynomials in two variables

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 …
Hugo Chapdelaine's user avatar
2 votes
2 answers
604 views

(non-trivial) isotrivial family of elliptic curves over C^{\times}

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 …
Hugo Chapdelaine's user avatar
2 votes
1 answer
214 views

Criteria for the surjectivity of the reduction map of the $SL_n$-group scheme

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 …
Hugo Chapdelaine's user avatar
1 vote

Criteria for the surjectivity of the reduction map of the $SL_n$-group scheme

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 …
Hugo Chapdelaine's user avatar
2 votes
1 answer
458 views

General criterion to find a Z-basis in a fixed generating subset

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 …
Hugo Chapdelaine's user avatar
6 votes
0 answers
316 views

Testing isomorphism of finitely generated algebras

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 $\ …
Hugo Chapdelaine's user avatar
20 votes
2 answers
678 views

non-isomorphic stably isomorphic fields

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 …
Hugo Chapdelaine's user avatar