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.
8
votes
Accepted
Classify commutative rings $R$ such that $A \otimes_{\Bbb Z} B = A \otimes _{R} B$
Fernando and Pierre-Yves in the comments are right; $R$ has this property (the version where the canonical map is an isomorphism, as YCor says in the comments) iff it is a solid ring, meaning the mult …
17
votes
16
votes
Does the rational power series ring $\mathbb{Q}[[X]]$ embed as a ring into the field of real...
Some commentary on David's very nice answer that might provide some useful context. If $D$ is a subring of $\mathbb{R}$ then it must be an integral domain and its field of fractions $\operatorname{Fra …
3
votes
When a formal power series is a rational function in disguise
More or less by definition this is the case precisely when the coefficients of $f$ satisfies a homogeneous linear recurrence with coefficients in $k$. Equivalently, the coefficients of $f$ are a line …
12
votes
Can the projective line be provided with a ring structure?
Here is a less algebraic and more topological answer: it's known that any compact (Hausdorff) topological ring must be totally disconnected. In particular, there's no hope for either $\mathbb{RP}^1$ o …
4
votes
When does 'Zariski tangent space derivative' vanishes everywhere imply that a section is con...
Let me propose a more natural version of your question that can be asked about more algebras:
What can we say about an element $r \in R$ of a commutative algebra $R$ over a field $k$ given that $ …
19
votes
Accepted
Purely noncommutative algebra-Morita equivalence
An algebra is Morita equivalent to a commutative algebra iff it's Morita equivalent to its center, since the center is Morita invariant. So any representative of a nontrivial class in the Brauer group …
4
votes
Finite generation of a commutative algebra via its quotients
No, e.g. $A$ could be $\mathbb{C}^{\mathbb{N}}$ where $t$ is the sequence $(1, 2, 3, ...)$. This is not even Noetherian or countable-dimensional over $\mathbb{C}$. A slight modification of this constr …
3
votes
Polynomial analogue of "prime independence"
The closest analogue is to consider polynomials over finite fields $\mathbb{F}_q[x]$. Here the counting is straightforward: there are $q^n$ monic polynomials of degree $n$ over $\mathbb{F}_q$. If $p$ …
1
vote
Behavior of duality under pull-back
Small comment: certainly there's a natural map $\text{Hom}_R(X, R) \otimes_R S \to \text{Hom}_S(X, S)$ given by composing with $\varphi$ and extending by linearity. We can't hope for this map to be an …
3
votes
Commutative algebras whose bidual is commutative
Not an answer, but:
It shouldn't be surprising that this product isn't commutative: your definition has no obvious symmetry between $\xi$ and $\eta$, and so to me it's quite unclear that it's "the co …
4
votes
Accepted
Is every (one dimensional) n-bud of total degree n also a formal group law?
If $f(x, y)$ is a formal group law then so is $g(f(g^{-1}(x), g^{-1}(y))$ where $g$ is an invertible (under composition) formal power series. This suggests a strategy for writing down $n$-buds, namely …
1
vote
Dirichlet series with integer coefficients as a UFD
I believe so. Dirichlet series are a special case of a construction called the reduced incidence algebra of a poset, and the poset of integers under division is precisely a product of chains, one for …
2
votes
Vector spaces with natural bases
I'll echo Ben Webster's comment from the other thread, but in the other direction: find some natural commuting operators whose simultaneous eigenspaces are all one-dimensional. This is how, for examp …
8
votes
If a polynomial f is irreducible then (f) is radical, without unique factorization?
No, in the sense that this statement is false in a ring without unique factorization. For example, the element $2 + \sqrt{-5}$ is irreducible in $\mathbb{Z}[\sqrt{-5}]$, and $9 \in (2 + \sqrt{-5})$ bu …