13
votes
1answer
383 views

A weird question about two weird decompositions of $\mathbb{R}$ as a $\mathbb{Q}$-vector space

While working in a question about the affine group $\text{Aff}(\mathbb{R})$, I have come up with the following strange question about the real numbers: Question: Do there exist a non-trivial ...
1
vote
0answers
240 views

Kunneth spectral sequence

In Rotman's Homological Algebra, 1st edition, there is written: Is every detail of 11.31-11.35 correct? Isn't the spectral sequence in 11.35 1st quadrant and not 3rd quadrant? Do 11.34-35 also ...
3
votes
1answer
233 views

operations on ideals in a subring of number field

For three ideals $I, J$ and $K$ of a subring $R$ in a number field $L$, does this equality hold in general? $(I+J) \cap K = (I \cap K) + (J \cap K)$ I have no counterexample yet but I couldn't prove ...
0
votes
0answers
64 views

Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8 in Monomial Ideals by Herzog and Hibi: Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators ...
0
votes
0answers
37 views

Graded Betti Numbers of a Stable Monomial Ideal

Exercise 8.8 in Monomial Ideals by Herzog and Hibi: Let $I\subset S=K[x_{1},...,x_{n}]$ be a stable monomial ideal with $G(I)=\{u_{1},...,u_{m}\}$ and such that for $i<j$, either ...
0
votes
0answers
42 views

About Linear Quotients of Square of an Ideal with Linear Quotients

Let $I$ be a monomial ideal generated by quadratic monomials $u_{1},...,u_{s}$ and suppose that $I$ has linear quotients with respect to this given ordering. Is it true or false that $I^{2}$ has ...
9
votes
1answer
334 views

How is a descent datum the same as a comodule structure?

For a homomorphism of commutative rings $f:R\to S$, there are at least two notions of a descent datum for this map. One of these is to be an $S$-module $M$, with an isomorphism $M\otimes_R S\cong ...
2
votes
1answer
109 views

Does this solution guarantee $det(A)=0$ where $A\in M(R)$? [closed]

Suppose $R$ is a commutative ring with identity $1$ and the following matrix equation holds: $\begin{pmatrix} a_n & & \\ \vdots & \ddots & \\ a_1 ...
0
votes
0answers
177 views

Monomial ideals: isomorphism problem for commutative algebras?

Theorem 5.27 in Polytopes, Rings, and K-Theory (Bruns, Gubeladze - 2009 - Springer SMM) claims: Let $K$ be a field and $I\!\unlhd\!K[x]= K[x_1,\ldots,x_n]$ and ...
0
votes
0answers
69 views

Example of a ring whose minimals are annihilators of idempotents?

I'm looking for examples† of rings with the property that for each $P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$) † other than domains!
2
votes
2answers
405 views

Stanley-Reisner ring of a simplicial complex is a functor?

Let $K$ bea field and $[n]=\{1,\ldots,n\}$ and $K[x]=K[x_1,\ldots,x_n]$. For $\sigma=\{i_1,\ldots,i_k\}\subseteq [n]$, denote $x_\sigma=x_{i_1}\cdots x_{i_k}=\prod_{i\in\sigma}x_i\in K[x]$. Let ...
5
votes
2answers
1k views

Algebraic Morse theory

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going ...
4
votes
1answer
154 views

Detecting elements of nilpotent extensions via finitely generated ones

Suppose that $\pi:A \to K$ is a surjective map of $K$-algebras with nilpotent kernel, for $K$ a commutative unital ring field. (Recall that this means $Ker(\pi)^n=0$ for some integer $n$.) Notice that ...
4
votes
1answer
508 views

the direct sum of injective modules need not be injective

the Bass-Papp Theorem asserts that a commutative ring $R$ is Noetherian iff every direct sum of injective R-modules is injective. Thus every non-Noetherian ring carries a counterexample. If $$ I_1 ...
2
votes
1answer
273 views

Noether Normalization in $\mathbb{C}[[x_1,…,x_n]]$

Hello everyone, though I am quite sure my question is not on a research level, I am a bit helpless as of where to ask it. I posted it on math.stackexchange here, but there has been no answer helping ...
1
vote
1answer
368 views

Integrally closed

Is there any idea to prove that $F + xk[[x]]$ is not integrally closed when the field $k$ is a proper extension of the field $F.$
1
vote
1answer
344 views

Unimodular column property

Hi, I know that if $R$ is a ring such that every projective $R$-module finitely generated is free then $R$ has the unimodular column property. I would like to know if there is a ring $R$ that doesn't ...
7
votes
1answer
664 views

Direct sum of injective modules over non-Noetherian rings

Hi. I know, by the Bass-Papp theorem, that if every direct sum of injective $R$-modules is injective then $R$ is Noetherian. I would like to know if there exists a direct sum of injective $R$-modules ...
2
votes
2answers
351 views

Related to fractional ideals

$K$ a field, $A\subset K$ a subring, $M\subset K$ an $A$-submodule. Define $$(A:_{K}M):= \lbrace s\in K|sM\subset A\rbrace$$ Then it is easy to see that $$M\subset A\Longleftrightarrow A\subset ...
6
votes
3answers
835 views

Does “finitely presented” mean “always finitely presented”, considered in general

I'm wondering about the question, "If we have a finitely presented __, is it necessarily finitely presented with respect to any finite generating set for it?" I know this is true for groups and for ...
2
votes
7answers
2k views

How to tell if two random polynomials are identical

Let t be a positive real number. Let P(x) and Q(x) be two random polynomials with integer coefficients. If P(t) = Q(t), then what is the probability that P(x) is not identical to Q(x)? Will it make a ...
1
vote
2answers
839 views

Extension problem

As I understand, if $0\rightarrow A\rightarrow X\rightarrow B\rightarrow 0$ is a short exact sequence of abelian groups, $\mbox{Ext }_{\mathbb{Z}}^{1}(B,A)$ gives all the isomorphism classes of what ...
10
votes
4answers
1k views

Linearly independent subsets of a free module

Is it true that the cardinality of every maximal linearly independent subset of a finitely generated free module $A^{n}$ is equal to $n$ (not just at most $n$, but in fact $n$)? Here $A$ is a nonzero ...
14
votes
6answers
3k views

Do convolution and multiplication satisfy any nontrivial algebraic identities?

For (suitable) real- or complex-valued functions f and g on a (suitable) abelian group G, we have two bilinear operations: multiplication - (f.g)(x) = f(x)g(x), and convolution - (f*g)(x) = ...