Homework questions are welcome as long as they are asked honestly, explain the problem, and show sufficient effort. Please do not use this as the only tag for a question. For the answers on homework questions, helpful hints or instructions are preferred to a complete solution. Please do not add ...

learn more… | top users | synonyms

22
votes
0answers
602 views

Computing the Chern-Simons invariant of SO(3)

I am an undergraduate learning about gauge theory and I have been tasked with working through the two examples given on pages 65 and 66 of "Characteristic forms and geometric invariants" by Chern and ...
11
votes
0answers
163 views

Soberification of a topological space

In Johnstone´s Stone Spaces, he introduces the concept of soberification of a topological space: Let $X$ be a topological space and $\Omega(X)$ the lattice of open subsets of $X$, the ...
10
votes
0answers
300 views

Rotman's exercise 2.8 “$S_n$ cannot be imbedded in $A_{n+1}$”

This question is about the (in)famous Rotman's exercise 2.8 in "An Introduction to the Theory of Groups." I've searched and found similar questions here and in MO, but none of them contains a valid ...
10
votes
0answers
221 views

Number of automorphisms of saturated models

I have the following assignment question: Let $M$ be an $L$-model of cardinality $\kappa$. Assume $M$ is saturated. How can you show that $|\text{Aut}(M)|=2^{|M|}$? I see two possible ...
9
votes
0answers
139 views

Polynomials with rational zeros

Find all polynomials $F(x)={a_n}{x^n}+\cdots+{a_1}x+a_0$ satisfying $a_n \neq0$ $(a_0, a_1, a_2 ... a_n)$ is a permutation of $(0, 1, 2 ... n)$ all zeros of $F(x)$ are rational
9
votes
0answers
288 views

Class group of $k[x,y,z,w]/(xy-zw)$

I had a homework problem (II.6.5 in Hartshorne) to compute the (Weil divisor) class group of $X=\operatorname{Spec} k[x,y,z,w]/(xy-zw)$. I have accomplished this; however, I used some results I don't ...
9
votes
0answers
552 views

Two parallel lines and distance between three points on them.

I'm solving one hard problem in my homework textbook (it is from the list of hardest problems in the end of book with stars). I reduced it to very simple question which I can prove by two, but very ...
8
votes
0answers
191 views

cohomological proof of Maschke's theorem

I have been working on the following problem.. I have spent plenty of time trying to solve it myself. I am, however, unable to prove one small step in the argument. Beneath you can find my attempt. ...
8
votes
0answers
624 views

Galois closure of a $p$-extension is also a $p$-extension

I'm working on a problem in Dummit & Foote and I'm quite stumped. The problem reads: Let $p$ be a prime and let $F$ be a field. Let $K$ be a Galois extension of $F$ whose Galois group is a ...
7
votes
0answers
388 views

Complicated exercise on ODE

I have this exercise extracted from a examination of qualitative theory of ODE (in which we study the existence and uniqueness of solutions, and stability using the function of Liyapunov) I don't ...
7
votes
0answers
97 views

On an exercise from Hartshone's Algebraic Geometry, Ch I sect 4

My question is about the Ex. 4.9 page 31 in the book GTM52 by Robin Hartshone. Let $X$ be a projective variety of dimension $r$ in $\mathbb{P}^n$, with $n\geq r+2$. Show that for suitable choice ...
7
votes
0answers
104 views

An example of a compact multiplicatively unbounded ring

My teacher asked me to build an associative topological Hausdorff compact ring $R$ with $1$, which is multiplicatively unbounded. That means there is a neighborhood $U\ni 1$ such that $FU\not=R$ for ...
7
votes
0answers
412 views

Condition of an eigenvector problem

Please, somebody help me with this problem. [Ciarlet 2.3-5] Let ${A}$ and ${B} = {A} + \delta{A}$ be two symmetric matrices with eigenvalues $$\alpha_1\ \leq\ \alpha_2\ \leq\ \ldots\ \leq\ ...
7
votes
0answers
149 views

