User Walter Simon

7 votes

2 answers

3k views

Understanding the $\Delta$-complex structure of a quotient space

asked Oct 17, 2017 at 22:08

6 votes

0 answers

248 views

Flatness criterion for a finite type algebra based on the Jacobian

asked Feb 4, 2019 at 19:42

5 votes

1 answer

761 views

The surjective image of a proper scheme is proper

asked Dec 13, 2018 at 16:53

5 votes

3 answers

2k views

If $L\mid K$ is a finite extension of fields then K is perfect iff L is perfect

asked Feb 3, 2019 at 22:34

5 votes

0 answers

184 views

Tangent vector fields on schemes

asked Aug 21, 2019 at 17:57

3 votes

0 answers

280 views

Certain generators for the normalization of the cuspidal cubic $x^3=y^2$

asked May 23, 2018 at 14:18

2 votes

1 answer

233 views

The dual of a regular polyhedral cone is regular

asked Aug 3, 2018 at 20:15

2 votes

0 answers

228 views

Sheaf of $\mathcal{O}_X$-modules with support a point.

asked Sep 24, 2017 at 21:46

2 votes

1 answer

80 views

Generators for the $n$-derived group $G^{(n)}$ and the lower central series $G^{n}$

asked Feb 7, 2018 at 20:32

2 votes

1 answer

547 views

The residue field of valuations are finite extension

asked Feb 12, 2019 at 20:48

2 votes

0 answers

274 views

Map between stalks induced by a finite morphism is finite

asked Mar 5, 2019 at 13:01

1 vote

0 answers

53 views

If $B$ is a flat $A$-algebra then $B_{\mathrm{red}}$ is a flat $A_{\mathrm{red}}$-algebra

asked Apr 14, 2020 at 21:36

1 vote

0 answers

286 views

Basic criterion for affineness of schemes

asked May 1, 2018 at 21:36

1 vote

1 answer

770 views

Exact additive functor preserves homology

asked Oct 10, 2017 at 23:59

1 vote

0 answers

40 views

$\mathbb{Z}/2^n\mathbb{Z}$ as a certain quotient of $\oplus_{k=0}^n\mathbb{Z}$

asked Oct 22, 2017 at 16:16

1 vote

1 answer

421 views

Definition of scheme defined over a ring A

asked Jan 18, 2018 at 18:42

1 vote

0 answers

277 views

Characterization of the convex hull in terms of dot product

asked Aug 7, 2018 at 17:59

1 vote

2 answers

84 views

$p$-adic power series and its maximum in the unit ball

asked Feb 7, 2019 at 14:51

0 votes

1 answer

27 views

If a set of linear functionals define semispaces that cover the space then they are linearly dependent.

asked Sep 2, 2018 at 0:17

0 votes

1 answer

79 views

Homogeneous elements of the polynomial ideal $(x_1-a_1,\dots,x_n-a_n)$ belong to $(x_ia_j-x_ja_i)_{ij}$

asked Oct 28, 2018 at 21:25

0 votes

0 answers

66 views

Flex points are invariant under isomorphism

asked Jan 21, 2018 at 22:08

0 votes

2 answers

154 views

Finite structures of a theory have finite atomic diagram.

asked Feb 1, 2018 at 0:07

0 votes

1 answer

33 views

On an separated variety, $\mathcal{O}_{X,Y_1}\subseteq \mathcal{O}_{X,Y_2}$ then $Y_2\subseteq Y_1$

asked Apr 8, 2020 at 12:54

Stack Exchange Network

23 Questions

Understanding the $\Delta$-complex structure of a quotient space

Flatness criterion for a finite type algebra based on the Jacobian

The surjective image of a proper scheme is proper

If $L\mid K$ is a finite extension of fields then K is perfect iff L is perfect

Tangent vector fields on schemes

Certain generators for the normalization of the cuspidal cubic $x^3=y^2$

The dual of a regular polyhedral cone is regular

Sheaf of $\mathcal{O}_X$-modules with support a point.

Generators for the $n$-derived group $G^{(n)}$ and the lower central series $G^{n}$

The residue field of valuations are finite extension

Map between stalks induced by a finite morphism is finite

If $B$ is a flat $A$-algebra then $B_{\mathrm{red}}$ is a flat $A_{\mathrm{red}}$-algebra

Basic criterion for affineness of schemes

Exact additive functor preserves homology

$\mathbb{Z}/2^n\mathbb{Z}$ as a certain quotient of $\oplus_{k=0}^n\mathbb{Z}$

Definition of scheme defined over a ring A

Characterization of the convex hull in terms of dot product

$p$-adic power series and its maximum in the unit ball

If a set of linear functionals define semispaces that cover the space then they are linearly dependent.

Homogeneous elements of the polynomial ideal $(x_1-a_1,\dots,x_n-a_n)$ belong to $(x_ia_j-x_ja_i)_{ij}$

Flex points are invariant under isomorphism

Finite structures of a theory have finite atomic diagram.

On an separated variety, $\mathcal{O}_{X,Y_1}\subseteq \mathcal{O}_{X,Y_2}$ then $Y_2\subseteq Y_1$