Reputation
44,945
Next tag badge:
94/100 score
27/20 answers
Badges
2 55 130
Impact
~387k people reached

Jun
17
comment Why is there apparently no general notion of structure-homomorphism?
Sometimes there is no obvious notion of homomorphism. For instance, what's the appropriate notion of morphism for Banach spaces?
Jun
16
revised How to find a minimal polynomial (field theory)
added 1167 characters in body
Jun
16
answered How to find a minimal polynomial (field theory)
Jun
16
comment Every $n$-dimensional variety is birationally equivalent to a hypersurface in $\mathbb{A}^{n+1}.$
If the conclusion holds, then $K (X)$ must admit a transcendence basis over which it is simply generated – separability is sufficient but not necessary. So for a counterexample, I suppose one has to find a field that is not simply generated over any transcendence basis. Perhaps something like the variety $\{ x^p - z, y^p - w \} \subset \mathbb{A}^4$ over $\overline{\mathbb{F}_p}$?
Jun
16
answered Number of generators of the maximal ideals in polynomial rings over a field
Jun
15
comment Alternate pullback bundle construction
@Lord_Farin The question has not been answered – my comment is a general one and does not address whether or not it can be done in this specific case.
Jun
15
revised How does one show that definition of Betti number and its “informal definition” are equal?
edited tags
Jun
14
awarded  Notable Question
Jun
13
answered Every $n$-dimensional variety is birationally equivalent to a hypersurface in $\mathbb{A}^{n+1}.$
Jun
13
comment A commutative ring $A$ is an algebra over a field $F$ if and only if $A$ contains (an isomorphic copy of) $F$ as a subring
The headline claim is false: the trivial ring is an $F$-algebra. But that is the only problem. For the second problem you don't have to take $R = M$, but what you suggested works too.
Jun
13
comment Every $n$-dimensional variety is birationally equivalent to a hypersurface in $\mathbb{A}^{n+1}.$
That's where the separability hypothesis comes in – you need to be able to know that $k (X)$ is generated by one element over your transcendence basis.
Jun
13
comment Every $n$-dimensional variety is birationally equivalent to a hypersurface in $\mathbb{A}^{n+1}.$
You probably should assume some separability hypothesis. But here's a hint: take a transcendence basis for the function field...
Jun
13
answered Monads on Set and their strength
Jun
13
revised which of the following is/are algebraic over rationals
added 4 characters in body
Jun
13
comment Definition of the Coproduct of Categories?
The coproduct of ordinary categories differs from the coproduct of $\mathbf{Ab}$-enriched categories, which also differs from the coproduct of additive categories.
Jun
12
comment Meaning of quote: “model theory = algebraic geometry - fields”?
Of course. But the methods and definitions used then are substantially different compared to model theory, which is much closer to the classical/naïve conception of algebraic geometry.
Jun
12
comment Motivating the definition of right derived functors in the context of derived categories.
Isn't the second thing a left derived functor?
Jun
12
comment Meaning of quote: “model theory = algebraic geometry - fields”?
More accurately, beyond the case of algebraically closed fields, which is a really nice theory...
Jun
12
comment Is this equality in a double category true?
It's true in a 2-category. Do you really need the double category version?
Jun
12
answered Sites for étale $G$-spaces