5,242 reputation
21534
bio website
location Ann Arbor, MI
age 25
visits member for 4 years, 4 months
seen 11 hours ago

Grad student at Michigan.


Dec
12
reviewed Close Doubly transitive
Dec
11
comment Equivalence classes in a regular language
@Brian: There weren't enough details originally. The OP added details after I made my comment.
Dec
11
comment Showing that $A^*$ is and ideal and that “$*$” is multiplicative.
@Kplusn: The construction of the extension of an ideal takes the ideal generated by several elements (in this case the elements of A). It is, by definition, an ideal.
Dec
11
comment Equivalence classes in a regular language
What is S? There are not enough details here.
Dec
11
comment Showing that $A^*$ is and ideal and that “$*$” is multiplicative.
It's a special case of ideal extension coming from the obvious inclusion $\mathcal{O}_F \hookrightarrow \mathcal{O}_E$.
Dec
9
awarded  Caucus
Dec
8
comment Why is the extension $k(x,\sqrt{1-x^2})/k$ purely transcendental?
@Yong: No problem! Thanks for catching the mistake in the original.
Dec
7
revised Why is the extension $k(x,\sqrt{1-x^2})/k$ purely transcendental?
deleted 15 characters in body
Dec
7
revised Why is the extension $k(x,\sqrt{1-x^2})/k$ purely transcendental?
added 22 characters in body
Dec
7
answered Finite separable field extensions such that $KL/L$ and $K/K\cap L$ have non-isomorphic automorphism groups
Dec
7
revised Is the circle a rational curve and what is its function field?
added 203 characters in body
Dec
7
answered Why is the extension $k(x,\sqrt{1-x^2})/k$ purely transcendental?
Nov
27
comment Demostrate: $M_p=2^p-1$
There are many different definitions of pseudoprime, as you can see in your Wikipedia link. Which one are you working with?
Nov
26
revised Roots of different irreducible polynomials are algebraically independent
edited body
Nov
26
comment Elliptic Curves
The converse is known to be true under the assumption that the Tate-Shafarevich group is finite. See arxiv.org/abs/1405.7294
Nov
19
comment How to calculate the fundamental group of $S^3$ without two linked cirles
Hint: Look at Example 1.23 in Hatcher.
Nov
19
answered Does the Hasse inequality fail for supersingular elliptic curves?
Nov
17
comment Proof of discrete logarithm?
The $p-1$ comes from the fact that $a^{p-1} \equiv 1 \pmod p$.
Nov
16
comment Dimension of a subspace of $M_n(\mathbb C)$.
Do you know what $A$ is? The answer will change depending on whether $A = I_n$ or $A$ is a random matrix.
Nov
14
revised Expression for $\exp \left(\frac{1}{1-z} \right)$
added 14 characters in body