For questions concerning a specific proof, asking for verification, identifying errors, suggestions for improvement, etc.

learn more… | top users | synonyms (1)

18
votes
0answers
274 views

Two interview questions

I recently came across two interview questions for admission in B.Math at an university. I gave the two questions a try and want to know if my solutions are correct or not. Q1: Given that ...
14
votes
0answers
349 views

Show that in any group of order $23 \cdot 24$, the $23$-Sylow subgroup is normal.

Show that in any group of order $23 \cdot 24$, the $23$-Sylow subgroup is normal. Let $P_k$ denote the $k$-Sylow subgroup and let $n_3$ denote the number of conjugates of $P_k$. $n_2 \equiv 1 ...
13
votes
0answers
115 views

Function defined as a limit

Q. If $f(x)=\lim\limits_{n\to\infty}\dfrac{\log(2+x)-x^{2n}\sin(x)}{1+x^{2n}}$, then explain why the function does not vanish anywhere in the interval $[0,\pi/2]$, although $f(0)$ and $f(\pi/2)$ ...
11
votes
0answers
123 views

Prove that $f_n(x)=\frac{x}{n}$, $n=1,2,\ldots$ does not converge uniformly on $\mathbb{R}$

Prove that $f_n(x)=\frac{x}{n}$, $n=1,2,\ldots$ does not converge uniformly on $\mathbb{R}$. It's clear this function converges pointwise to $0$ function. We have to show that there is ...
11
votes
0answers
107 views

The order of subgroup generated by two distinct elements of order 2

$G$ is a group of order $2$6. If $x$ and $y$ are two distinct elements of order $2$, what could the order of $\langle x,y\rangle$ be? By lagranges theorem, $\langle x\rangle$ and $\langle ...
10
votes
0answers
112 views

Proof of the relation $\int^1_0 \frac{\log^n x}{1-x}dx=(-1)^n~ n!~ \zeta(n+1)$

I had the thought that by introducing some parameters into simple integrals and taking derivatives we can get exact values for infinitely many 'complicated' integrals. $$\int_0^1 x^a dx = ...
9
votes
0answers
102 views

Finding irreducible components of Spec$(R/I^n)$

Let $R= k[x,y,z]/(xy,yz,zx)$. Let $I=(x)$. What are the irreducible components of $\mathrm{Spec}(R/I^n)$ where $n \geq 2$ and $k$ is a field? For solving this problem I'm trying to use following ...
9
votes
0answers
299 views

A question on odd perfect numbers

Let $\sigma(x)$ be the sum of the divisors of the positive integer $x$. If $\sigma(M) = 2M$, then $M$ is said to be perfect. Currently, there are $48$ known examples of even perfect numbers -- on ...
8
votes
0answers
190 views

There exists polynomial $(P_{n})_{n\in\mathbb{N}}$ such that $P_n(0)=1$, and $\lim_{n\rightarrow \infty}P_{n}(z)=0$..

Show that there exists a sequence of polynomial $(P_{n})_{n\in\mathbb{N}}$ such that $P_n(0)=1$ for each $n$, and $\lim_{n\rightarrow \infty}P_{n}(z)=0$ for all $z\in \mathbb{C}\setminus ...
8
votes
0answers
47 views

Non empty set with zero diameter

Let $A \subset X$ where $X$ is a metric space. by definition diam$(A) = \sup\{ d(x,y), x,y \in A\}$. if $A$ is non empty and has zero diameter, can I conclude that $A$ is a singleton? i reason as ...
7
votes
0answers
65 views

If $K\cap\Bbb Q^{\text{cycl}}=\Bbb Q(\zeta_m)$ and $K/\Bbb Q$ Galois, then $\text{Gal}(K(\zeta_n)/K)\cong\text{Gal}(\Bbb Q(\zeta_n)/\Bbb Q(\zeta_m))$

