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 105386

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

1 vote
1 answer
283 views

Product absolute value in rings of integers

Let $F$ be an algebraically closed field of characteristic $p$ equipped with a nonarchimedean dense absolute value $|\cdot|:F \rightarrow \mathbb{R}_{\ge 0}$ with respect to which $F$ is complete. Let …
3 votes
2 answers
394 views

Norm on tensor product of fields

Let $F$ be an algebraically closed field of characteristic $p$ equipped with an absolute value $|\cdot|:F \rightarrow \mathbb{R}_{\ge 0}$ with respect to which $F$ is complete. Define $|\cdot|_{prod} …
2 votes
1 answer
290 views

Completion and extension by scalars

Let $R\subset S$ be commutative rings, $I\trianglelefteq R$ an ideal and $M$ be an $R$-module. Suppose that 1) $R$ is Noetherian and $I$-adically complete. 2) $M$ is a finite $R$-module (hence $M$ i …
1 vote
1 answer
159 views

Map between localizations induces map on underlying modules for Zariski covering

While working through a proof of this paper,1 at the middle of page 45, the author's claim of a short exact sequence seems to amount to the following problem: Let $A$ be a commutative ring and let …
7 votes
1 answer
331 views

Absolute value on tensor product of fields

Suppose that we have the Laurent series fields $F_1:=\mathbb F_p((X))$ and $F_2:=\mathbb F_p((Y))$. Equip $F_1$ with the $X$-adic multiplicative absolute value $|\cdot|_1$, i.e. define $|X|_1=\dfrac{1 …
3 votes
1 answer
133 views

Etale map has image whose complement is the vanishing locus of a finitely generated ideal

While working through a proof of this paper, at the end of page 46, the author seems to claim along the lines that the following is true: Let $A\rightarrow B$ be an etale map of rings. Then the un …
2 votes
0 answers
91 views

Finite dimensionality of fibers of etale ring map

While working through a proof of this paper, at the middle of page 46, the author introduces a dimension notion which seems to claim that the following is true: Let $A\rightarrow B$ be an etale ma …
1 vote
0 answers
89 views

Etale algebra whose local rank is constantly zero is the zero algebra

While working through a proof of this paper, at the middle of page 46, the author seems to claim the following is true: Let $A\rightarrow B$ be an etale map of rings. Suppose that for every prime …
2 votes
1 answer
119 views

Preimage of a constructible set in spectrum of a subring

While working through a proof of this paper, at the beginning of page 42, the author seems to claim the following is true: Let $R\subset S$ be rings, where $R$ is a finite type algebra over $\math …