The examples tag has no wiki summary.

**29**

votes

**3**answers

2k views

### Algebras over the little disks operad

Hello,
The so-called "recognition principle" of Boardman-Vogt and May leaves me unsatisfied.
My problem is the following:
The "recognition principle" says that every "group-like" algebra over the ...

**16**

votes

**4**answers

1k views

### Example of a smooth morphism where you can't lift a map from a nilpotent thickening?

Definition. A locally finitely presented morphism of schemes $f\colon X\to Y$ is smooth (resp. unramified, resp. étale) if for any affine scheme $T$, any closed subscheme $T_0$ defined by a square ...

**18**

votes

**6**answers

1k views

### What can you do with a compact moduli space?

So sometime ago in my math education I discovered that many mathematicians were interested in moduli problems. Not long after I got the sense that when mathematicians ran across a non compact moduli ...

**3**

votes

**3**answers

1k views

### Examples of Banach spaces and their duals

There are many representation theorems which state that the dual space of a Banach space $X$ has a particularly concrete form. For example, if $X = C([0,1],\mathbb R)$ is the space of real-valued ...

**9**

votes

**0**answers

225 views

### Krull rings and determinantal invariants

During another attempt to come to grips with Hillman's excellent book Algebraic Invariants of Links, I am having difficulty figuring out why Krull rings are the setting for Chapter 3- the natural ...

**11**

votes

**2**answers

1k views

### Request: A Serre fibration that is not a Dold fibration

A Serre fibration has the homotopy lifting property with respect to the maps $[0,1]^n \times \{0\} \to [0,1]^{n+1}$. A Dold fibration $E \to B$ has the weak covering homotopy property: lifts with ...

**5**

votes

**4**answers

5k views

### Good example of a non-continuous function all of whose partial derivatives exist

What's a good example to illustrate the fact that a function all of whose partial derivatives exist may not be continuous?

**15**

votes

**12**answers

3k views

### What are some fundamental “sources” for the appearance of pi in mathematics?

I thought it might be fun to ask this question as a way of celebrating Pi Day. One way in which people popularize pi is that they say that even though it's defined in terms of properties of a circle, ...

**1**

vote

**0**answers

1k views

### Again about Bing's house with two rooms [duplicate]

Possible Duplicate:
How to show that the “bing’s house with two rooms” is contractible?
I don't know why my question is closed? here, I make my question clearly, when ...

**2**

votes

**1**answer

612 views

### Example of restriction of a finite morphism which is not finite

Every closed immersion is a finite morphism. Therefore, restriction of a finite morphism to a closed subset is always a finite morphism itself. Can you give an example of quasi-projective varieties ...

**1**

vote

**1**answer

458 views

### Example of inclusion which is not a finite morphism [closed]

Every closed immersion is a finite morphism. Can you give an example of quasi-projective varieties $X\subset Y$ such that inclusion $X\hookrightarrow Y$ is not finite? Same with Y projective?
Thanks!
...

**3**

votes

**1**answer

2k views

### How to show that the “bing's house with two rooms” is contractible? [closed]

I can't image this, Someone can give a clear illustration?

**10**

votes

**4**answers

2k views

### Regular spaces that are not completely regular

In the undergraduate toplogy course we were given examples of spaces that are $T_i$ but not $T_{i+1}$ for $i=0,\ldots,4$. However, no example of a space which is $T_3$ but not $T_{3.5}$ was given. ...

**12**

votes

**1**answer

455 views

### Tensor products and two-sided faithful flatness

Let $f: R \to S$ be a morphism of Noetherian rings (or more generally $S$ can just be an $R-R$ bimodule with a bimodule morphism $R \to S$). Suppose $f$ is faithfully flat on both sides, so $M \to M ...

**11**

votes

**2**answers

2k views

### non principally polarized complex abelian varieties

I've read in (abstracts of) papers that there are abelian varieties over fields of positive characteristic that admit no prinicipal polarization. Apparently its not the easiest thing to find an ...

**4**

votes

**3**answers

807 views

### An example where GCD depends on the domain

First some notation. Given a domain $R$ and $x,a,b \in R$, I write $x=gcd(a,b)_R$ to mean that $x$ is one gcd of $a$ and $b$ in $R$.
I want to find an example of an GCD-domain $R$, a subdomain $S ...

**97**

votes

**55**answers

21k views

### What are your favorite instructional counterexamples?

Related: question #879, Most interesting mathematics mistake. But the intent of this question is more pedagogical.
In many branches of mathematics, it seems to me that a good counterexample can be ...

