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 290

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 …
Qiaochu Yuan's user avatar
17 votes

Field structure for R^n

No.
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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 $ …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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$ …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar
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 …
Qiaochu Yuan's user avatar

1
2 3 4 5
15 30 50 per page