Way to Tietze's Transformation Theorem

during our knot-theory lecture we have talking about the following theorem: Given two finite presentations of the same group, one can be obtained from the other by a finite sequence of Tietze ...
6
votes
0answers
140 views

Summation - relatively simple?

I have a question which might be too simple for this site but I really tried many ideas without coming to a solution. This is assignment from elementary school in which I am trying to help and the ...
6
votes
0answers
83 views

Prove $\ell_1$ is complete

I try to prove that $\ell_1$, the space of absolutely convergent sequences in $\mathbb{C}$ with norm $\| x \| = \sum_{k=1}^{\infty} |x_k|$, is complete. I already proved that, if $\{ x_n \}$ is a ...
6
votes
0answers
228 views

Proof that $1729$ is the smallest taxicab number

For homework I have to produce the proof (algebraic or otherwise) to show that $1729$ HAS to be the smallest taxi cab number. A taxicab number means that it is the sum of two different cubes and can ...
6
votes
0answers
448 views

Probability, choose a box and then take exactly two white balls

There are $5$ boxes. There are $5$ white and $3$ black balls in two boxes, and $4$ white and $6$ black balls in the other three boxes. One box is randomly chosen. $3$ balls are randomly taken from ...
6
votes
0answers
85 views

$\Delta \subset \Phi$ is a base in a root system imples $\Delta^\vee \subset \Phi^\vee$ is a base in a root system