**6**

votes

**2**answers

1k views

### Example of connected-etale sequence for group schemes over a Henselian field?

Can someone give a really concrete example of such a sequence? I am looking at several notes related with such things, but haven't seen any well-calculated example. And I'm really confused at this ...

**18**

votes

**8**answers

1k views

### Cryptomorphisms

I am curious to collect examples of equivalent axiomatizations of mathematical structures. The two examples that I have in mind are
Topological Spaces. These can be defined in terms of open sets, ...

**2**

votes

**0**answers

243 views

### Forgetting extra structure inducing Symmetries

This is a major edit of the original post after receiving helpful comments.
It is often the case when one adds additional structure to make a problem more tractable. When one attempts to forget this ...

**4**

votes

**1**answer

821 views

### On using field extensions to prove the impossiblity of a straightedge and compass construction

Let $z \in \mathbb{C}$. Consider the following statements:
The point $z$ can be constructed with straightedge and compass starting from the points $\{ 0,1\}$.
There is a field extension $K / ...

**1**

vote

**5**answers

691 views

### Is there a finitely complete category with terminal object but NO subobject classifier?

This came up today while thinking about topoi in seminar, as the title suggests my question is;
Is there a finitely complete category with terminal object but NO subobject classifier?
Hopefully ...

**6**

votes

**1**answer

1k views

### Connection between bi-Hamiltonian systems and complete integrability