$\DeclareMathOperator{\Gal}{Gal}$ Here is my argument: Induction on the number of primes dividing $n/m$. If there are two primes (i.e., $K(\zeta_n) = K(\zeta_{q_1},\zeta_{q_2})$, where ...
7
votes
0answers
106 views

Fast convergence in $L^1$ implies convergence almost everywhere

This is a proof-verification request. Claim: Let $(X,\mathscr M,\mu)$ be a measure space. Let $f_n$ ($n\in\mathbb N$) and $f$ be measurable, integrable, real-valued functions such that ...
7
votes
0answers
83 views

Ornstein-Uhlenbeck SDE solution

I'm following this solution of $$dX_t=\kappa(\theta-X_t)\,dt+\sigma\,dW_t \tag1 $$ And the question is whether its solution $$X_t=\theta+e^{-\kappa(t-s)}(X_s-\theta)+\sigma\int_s^t ...
7
votes
0answers
291 views

Can fundamental theorem of algebra for real polynomials be proven without using complex numbers?

For polynomials with real coefficients, I am trying to prove the following version of fundamental theorem of algebra, which avoids using complex numbers in the proof. Existence of complex roots will ...
7
votes
0answers
145 views

An inequality for $|\zeta (s,a)|$, a detailed proof

In page 272 of [1], Apostol leaves as a reader's assigment to complete a proof of a related statement with Hurwitz zeta function, defined initially for $\sigma >1$ by the series ...
7
votes
0answers
196 views

Classify groups of order 171

This is a problem from Stanford Algebra Qualifying Exam, Fall 1998. I know the standard way is to use Sylow theorems and semidirect product. $171 = 9\cdot 19$. By Sylow theorems, $n_3|19$ and ...
7
votes
0answers
276 views

Higher Order Derivative Proof .

I would appreciate if someone could check over my proof for this question and advise me if it is correct. My attempt so far; Now as $f$ is k times differentiable , it taylor series about $x_{0}$ ...
7
votes
0answers
146 views

Proof of inverse function theorem by approximation property

In proving the inverse function theorem using the approximation characterization of the derivative, we are given $F:\mathbb{R}^n \to \mathbb{R}^n$ such that  $$F(p_0 + h) - F(p_0) = DF_{p_0}(h) + ...
7
votes
0answers
184 views

Sequence of convex functions converges uniformly

I am working on the following problem. Let $f_{n}: [a, b] \rightarrow \mathbb{R}$ be a sequence of convex functions. Furthermore, for each fixed $x \in [a, b]$, suppose $f(x) = \lim_{n ...
7
votes
0answers
254 views

Can one trisect $\arccos(6/7)$?

Is this proof correct? Proof: Here $\theta = \arccos(6/7)$. Now to show we can't trisect $\theta$, we show that $\theta/3$ is not constructible by finding the irreducible polynomial in $\mathbb ...
6
votes
0answers
55 views

If the difference of two independent random variables has a mean, so does each variable

This is a proof-verification request; I’m also recording this proof for my own later reference. Any feedback is appreciated. Claim: Let $X$ and $Y$ be independent, real-valued random variables on ...
6
votes
0answers
76 views

Uniform limit of one-to-one analytic functions is either constant or one-to-one

Let $U$ be a complex domain, and $(f_n)_{n\in \mathbb{N}}$ be a sequence on one-to-one analytic functions defined on $U$. Suppose that $f_n$ converges to $f$ uniformly on every compact subset of $U$. ...
6
votes
0answers
132 views

From $\prod_{d\mid n}d=n^{\sigma_0(n)/2}$ to $n!=\operatorname{lcm}(1,\ldots,n)^{e(n)}$, where $\sigma_0(n)$ is the number of divisors

We know that $$\prod_{d\mid n}d=n^{\sigma_{0}(n)/2}$$ for every integer $n\geq 1$, where $\sigma_{0}(n)$ is the number of positive divisors of $n$, see for example [1] (exercise 10, page 47). And for ...
6
votes
0answers
134 views

Me vs. Wikipedia (Lacunary function)?

I was recently reading this wikipedia page: https://en.wikipedia.org/wiki/Lacunary_function and found atleast the example they are giving must be wrong because I have kind of managed to analytically ...
6
votes
0answers
154 views

Inner Functions in Annuli: Not Likely!

The other day someone reminded me of something I'd thought about some years ago. As back then it took me a little while to see why there was any problem; this time I got much farther on a solution ...
6
votes
0answers
160 views

Olympic number theory problem: is this solution fine and sufficiently well written?

Determine all the positive integers $m$ such that both the ratios $$ \frac{2(5^m+5)}{3^m+1}, \frac{9^m+1}{5^m+5}$$ are integers. Attempt to a solution: If the ratios are both integers, than their ...
6
votes
0answers
941 views

Every tree has two leaves. Is my proof ok?

A tree is a connected acyclic graph. A leaf is a vertex of degree one. The distance $d(u,v)$ between two vertices $u$ and $v$ of a graph is the length of the shortest path from $u$ to $v$. Theorem. ...
6
votes
0answers
62 views

$E \to S$ surjective in degrees $\geq 1$ implies $\widetilde{E} \to \widetilde{S}$ surjective

In the proof of Theorem II.8.13 in Hartshorne (which is the Euler sequence), the author writes: Let $S = A[x_0, \ldots, x_n]$. [...] The exact sequence $$0 \to M \to E \to S$$ of graded ...
6
votes
0answers
139 views

Finitely additive function on an infinite set, s.t., $m(A)=0$ for any finite set and $m(X)=1$ (constructive approach)

Other exercise which I found in Dudley's Analysis book: Show that there is a measure on a infinite set $X$, defined on $2^X$ s.t. is finitely additive, $m(A)=0$ for any finite set and $m(X)=1$. ...
6
votes
0answers
135 views

Proposed proof of analysis result

Hi please advise on my proof of the following result: Assume that $I \subset \mathbb{R}^{n}$ is convex, bounded open set with Lipschitz boundary and let $u_{m},u$ be such that $$u_{m} ...
6
votes
0answers
218 views

Order of the Normalizer of a Sylow $p$-subgroup in $S_{p}$

Question: Let $p$ be a prime and $P \leq S_{p}$ with $|P| = p$. Prove that $|N_{S_{p}}(P)| = p(p-1)$. I have already solved this problem, but I have come across a proof that is much more elegant than ...
6
votes
0answers
385 views

Are these sets in $\mathbb{R}$ open and/or closed: $\{\frac{1}{n} : n \in \mathbb{N}\}$, $\{0\}\cup \{\frac{1}{n} : n \in \mathbb{N}\}$ and $[0,1)$.

In $\mathbb{R}$, are these sets open? Are they closed? $A = \{\frac{1}{n} : n \in \mathbb{N}\}$ $B = A \cup \{0\} $ $[0, 1)$ My thoughts: $A$ is not open as if we have an open ball with $r > ...
5
votes
0answers
37 views

In an algebraic category a morphism is a regular epi iff it is surjective

According to the nLab (see the 4th point under "Examples") in an "algebraic category" a morphism is a regular epi if and only, if it is surjective. Here a morphism $e$ is said to be surjective, if its ...
5
votes
0answers
36 views

Use the definition of a limit to prove that $\lim_{y \to 0} y^3 = 0$.

Attempt: The limit $\lim_{y \to 0} y^3 = 0$ exists if: $$\forall\ \epsilon >0 \ \exists\ \delta >0 \ \forall y \ |y-0| < \delta \Longrightarrow |y^3 - 0|< \epsilon.$$ Now, I came up ...
5
votes
0answers
60 views

proof - Bézout Coefficients are always relatively prime

I had been researching over the Extended Euclidean Algorithm when I happened to observe that the Bézout Coefficients were always relatively prime. Let $a$ and $b$ be two integers and $d$ their GCD. ...
5
votes
0answers
45 views

Find the inverse of the following piecewise defined function

Find the inverse of $f$ if $f(x)=$ $$ \begin{cases} \sqrt{2-x}, &\text{for $x<0$}\\ 1-x^2, &\text{for $x \ge 0$} \\ \end{cases} $$ My effort For $y=\sqrt{2-x}$ ,we find ...
5
votes
0answers
52 views

Is the following proof of $Z(S_n)=\{id\}$ correct?

I wanted to prove that the center of the symmetric group $S_n$, $n\geq 3$ is trivial. Is my argument correct? Suppose $\alpha\in Z(S_n)$, that is $\alpha\beta=\beta\alpha$ for all $\beta\in S_n$. We ...
5
votes
0answers
77 views

How do I evaluate this integral :$ \int_0^\frac{\pi}{2} [\text{chi}(\cot^2x)+\text{shi}(\cot^2x)]\csc^2(x)e^{-\csc^2(x)}dx$?

I have tried to evaluate this integral :$$ \int_0^\frac{\pi}{2} [\text{chi}(\cot^2x)+\text{shi}(\cot^2 x)]\csc^2(x)e^{-\csc^2(x)}dx $$ where, $\text{shi}(x)=\int_{0}^{x}\frac{\sinh t}{t}dt$ , ...
5
votes
0answers
35 views

Am I using a correct method to derive these orders?

As an exercise I am calculating some orders of some elements but I don't know if my method is correct. Please can you tell me if my solutions (not the results but the steps to deduce the ...
5
votes
0answers
186 views

Alternative Proof of $\sqrt{2}$ is irrational

Can anyone check if this proof is correct. Thank you. Proof that $\sqrt{2}$ is irrational. Let x = $\sqrt{2}$ then $x^2=2$ and $x^2-2=0$ By the Rational Root Theorem, we have: the number $1$ ...
5
votes
0answers
47 views

Doubtful solution to an exercise on faithful flatness in Matsumura's Commutative Algebra

The exercise on page 30. It says that: Let $A, B$ be integral domain having the same field of fractions, $B \supseteq A$. Prove that $B$ is faithfully flat over $A$ only when $B = A$. My ...
5
votes
0answers
47 views

For finitely generated free abelian groups $A,B$ if there is an onto homomorphism $A \to B$, then $\operatorname{rank}(A) \geq \operatorname{rank}(B)$

$\newcommand{\rank}{\operatorname{rank}}$For two finitely generated, free abelian groups $A,B$ prove that if there is an onto homomorphism $A \rightarrow B$, then $\rank(A) \geq \rank(B)$ Assume that ...
5
votes
0answers
232 views

A natural number has exactly 10 divisors including 1 and itself.How many distinct prime factors can this natural number have?

A natural number has exactly 10 divisors including 1 and itself.How many distinct prime factors can this natural number have? options given: (a) either $1$ or $2$ (b)$1$ or $3$ (c)either $2$ or ...
5
votes
0answers
83 views

Showing that only $(n+1)^{n-1}$ of all the possible $n^n$ choices assure a full car park

This exercise is taken from the site of Queen Mary University of London: A car park has $n$ spaces, numbered from $1$ to $n$, arranged in a row. $n$ drivers each independently choose a favourite ...
5
votes
0answers
124 views

Proving that $\det(A) = 0$ when the columns are linearly dependent

Proposition: Let $A$ be a $(n \times n)$-matrix. If the columns of $A$ are linearly dependent, then $\det(A) = 0$. Attempt at proof: Let $A = (A_1, A_2, \ldots, A_n)$, where each $A_i$ is a column ...
5
votes
0answers
88 views

Evaluate $\int_{-\infty}^{\infty}\frac{\sqrt{a+ix}}{a^2+x^2}\,dx$ using residue calculus

I'm asked to evaluate $$\int_{-\infty}^{\infty}\frac{\sqrt{a+ix}}{a^2+x^2}\,dx$$ $\mathbb{R}\ni a>0$, using residue calculus (where $\sqrt{\cdot}$ is the PV $\sqrt{}$). My approach is as follows: ...
5
votes
0answers
111 views

$\operatorname{Ext}^n$: computation verification

I would like someone to verify my computation of $\operatorname{Ext}^n$. Problem: Let $p$ be a prime, $k$ a field of characteristic $p$, $G = \langle x \mid x^p = 1 \rangle$, $B = kG$, $S = k(1 ...
5
votes
0answers
134 views

Did I correctly derive the scheme for this PDE using the Crank Nicolson Method?

I'm taking an Applied Numerical Methods course this semester, and I was given the following homework problem: Basically, before I begin writing any sort of code, I would like to ensure that I have ...
5
votes
0answers
90 views

Prove $(\overline{A \cap B}) \subseteq \overline{A} \cap \overline{B}$.

Let $\overline{A}$ be the closure of $A$. My attempt: Since $A \subseteq \overline{A}$ and $B \subseteq \overline{B}$, we have $$A \cap B \subseteq \overline{A} \cap \overline{B}.$$ Since ...
5
votes
0answers
86 views

Check proof about range of bounded linear operator.

I have to prove that the range $\mathcal{R}(T)$ of bounded linear operator $T:X\rightarrow Y$; $X,Y$ normed spaces need not be closed in $Y$. As a hint I'm given that I could consider ...