(the notation here is compatible with J.E. Humphrey's "Introduction to Lie Algebras and Representation Theory") Let $\Phi \subset E$ be a root system. Let $\Delta \subset \Phi$ be a base. I already ...
6
votes
0answers
245 views

expansion for $1-|t|$

Let $f$ be a continuous function on $\mathbb{R}$ with compact support with exactly one maximum. Form the functions $$ f_{m,k}(x)=f^m\left(x-\frac{k}{2^m}\right) $$ I am wondering if one can expand ...
6
votes
0answers
147 views

Virtually cyclic groups

Let $G$ be a group with finite generating set $A$, define the distance $$d(g,h)=\mathrm{min}\{n:gh^{-1}=a_1^{\varepsilon_1}\dots a_n^{\varepsilon_n}, a_i\in A,\varepsilon_i=\pm1\}.$$ Define the ball ...
6
votes
0answers
234 views

Fixed Points of a Reflection

This question is about problem 2.C.5 from Allen Hatcher's Topology. The statement of the problem is as follows: Let $M$ be a closed orientable surface embedded in $\mathbb{R}^3$ in such a way that ...
6
votes
0answers
207 views

Galois over Galois

I am working on this exercise: If $E$ is an intermediate field of an extension $F/K$ of fields. Suppose $F/E$ and $E/K$ are Galois extensions, and every $\sigma\in Gal(E/K)$ is extendible to an ...
6
votes
0answers
234 views

Using the compactness theorem to show a set of first-order formula is equivalent to a set of quantifier-free formula

I am going through some theorems in Hodges' ``A shorter model theory'' and I have realized that I do not understand a certain argument regarding compactness. My question has two forms, I am sure that ...
6
votes
0answers
208 views

Characterize the continuous functions with finite right-hand derivative for at least one point of $[0, 1]$

Let $(E,d_\infty)$ the metric space of continuous functions defined on $ [0,1] $, with $$ d_\infty(f,g)=\sup\{ |f(x) - g(x)| : x\in [0,1] \}. $$ For all $ n\in \mathbb{N} $ let $$ F_n = \{ f: \exists ...
5
votes
0answers
77 views

Lagrange Interpolation

So the problem is this; For Lagrange Interpolation on the nodes $x_0 < x_1 < ... < x_{n-1} < x_n$ of the data ${(x_i, f(x_i))}^{n}_{i=0}$ the interpolating polynomial is $\sum ...
5
votes
0answers
80 views

$f$ continuous nowhere implies $f$ not Riemann integrable

I am trying to prove the statement in the title, without using the theorem which says that the set of discontinuities of a Riemann integrable function must have measure $0$. I am aware that similar ...
5
votes
0answers
56 views

Covergenge of the sum of reciprocal random variable.

If $(X_n)_{n\in\mathbb{N}}$ are independent identically distributed random variables with density $f$ even, continuous in $0$ and such that $f(0)>0$, then $$\frac{1}{n}\left(\frac{1}{X_1}+\dots + ...
5
votes
0answers
202 views

Span and Dimension: A subspace

If $A$ is finite set of linearly independent vectors then the dimension of the subspace spanned by $A$ is equal to the number of vectors in $A$. This is obviously true. Since $A$ is a finite set of ...
5
votes
0answers
73 views

Uniqueness solutions of $dx/dt = f^2(x) + e^{-t}$.

Someone can help me in the following problem? Is a question of Zhang. Let $f(x)$ be continuous for $x \in \mathbb{R}$, show that $dx/dt = f^2(x) + e^{-t}$ has the property of uniqueness of ...
5
votes
0answers
135 views

Stability for Nonlinear System

I am trying to assess the (Liapunov) stability of the equilibrium at $(0,0)$ of the system \begin{align*} x_1' &= -4x_2 + x_1^2 \\ x_2' &= 4x_1 + x_2^2. \end{align*} I plotted the phase ...
5
votes
0answers
467 views

Proof that a sequence of continuous functions $(f_n)$ cannot converge pointwise to $1_\mathbb{Q}$ on $[0,1]$

As a homework question, we got asked the following: Construct a function $f:[0,1] \rightarrow \mathbb{R}$ which is not the pointwise limit of any sequence of continuous functions Thinking about ...
5
votes
0answers
120 views

Integral mean value theorem- relate a point in the derivative to an integral

Question: Let $f:[a,b] \to \Bbb R$ be a continuously differentiable function s.t $f(a)=f(b)=0$ Prove that exists a point $c \in (a,b)$ such that $$ |f'(c)| \ge \frac 4{(b-a)^2} \int ^b_a f(x) dx $$ ...
5
votes
0answers
296 views

Example of a ring satisfying this variant definition of “symmetric” on nilpotent elements

I want an example to show that if $a,b$ are nilpotent elements of a ring $R$ with 1 and if $c$ is any element of $R$, then $abc=0\Rightarrow acb=0$ but $cab=0$ does not imply $acb=0$. This is unlike ...
5
votes
0answers
186 views

How to prove following integral equality?

Let's have the equality $$ \int \limits_{-\infty}^{\infty} \left[ [\nabla_{\mathbf r'} \times \mathbf A (\mathbf r' )] \times \frac{\mathbf r' - \mathbf r}{|\mathbf r' - \mathbf r ...
5
votes
0answers
163 views

An entire function of strict order 2

Here is a problem from Stein and Shakarchi Complex Analysis, can somebody help me to solve it? I guess we can use Phragmen-Lindelof theorem but I don't know the exact way. Suppose $f(z)$ is an entire ...
5
votes
0answers
146 views

Simple problem of a differentiable function

Please, can somebody help me with this problem? I tried to use the Mean Value Theorem, but couldn't solve it. Let $g: [a,b]\rightarrow\mathbb{R}$ a differentiable function on $[a,b]$. If ...
5
votes
0answers
169 views

Ramanujan-Nagell Theorem Proof Question

I'm currently working through Stewart and Tall's Algebraic Number Theory. In particular, section 4.9 of this book provides a proof of the Ramanujan-Nagell Theorem, which states that the only integer ...
5
votes
0answers
56 views

Homomorphism for a fixed graph NP-complete?

Let $G$ be the following Graph: We want to decide whether for an input structure $\mathcal{S}$ there exists a homomorphism $S \to G$. We will call this problem $HOM_G$. The task at hand is to show ...
5
votes
0answers
148 views

Evaluate integral $ I_s(x) \leq \frac{C}{(\pi(1-2 \alpha s))^{d/2}}\exp\left(\frac{\alpha}{1-2 \alpha s }|x|^2\right) $

For all $ x \in \mathbb{R}^n ,\hspace{5mm} 0 \leq s<t ,\hspace{5mm} t \in \mathbb{R}^+$ $$ I_s(x)=\int_{\mathbb{R}^n}\left|v\left(y \sqrt{2s}+x\right)\right|\exp(-|y|^2) \, \mathrm dy. $$ How we ...
5
votes
0answers
150 views

Each new member from the second divides the sum of all previous

All integers from $1$ to $13$ are recorded in a sequence such that each number (from the second onwards) divides the sum of all previous numbers. What numbers can be in the third place and why? I ...
5
votes
0answers
93 views

Recurrence Relation

How do I solve: $k(k+1)a_{k}=2(\lambda k-1)a_{k-1}+(a-\lambda^2)a_{k-2}$ where $\lambda$ and $a$ are constants, and similar other recurrence relations?
5
votes
0answers
141 views

Operator completly continuous

For $\lambda>0$, let $v(t)=\lambda \phi(t)$. Consider the BVP consisting of the equation $$u'''=\lambda[f(t,[u-v]^*+\gamma)+M(t)] ,t\in (0,1)$$ and (BC):$u(0)=u'(p)=\int_q^1 w(s)u''(s)=0 ...
5
votes
0answers
79 views

Prove that (M,+,*) is a field

Prove that the multiplication $*:M \times M \to M$ defined by this table: * | 0 1 -------- 0 | 0 0 1 | 0 1 together with the commutative group (M,+), is a field (M,+,*). Group axioms: 1) ...
5
votes
0answers
147 views

Non-Isomorphic Group Extensions

This is a question from a problem set on group cohomology, a subject I've just begun to learn. Let $B$ be a finite group and $A$ be abelian. I am looking for two groups $G_1$ and $G_2$ such that ...
5
votes
0answers
154 views

Trying to solve $\lambda^3 - 3.250\lambda^2 + \lambda - 0.063 = 0$ using Newton-Raphson method

This is what I've atempted so far in solving $\lambda^3 - 3.250\lambda^2 + \lambda - 0.063 = 0$. The following are the steps: step 1: $f(\lambda) = \lambda^3 - 3.250\lambda^2 + \lambda - 0.063 $ ...
5
votes
0answers
126 views

Prove $(\mathbb Z \times \mathbb Z, \Sigma)$ to be a partial order and tell if its subset $T'$ is a lattice

Let $T = (\mathbb Z\times\mathbb Z, \Sigma) $ be defined as follows: $$\begin{aligned} (a,b) \text{ } \Sigma \text { } (c,d) \Leftrightarrow (a,b) = (c,d) \text{ or } a^2b^2<c^2d^2\end{aligned}$$ ...
5
votes
0answers
333 views

Digital Numbers using all digits from 1-9

Call a number a digital number if it consists of all the digits from 1-9, each used exactly once. What is the probability that a digital number will be divisible by 7 ? What is the probability that a ...
5
votes
0answers
265 views

Taxicab numbers.

I think most people know these numbers. Find $x,\ y,\ z,\ w$ such that $x^3 + y^3 = z^3 + w^3$ and $x,\ y,\ z,\ w$ are not equal to each other. The first is $1729$. I'm trying to figure out if ...
5
votes
0answers
151 views

Problem 24 of section 2 of *Noncommutative Algebra* by Farb & Dennis

Problem 24 of section 2 of Noncommutative Algebra by Farb & Dennis states: Let $R$ be an artinian ring and let $G$ be a finite group. Show that $R[G]$ is semisimple if and only if $R$ is ...