As I understand, the lack of indication on how to obtain first integrals in Arnol'd-Liouville theory is a reason why we are interested in bi-Hamiltonian systems.
Two Poisson brackets
$\{ \cdot,\cdot ...

**18**

votes

**2**answers

3k views

### A finitely generated, locally free module over a domain which is not projective?

This is a followup to a previous question
What is the right definition of the Picard group of a commutative ring?
where I was worried about the distinction between invertible modules and rank one ...

**2**

votes

**4**answers

512 views

### Ternary relations that are not binary functions

By far the most prominent elementary relations that are not functions are binary and the most prominent elementary ternary relations are in fact binary functions.
"Elementary" shall mean "part of the ...

**4**

votes

**4**answers

568 views

### Kähler manifold which is not algebraic

Can someone provide examples of Kähler manifolds which are not algebraic?
This question came to my mind seeing the post of Andrea Ferretti.

**0**

votes

**1**answer

805 views

### Maximal subgroups of abelian groups and Q-algebras

Let $G$ be an abelian group which does not have a maximal subgroup. Does it follow that $G$ is a $\mathbb{Q}$-algebra?
It is easy to see that $\mathbb{Q}$-algebras do not admit any maximal subgroups. ...

**5**

votes

**1**answer

701 views

### Example for an integral, rectifiable varifold with unbounded first variation

I'm just looking for an example of an integral, rectifiable varifold, which has no locally bounded first variation.
Recapitulation
for every $m$-rectifiable varifold $\mu$ exists a $m$-rectifiable ...

**37**

votes

**5**answers

3k views

### What is Yoneda's Lemma a generalization of?

What is Yoneda's Lemma a generalization of?
I am looking for examples that were known before category theory entered the stage resp. can be known by students before they start with category theory.
...

**6**

votes

**2**answers

508 views

### Examples of Completions and Algebraic Closures

It is widely known that the algebaric closure of the $p$-adic completion $\mathbb{Q}_p$ of $\mathbb{Q}$ isn't complete anymore. It's completion is complete and known as $\mathbb{C}_p$.
I have read ...

**0**

votes

**1**answer

196 views

### Motivation for Cosuspended Category Axioms

Today I was wondering about the axioms given by Bernhard Keller for Cosuspended Categories.
The axioms of a triangle feel very much like exactness, but not quite. The last axiom about the large ...

**11**

votes

**8**answers

1k views

### What are examples illustrating the usefulness of Krull (i.e., rank > 1) valuations?

In modern valuation theory, one studies not just absolute values on a field, but also Krull valuations. The motivation is easy enough:
If $k$ is a field, a valuation ring of $k$ is a subring $R$ ...

**59**

votes

**34**answers

9k views

### Experimental Mathematics

I would like to ask about examples where experimentation by computers have led to major mathematical advances.
A new look
Now as the question is five years old and there are certainly more examples ...

**34**

votes

**15**answers

6k views

### Strong induction without a base case

Strong induction proves a sequence of statements $P(0)$, $P(1)$, $\ldots$ by proving the implication
"If $P(m)$ is true for all nonnegative integers $m$ less than $n$, then $P(n)$ is true."
for ...

**25**

votes

**20**answers

6k views

### Nontrivial question about fibonacci numbers?

I'm looking for a nontrivial, but not super difficult question concerning Fibonacci numbers. It should be at a level suitable for an undergraduate course.
Here is a (not so good) example of the sort ...

**11**

votes

**7**answers

2k views

### Simple show cases for the Yoneda lemma

I've been given a very simple motivating and instructive show case for the Yoneda lemma:
Given the category of graphs and a graph object $G$, seen as a quadruple $(V_G,\ E_G,\ S_G:E\rightarrow V,\ ...

**45**

votes

**2**answers

4k views

### Galoisian sets of prime numbers

The question is about characterising the sets $S(K)$ of primes which split completely in a given galoisian extension $K|\mathbb{Q}$. Do recent results such as Serre's modularity conjecture (as proved ...

**7**

votes

**4**answers

836 views

### Examples of Poisson Schemes

A Poisson Manifold is a real manifold $M$ along with a Lie bracket $[\cdot,\cdot]$ on $C^\infty(M)$ which is a derivation in each variable. Poisson manifolds are interesting for a few reasons, among ...

**85**

votes

**42**answers

18k views

### What are the most attractive Turing undecidable problems in mathematics?

What are the most attractive Turing undecidable problems in mathematics?
There are thousands of examples, so please post here only the most attractive, best examples. Some examples already appear on ...

**6**

votes

**5**answers

2k views

### An example of two elements without a greatest common divisor

Is there an easy example of an integral domain and two elements on it which do not have a greatest common divisor? It will have to be a non-UFD, obviously.
"Easy" means that I can explain it to my ...

**2**

votes

**5**answers

1k views

### non-abelian groups of prescribed order

Is there a construction that will give a non-abelian group of order $p^mr$ where $p$ is a prime, $r$ and $p$ are relatively prime and $m$ is an arbitrary non-negative integer? I suspect in this ...

**5**

votes

**1**answer

474 views

### obstruction to smooth lifting of smooth schemes

According to general theory, for a square zero thickening defined by an ideal I: SpecA -> SpecA', there is an obstruction of lifting a smooth scheme X over A to a smooth scheme over A' living in ...

**1**

vote

**1**answer

2k views

### What are examples of theorems get extensions based on simple observation?

Here are some examples illustrate what I meant:
Bonnet-Myers:Bonnet in 1855 proved n=2 case, Myers in 1941 extended to any dimension using the same idea.
Bishop-Gromov Volume comparison: Bishop knew ...

**7**

votes

**3**answers

1k views

### What are some interesting sequences of functions for thinking about types of convergence?

I'm thinking about the basic types of convergence for sequences of functions: convergence in measure, almost uniform convergence, convergence in Lp and point wise almost everywhere convergence. I'm ...

**44**

votes

**28**answers

24k views

### Applications of the Chinese remainder theorem

As the title suggests I am interested in CRT applications. Wikipedia article on CRT lists some of the well known applications (e.g. used in the RSA algorithm, used to construct an elegant Gödel ...

**19**

votes

**11**answers

3k views

### When does 'positive' imply 'sum of squares'?

Does anyone have examples of when an object is positive, then it has (or does not have) a square root? Or more generally, can be written as a sum of squares?
Example. A positive integer does not ...

**190**

votes

**65**answers

94k views

### Proofs without words

Can you give examples of proofs without words? In particular, can you give examples of proofs without words for non-trivial results?
(One could ask if this is of interest to mathematicians, and I ...

**22**

votes

**3**answers

1k views

### What manifolds are bounded by RP^odd?

Real projective spaces ℝPn have ℤ/2 cohomology rings ℤ/2[x]/(xn+1) and total Stiefel-Whitney class (1+x)n+1 which is 1 when n is odd, so it follows that odd dimensional ones are boundaries of compact ...

**13**

votes

**27**answers

3k views

### Justifying a theory by a seemingly unrelated example

Here is a topic in the vein of Describe a topic in one sentence and Fundamental examples : imagine that you are trying to explain and justify a mathematical theory T to a skeptical mathematician ...

**6**

votes

**2**answers

876 views

### Example of non-closed convex hull in a CAT(0) space

this is related to this question but is simpler, and hopefully is well-known. There are a number of references that say that the convex hull of a collection of points in a CAT(0) space need not be ...