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 4194

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

2 votes

$\inf\{i\in \mathbb N \cup \{0\}\cup\infty\mid Ext^i_R(R/I,R)\neq 0\}=0 ?$

I think the answers to both questions are yes. Put a grading on $R$ so that it is connected (zero in negative degrees, $k$ in degree 0): for example, put $x_n$ in degree $n$. (It also seems safest to …
John Palmieri's user avatar
4 votes
0 answers
97 views

Compute equalizer of maps of polynomial rings, perhaps using Gröbner bases

Suppose that $k$ is a field and I have two ring homomorphisms $$ \phi, \psi :k[x_1,...,x_m] \to k[y_1,...,y_n]. $$ How can I use Gröbner bases (or other computational tools) to compute the subring of …
John Palmieri's user avatar
7 votes

Over which (graded) rings are all modules decomposable into indecomposables?

In the book Spectra and the Steenrod Algebra, Margolis proves the following (Theorem 21 in chapter 11): if $A$ is a graded connected algebra over a finite field and if $M$ is an $A$-module which is fi …
John Palmieri's user avatar
8 votes

What are some toy models for the stable homotopy groups of spheres?

As Dave Benson says, the Noetherian condition simplifies a lot of things. The derived category of a commutative ring satisfies many of the properties of the stable homotopy category. The derived categ …
John Palmieri's user avatar
4 votes

Is being graded commutative a necessary condition on $A$ such that $H^*(A)$ is commutative?

I think that Mark Grant's answer is great, but if you want a simpler algebra, consider $$ k\langle a_2, b_2, c_3 \rangle / (ac-ca, bc-cb, [a,[a,b]], [b, [a,b]]). $$ (Subscripts indicate the degrees of …
John Palmieri's user avatar