1,526 reputation
518
bio website
location
age
visits member for 4 years
seen 6 hours ago

Dec
2
awarded  Yearling
Nov
15
accepted Recursion on a class instead of a set
Nov
15
asked Recursion on a class instead of a set
Nov
14
accepted Constructing a function whose domain is $\omega$ using successor operation recursively
Nov
14
comment Constructing a function whose domain is $\omega$ using successor operation recursively
@tetori How do you know if there exists an inductive set containing $A$ ?
Nov
14
asked Constructing a function whose domain is $\omega$ using successor operation recursively
Oct
26
awarded  Critic
Oct
25
accepted Is it possible to be a mathematician without being mathematically talented?
Oct
12
answered Linear independence and grammar
Oct
12
revised Linear independence and grammar
added 137 characters in body
Oct
12
asked Linear independence and grammar
Oct
3
accepted Infinite dimensional vector space and minimal generating subset
Oct
3
asked Infinite dimensional vector space and minimal generating subset
Sep
28
accepted A question related to the height of a proper ideal in a Noetherian ring
Sep
28
revised A question related to the height of a proper ideal in a Noetherian ring
deleted 1 character in body
Sep
28
revised A question related to the height of a proper ideal in a Noetherian ring
added 126 characters in body
Sep
28
comment A question related to the height of a proper ideal in a Noetherian ring
My understanding is that Krull's altitude Theorem requires $a_1$ to be a non-zero-divisor. The condition $a_1\not\in\bigcup_{\mathfrak{p}\in\operatorname{Min}(R)}\mathfrak{p}$ is not enough for $a_1$ to be a non-zero-divisor, is it?
Sep
27
revised A question related to the height of a proper ideal in a Noetherian ring
added 161 characters in body
Sep
27
asked A question related to the height of a proper ideal in a Noetherian ring
Sep
17
accepted Exact functors and “short” exact functors