# All Questions

479 views

### A double centralizing theorem for finite groups

I have a proof for the following assertion which employs Model Theory. It has certainly a pure group theoretic proof, but what is such a proof? Is the assertion trivial? Theorem Let $G$ be a finite ...
172 views

### Identity for Power Series and Binomial Coefficients

This question concerns a combinatorial identity obeyed by power series coefficients. Throughout we let $[x^{M}]\{\phi(x)\}$ denote the coefficient of $x^{M}$ in a power series $\phi(x)$. Let $k$ be ...
85 views

### Legendre transform and Lipschitz approximation

Let $(X,d)$ be a compact metric space and $f:X \to \mathbb{R}$ a real valued continuous function. Let us agree that a modulus of continuity means concave, nondecreasing, uniformly continuous function ...
47 views

### Analysing functions on zero-length intervals and super-small values

Suppose a function that has a pole in $x=0$: Here we see the graphic of the real part of the Gamma function. As we can see on it, there is a vertical line at $x=0$ that comes from $-\infty$ to ...
145 views
+50

### On the boundary of the twindragon

Let $\mathcal T$ be the famous twindragon, i.e., $$\mathcal T=\left\{\sum_{n=0}^\infty a_n\left(\frac{1+i}2\right)^n : a_n\in\{0,1\}\right\}.$$ Then, as is well known, $\mathcal T$ has a ...
61 views
+100

### Induced subgraphs of small strongly regular graphs

Consider a strongly regular graph $G$ with parameters $(76,30,8,14).$ Hoffman's bound tells us that $\overline{G}$ has an independent set of size at most $4$ and its not hard to see there are indeed ...
31 views

### Can we extend a multiplicative linear functional of a closed left ideal on whole of the algebra?

Let B be a closed left ideal of a Banach algebra A. Also, B has a right approximate identity (in B). If g is a nonzero multiplicative linear functional on B, can we always extend g to a ...
25 views

### holomorphic continuation

consider the function given by $f(t):=\sum\limits_{n=0}^{\infty}e^{-\left(n+\frac{1}{2}\right)^2t}$ for $t\in (0,\infty)$. This function can be continued holomorphically for all complex numbers with ...
580 views

### Under what conditions $\|x-y\|=n\iff\|f(x)-f(y)\|=n.$ for $n\in\mathbf{N}$ implies isometry?

Let $X, Y$ be normed space and $f:X\to Y$ be a mapping. Assume that for all $n\in\mathbf{N}$, $$\|x-y\|=n\iff\|f(x)-f(y)\|=n.$$ Under what conditions this map will be an isometry? Thanks
144 views

### Irreducibility of a polynomial

For $n\ge 1$, let $g(x_1,x_2,\ldots,x_n)$ be an irreducible homogeneous polynomial in $n$ variables over a field $k$ and $f(x)$ an irreducible polynomial of $k[x]$. Is $f(g(x_1,x_2,\ldots,x_n))$ ...
227 views
+50

### Monotone embedding of complete binary tree in hypercube

Embedding different graphs, especially binary trees, in the hypercube has a huge literature. However, I could not find anything if we restrict the embedding to be monotone. So I would like to ...
11 views

162 views

### Why is SO(3) not $S^1 \times S^2$? (Where is the mistake?) [migrated]

I was trying to calculate the fundamental group of SO(3). In order to represent the group I reasoned the following way: In order to build the 3X3 orthogonal matrix I need an orthonormal positive ...
148 views

### Elements of order 3 normalizing no non-identity 2-subgroups in Almost Simple Groups

This question is partly motivated by a situation which arises in modular representation theory. A finite group $G$ is said to be almost simple if $G$ has a unique minimal normal subgroup which is a ...
8k views

### Non Borel sets without axiom of choice

This is a simple doubt of mine about the basics of measure theory, which should be easy for the logicians to answer. The example I know of non Borel sets would be a Hamel basis, which needs axiom of ...
3k views

### Why the triangle inequality?

[Maybe this is asking to be closed; but I thought I'd risk it.] A metric satisfies the axioms: $d(x,y)=0$ if and only if $x=y$. $d(x,y) = d(y,x)$. $d(x,y) \leq d(x,z) + d(z,y)$. Similarly (and ...
How large is the largest transitive subgroup of $S_n$ other than itself and $A_n$? In particular, does its size grow at least exponentially in $n$?