Search Results
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 |
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
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 …
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 …
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 …
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 …
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 …
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 $\ …
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 …
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$ …
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 …
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 …