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 17734

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

2 votes
Accepted

$Hom (T,R)$ isomorphic to $R:T$?

First let's note that by the paper, $Q(R)$ is the total ring of fractions of $R$, i.e. it is the localization of $R$ by the subset of non-zero-divisors. The natural map $R \to Q(R),\,r \mapsto \frac{r …
Todd Leason 's user avatar
5 votes

Simple proof that $(p_1x_1-q_1y_1,...,p_nx_n-q_ny_n)$ is a prime ideal

[Sorry for answering my own question] By choosing integers $a_i,b_i$ with $a_ip_i+b_iq_i = 1$ one can define an automorphism on the polynomial ring by mapping $x_i \mapsto x'_i = p_ix_i-q_iy_i,\, y_ …
Todd Leason 's user avatar
4 votes
1 answer
218 views

Simple proof that $(p_1x_1-q_1y_1,...,p_nx_n-q_ny_n)$ is a prime ideal

Is there a nice way to show that $$(p_1x_1-q_1y_1,\ldots ,p_nx_n-q_ny_n) \subseteq \mathbb{Z}[x_1,...,x_n,y_1,...,y_n]$$ is a prime ideal for coprime non-zero integers $p_i,q_i\,(i=1,...,n)$ ? I h …
Todd Leason 's user avatar
2 votes

Dimension of a commutative ring

Picking up a simplified version of Jason Starr's idea: $R = \mathbb{Z}_p \times \mathbb{Z}$ has dimension $1\,\,( \mathbb{Z}_p$ denotes the p-adic integes) and Jacobson radical $(p) \times 0 \not= 0 …
Todd Leason 's user avatar
3 votes
1 answer
154 views

Elementary divisors for chains of submodules

Given free modules $N \le M$ of finite rank over a PID $R$, it's well-known that there is a basis $\{x_1,\ldots,x_n\}$ of $M$ and there are $e_1,\ldots,e_n \in R$ such that $\{e_ix_i\mid e_i \neq 0\} …
Todd Leason 's user avatar
9 votes
Accepted

On rings $R$ such that $xR\cap yR$ is non zero whenever $x$ and $y$ are non zero

These rings are called right uniform rings. Generally, a right ideal $I$ is called (right) uniform if all nonzero right subideals $J,K\subseteq I$ have nonzero intersection: $J\cap K \neq 0$. Note: …
Todd Leason 's user avatar
6 votes
2 answers
1k views

Kernel of evaluation map into field of quotients

Let $R$ be an integral domain and for $a \in R$ denote by $\text{eval}_a: R[X] \to R$ evaluation at $a$. It's well-known (and easy to see) that $$\ker(\text{eval}_a)=(X-a).$$ The next more complicate …
Todd Leason 's user avatar
1 vote

The center of a(n endomorphism) ring is a PID

Two classes of torsion-free abelian groups having the desired property are free abelian groups torsion-free divisible groups (here I use the axiom of choice) By noting that a torsion-free divis …
Todd Leason 's user avatar
4 votes
Accepted

Is the restriction of a graded automorphism of a polynomial ring to a polynomial subring lin...

No. Counterexample: Let $\deg x = \deg y = 1$ and take $$A=\mathbb{F}_2[x,y],\,\,\,B=\mathbb{F}_2[x,y^2],\,\,\,\,\,g(x)=x,\,\,g(y)=x+y$$ As already observed by the OP, since the generators of $B$ hav …
Todd Leason 's user avatar
4 votes
Accepted

how to pass from algebraic power series to the analytic ones

I don't think that analytic power series can be controlled by algebraic power series in an algebraic way, because they are often transcendental over the former. Suppose an automorphism $\phi$ of …
Todd Leason 's user avatar