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.
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 …
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_ …
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 …
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 …
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\} …
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: …
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 …
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 …
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 …
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 …