10
votes
0answers
227 views

If $B\subseteq A$ are free & finite rank $R$-algebras, is $R\to A \otimes_B R$ injective?

(In this question, all rings and algebras are commutative with identity.) I have a situation that boils down to the following data: a ring $R$, an $R$-algebra $A$ with a subalgebra $B$ such that $A$ ...
5
votes
0answers
120 views

Operator connected with Hermite polynomials

For $n \geq 1$, define the following operator $M_n$ on the ring of all polynomials with real coefficients. $$M_n P(x) = nP(x)^2 - x \int_0^x (P'(t))^2 \, \mathrm{d}t$$ Monomials $x^k$ are mapped to $n ...
0
votes
0answers
35 views

$I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$

In a semmi-quasi local domain $D$ ( i.e. $D$ has finitely many maximal ideals), an ideal $I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$. [See Comm. Rings by Kaplansky, ...
2
votes
1answer
298 views

Who defined and who coined “module”?

The title of my Q. says it all: QUESTION:   Who defined and who coined: module? Would it be Emmy Noether? EDIT   In view of @anon's and KConrad's answers, and as it could have been ...
1
vote
1answer
116 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 ...
9
votes
2answers
254 views

Existence of a ring with specified residue fields

Given a finite set of fields $k_1, \ldots, k_n$, is there a (commutative with $1$) ring $R$ with (maximal) ideals $m_i$ such that $R/m_i \cong k_i$? To prevent things from being too easy, I ...
3
votes
2answers
171 views

Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...
0
votes
0answers
19 views

Projecting solutions of Hermitian forms over local rings

Let $R$ be a local ring (commutative and with $1$) with maximal ideal $M$, with an involution $\theta$. Let $h$ be a Hermitian form on $R^n$, i.e. $h:R^n\times R^n\rightarrow R$ such that $h$ is ...
4
votes
0answers
144 views

A doubt from the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring”

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I have a doubt about the first part of Theorem 2.5. In the proof $(1)\iff ...
2
votes
1answer
140 views

Vertices of a polytope as algebra generators

I am wondering if the following kind of objects has some name, or are there any studied examples. I apologize for perhaps too specific definition, this is an adoptation of a situation that arises in ...
5
votes
1answer
172 views

Injective flat module

Let $R$ be a (right noetherian) ring. Is there always a right $R$-module which is both flat and injective? If $R$ is an integral domain, then the answer is indeed yes, as the quotient field is such. ...
1
vote
0answers
207 views

Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative). Setup Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying: If $u$ is a unit ...
13
votes
1answer
333 views

If the tensor power $M^{\otimes n} = 0$, is it possible that $M^{\otimes n-1}$ is nonzero?

This question was asked earlier on math.stackexchange: click here. See the comments and the answer by Jack Schmidt there. Let $M$ be a module over a commutative ring $R$. It is possible that $M ...
1
vote
2answers
166 views

Is there an intuitionistic generalized boolean algebra (of Stone)?

A "boolean algebra without the greatest element" was called by Stone "generalized boolean algebra" and he axiomatized it. Is there any publication about "preudo-boolean algebras without the greatest ...
5
votes
1answer
214 views

Inverse limit of Gorenstein local rings is again Gorenstein?

If we have the system of surjective ring homomorphisms $f_{i,i+1}: R_{i+1} \twoheadrightarrow R_i$ for an arbitrary $i \geq 0$ such that all $R_i$ are Gorenstein local ring. Let us put ...
0
votes
0answers
84 views

Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$

Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$. Definition(Super-Gorenstein ideal): ...
0
votes
2answers
248 views

Rank of a $ \mathbb{Z}_{p}[[T]] $ module

Let $p$ be a prime and $M$ is a finitely generated $ \mathbb{Z}_{p}[[T]] $ module. Suppose $M[p]$ denotes the $p$-torsion of $M$. Then $M[p]$ and $M/(p)$ are both $ F_{p}$ vector spaces. So we can ...
2
votes
0answers
97 views

Universally catenary and all its formal fibers over minimal members are Cohen-Macaulay but it has a nonCohen-Macaulay formal fiber

Please help me to find a Noetherian local ring $R$ such that: $R$ is universally catenary and all its formal fibers over minimal members of $Spec(R)$ are Cohen-Macaulay but $R$ has a nonCohen-Macaulay ...
7
votes
0answers
159 views

Square of primary ideals

Is there any example of a $P$-primary ideal $I$ in a noetherian domain $R$ such that $I^2=PI \not=P^2$?
4
votes
1answer
184 views

Algebra structure $Tor(A,A)$

This is a question i asked on math.stackexchange but i didn't get any answer. Let $A$ be algebra over commutative ring $k$ and $P_{\bullet}=(P_i,d_i)\rightarrow A$, $k$ projective resolution. Then we ...
4
votes
1answer
116 views

Localizations of hereditary rings

It is known that if a commutative Noetherian ring $R$ is hereditary then for any maximal ideal $M$ the localization $R_M$ is also hereditary. Is the Noetherian assumption necessary?
0
votes
1answer
147 views

Depth of polynomial ring $S=\Bbb{R}[x_1,x_2,x_3,…,x_n,…]$

Consider the polynomial ring of countable variables with coefficients in the real numbers, i.e, $S=\Bbb{R}[x_1,x_2,x_3,...,x_n,...]$. My Question is about the depth of this ring. Question: Could we ...
1
vote
1answer
183 views

chain of prime ideals in polynomial ring $S=\Bbb{R}[x_1,x_2,…,x_n,…]$

Consider the polynomial ring of countable variables with coefficients in the real numbers, i.e, $S=\Bbb{R}[x_1,x_2,x_3,...,x_n,...]$. Is the following question true? Question: Is there any maximal ...
9
votes
1answer
227 views

Bernstein-Sato polynomial (one variable)

Let $R = \mathbb{C}[x_1,...,x_n]$, $p \in R$. There exists a monic (of lowest degree) $b_p(x) \in \mathbb{C}[s]$ and a differential operator $D(s)$ such that $$b_p(s) p^s = D(x)p^{s+1}.$$ The ...
2
votes
2answers
184 views

Tychonoff spaces and ideals

Let $X$ be a tychonoff space and let $T$ be the set of all $f \in C(X)$ such that for any $g$ the equation $fg = 1$ has at most finitely many solutions. Under what conditions on $X$, the set $T$ is an ...
3
votes
0answers
156 views

Comparing different Euclidean algorithms on a Euclidean domain

I have posted this question at stackexchange (502413), without responses until now. In the papers by T. Motzkin: The Euclidean Algorithm, Bull. AMS 55, 1949, pp. 1142--1146 and P. Samuel: About ...
3
votes
3answers
310 views

A question concerning the isomorphic type of continuous functions

let $S$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are continuous outside a bounded open interval containing zero (depended on $f$). Is it possible to consider $S$ as ...
5
votes
1answer
421 views

Uncountable Reduced ring $R$ with $R[x]$ has only a countable number of maximal left ideals

The question is following: Is there an uncountable reduced ring (i.e., a ring with no non-zero nilpotent element) $R$ (with identity) such that $R[x]$ has only a countable number of maximal ...
4
votes
2answers
291 views

Is there a Tychonoff space $X$ of cardinality not of the form $2^\alpha$ such that $|C(X)| = |X|$

Let $X$ be the real line with the usual topology. Then clearly $|C(X)| = c = |X|$ and on the other hand $|X| = 2^{\aleph_0}$. Now my question is as in the title: Is there a Tychonoff space $X$ of ...
8
votes
2answers
351 views

Is it true that if $M$ is injective then $S^{-1}M$ is also injective

Let $R$ be a commutative ring with identity and let $S$ be a multiplicative subset of $R$. Is it true that for any injective $R$-module like $M$, $S^{-1}M$ (as the $S^{-1}R$-module) is also injective ...
1
vote
1answer
165 views

elementary question on a completion of a ring

Let $k$ a field, and $k[\epsilon]=k[X]/(X^{2})$ , what is the completion of the ring $k[\epsilon][t]$ with respect to the ideal $(t^{2}+\epsilon)$?
2
votes
1answer
207 views

Symmetric algebra of an ideal and syzygies

Let $(R,\mathfrak{m})$ be a Cohen Macaulay local ring and $I=(a_1,\ldots,a_g,a_{g+1})$ an almost complete intersection ideal of codimension $g.$ Let $R^k\longrightarrow R^{g+1}\longrightarrow ...
1
vote
1answer
98 views

Invariance of reduced trace of Azumaya algebras

Let $A$ be an Azumaya algebra over the commutative ring $R$ and let $\newcommand{\tr}{\operatorname{tr}} \tr\colon A \to R$ be the reduced trace as defined (for example) in Section IV.2 of M.-A. Knus, ...
2
votes
1answer
99 views

Degree principles for non-symmetric polynomials

A theorem of Timofte says that a symmetric polynomial inequality of degree $d$ holds on $\mathbb{R}^{n}_{+}$ if and only if it holds for all vectors in $\mathbb{R}^{n}_{+}$ with at most $\max\{\lfloor ...
0
votes
1answer
224 views

Finite extension of a field [closed]

Is it true, that if $A$ is finitely generated commutatative algebra over a field $k$, not necessary algebraically closed, then prime ideal $p \subset A$ is maximal if and only if $k \subset Quot(A/p)$ ...
4
votes
2answers
522 views

Example of a reduced ring whose completion is not reduced

Let $(R,\mathfrak{m})$ be a local Noetherian ring. Give an example such that R is reduced but $\mathfrak{m}$-adic completion of R is not reduced.
1
vote
0answers
122 views

Ring of Witt Vectors and Tensor product of Fields

Let $p > 2$ be a prime, and let $\textbf{F}_{p} = \textbf{Z}/p\textbf{Z}$. Let $k_{1}$ be a finite field over $\textbf{F}_{p}$, and let $k$ be a perfect field of characteristic $p$. Then we have ...
2
votes
0answers
82 views

Nontrivial examples of rings of relative stable rank 1

Given a (commutative) ring $R$, one says that the stable rank $sr(R)\leq n$ if any unimodular row $(a_1,\ldots,a_{n+1})$ of length $n+1$ is stable, i.e. there exist $x_1,\ldots,x_n$ such that ...
1
vote
1answer
121 views

Finding reducible polynomials with restricted factors

Given $f(x),g(x) \in \mathbb{Z}[x]$, two irreducible polynomials, is there a polynomial $h(x) \in \mathbb{Z}[x]$ coprime to $f(x)$ such that $f(x) + g(x)h(x)$ is reducible over $\mathbb{Z}[x]$ with ...
2
votes
1answer
156 views

for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?

Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital. Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...
1
vote
0answers
119 views

Rings with the property $\dim R-\dim R/p\leq \text{const}$ for all minimal $p$

I'm curious if there exists a class of rings generalizing quasi-unmixed rings. I guess a generalization of quasi-unmixed rings can be done as follows: For a fixed integer $i$ $$\forall ...
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
0answers
67 views

Subfields $k\subseteq F\subseteq k(x_1,\dots,x_n)$. Is then $F\cap k[x_1,\dots,x_n]=k(f_1,\dots,f_m)\cap k[x_1,\dots,x_n]$ for polynomials $f_i$?

Let $F\subseteq k(x_1,\dots,x_n)$ be a subfield with $k\subseteq F$. I know that $F=k(\psi_1,\dots,\psi_r)$ for rational functions $\psi_i\in k(x_1,\dots,x_n)$. I'm interested in the intersection ...
0
votes
1answer
155 views

Embedded associated prime

$\underline{\textbf{Embedded associated prime}}$ I am reading the book "Joins and Intersections". In the proof of Rees theorem I have some doubt. Let $\mathbf M$ be a finitely generated $\mathbf ...
12
votes
1answer
472 views

Examples of polynomial rings $A[x]$ with relatively large Krull dimension

If $A$ is a commutative ring we have the estimate $$ \dim (A)+1 \le \dim (A[x])\le 2\dim (A)+1 $$ for the Krull dimension, with $\dim (A)+1 = \dim (A[x])$ for Noetherian rings. I am looking for nice ...
1
vote
1answer
115 views

An example of a ring $R$ with the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.

I'm looking for an example of a commutative (preferably local) ring $R$ such that ${\rm dim}R>0$ and $R$ has the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$. This ...
3
votes
3answers
311 views

Support of a module over a polynomial algebra

In Atiyah and Bott's paper "The Moment Map and Equivariant Cohomology", they say that for any exact sequence of modules over $\mathbb{C}[u_1,...,u_l]$ $$D \to E \to F,$$ we have that Supp $E \subset$ ...
2
votes
0answers
151 views

About free resolutions of graded commutative algebras

Hi, I'm having troubles in adapting certain algebraic constructions to graded cases. We know that if $A$ is a commutative ring and $a_1,...,a_k$ are elements on $A$, there is a construction of the ...
0
votes
1answer
155 views

Tensoring with descending chain of modules

Let $A \to B$ be a ring homomorphism. Let $M_1 \supseteq M_2\supseteq \ldots$ be an infinite chain of $A$-modules ($M_i$ not necessarily finite free). Suppose that the limit $\cap_{i=1}^{\infty} M_i$ ...
0
votes
1answer
155 views

Hochschild (co)homology and Kahler differentials

Suppose $A$ is an augmented commutative algebra over a field $k$. What is the relation between Hochschild homology $H_n(A,k)$ and Kahler differential $\Omega_{A/k}$? The same question is also asked ...