4,942 reputation
1932
bio website mpi-sws.org
location Kaiserslautern, Germany
age 32
visits member for 2 years, 1 month
seen 4 hours ago

PhD student at MPI-SWS.


Dec
6
reviewed Close Find the value of $\cos(2\pi /5)$ using radicals
Nov
28
awarded  Fanatic
Nov
27
comment Show that the field $L = \mathbb F_3[X]/\langle X^5 - X + 1\rangle$ consists of $243$ elements and that $[X][f] = [1]$ for some $[f] \in L$.
Some hints: First of all, it helps to consider $L$ as an $\mathbb F_3$-vectorspace, and note that $243 = 3^5$. Now, if $K$ is a finite field with $k$ elements, an $n$-dimemsional $K$-vectorspace has $k^n$ elements... To show that $L$ is a field, you should be able to use the following well-known theorem: Let $R$ be a ring and $I$ a maximal ideal. Then $R/I$ is a field.
Nov
26
reviewed Close Show that $M$ is a right $R^{0}$-module
Nov
25
reviewed Leave Open Minimal difference between classical and intuitionistic sequent calculus
Nov
25
reviewed Leave Open Famous black mathematicians
Nov
25
reviewed Close Calculus Related Rates Question
Nov
25
reviewed Leave Open interpret a sum geometrically
Nov
25
comment interpret a sum geometrically
That question doesn't address the geometric interpretation, though...
Nov
25
reviewed Close Let $x,y$ in a group G with odd order. Let $x^2=y^2$. Show that $x=y$.
Nov
25
reviewed Close algorithm question how prove that $(n+a)^b = \Theta(n^b)$
Nov
25
revised Converting CFG to CNF
TeXified, fixed some spelling errors, removed incorrect "automated theorem proving" tag.
Nov
25
reviewed Close Basic question about module
Nov
25
reviewed Close Module over a ring satisfying ACC
Nov
25
reviewed No Action Needed Navier-Stokes equation apriori estimate
Nov
25
reviewed Approve suggested edit on Limit of $\prod_{k=1}^N\left(1-\frac{x^2}{k^2\pi^2}\right)$
Nov
25
reviewed Close Transformations Linear Algebra Question
Nov
25
reviewed Close Variable weight according to distance.
Nov
25
reviewed Close Show that $||x|-|y||≤|x-y|$
Nov
25
reviewed Close Examples of canonical projections that are not epimorphisms and canonical injections that are not