The examples tag has no usage guidance.

**10**

votes

**7**answers

3k views

### Can we have A={A} ?

Does there exist a set $A$ such that $A=\{A\}$ ?
Edit(Peter LL): Such sets are called Quine atoms.
Naive set theory By Paul Richard Halmos On page three, the same question is asked.
Using the ...

**14**

votes

**3**answers

1k views

### Eta-products and modular elliptic curves

Recently the elliptic curve $E:y^2+y=x^3-x^2$ of conductor $11$ (which appears in my answer) became my favourite elliptic over $\bf Q$ because the associated modular form
$$
...

**6**

votes

**16**answers

3k views

### Vector spaces without natural bases

Does anyone know any nice examples of vector spaces without a basis that is in some sense "natural".
To clarify what I mean, suppose we look at $\mathbb{R}^2$. We define $\mathbb{R}^2$ as pairs of ...

**0**

votes

**3**answers

1k views

### Intuitions/connections/examples for “eigen-*”

There are many concepts in mathematics that begin with the German word "eigen": eigenvector, eigenvalue, eigenspace, eigenstate, eigenfunction, eigensystem etc. (to name just the most important (?) ...

**5**

votes

**1**answer

293 views

### Example of a quasitopological group with discontinuous power map

A quasitopological group is a group $G$ with topology such that multiplication $G\times G\rightarrow G$ is continuous in each variable (i.e. all translations are continuous) and inversion ...

**5**

votes

**13**answers

2k views

### Applications of compactness

Similar to this question: Applications of connectedness I want to collect applications of compactedness.
E.g.: compact + discrete => finite, which can be used to prove the finiteness of the ...

**14**

votes

**4**answers

2k views

### What are your favorite finite non-commutative rings?

When you are checking a conjecture or working through a proof, it is nice to have a collection of examples on hand.
There are many convenient examples of commutative rings, both finite and infinite, ...

**12**

votes

**13**answers

2k views

### Applications of connectedness

In an «advanced calculus» course, I am talking tomorrow about connectedness (in the context of metric spaces, including notably the real line).
What are nice examples of applications of the idea ...

**0**

votes

**1**answer

422 views

### Must finite groups with isomorphic commutators and quotients be isomorphic?

Let G and H be finite groups. Let G' = [G,G] and H' = [H,H] be the corresponding derived groups (commutator subgroups) of G and H. I am looking for an example where G' is isomorphic to H' and G/G' is ...

**8**

votes

**3**answers

2k views

### The harmonic (series) beetle: live illustrations of mathematical theorems

In my analysis class I use the following problem to illustrate the divergence
of the harmonic series (consider this as a hint for solving it).
Exercise.
A beetle creeps along a 1-meter infinitely ...

**1**

vote

**1**answer

389 views

### An example of a space which is locally relatively contractible but not contractible?

A space $X$ is called locally contractible it it has a basis of neighbourhoods which are themselves contractible spaces. CW complexes and manifolds are locally contractible. On the other hand, the ...

**12**

votes

**6**answers

2k views

### Fundamental group of the line with the double origin.

In the simplest cases, the fundamental group serves as a measure of the number of 2-dimensional "holes" in a space. It is interesting to know whether they capture the following type of "hole".
This ...

**21**

votes

**10**answers

3k views

### Examples of non-abelian groups arising in nature without any natural action

It's said that most groups arise through their actions. For instance, Galois groups arise in Galois theory as automorphisms of field extensions. Linear groups arise as automorphisms of vector spaces, ...

**5**

votes

**2**answers

566 views

### Gaining intuition for how submodules behave

I'm studying elementary commutative algebra this semester, largely following Atiyah-MacDonald. I often find myself in a situation where I'm interested in whether some property of an R-module M is ...

**3**

votes

**9**answers

689 views

### Non-real constants

Constants are usually real numbers e.g. e, pi, gamma etc. Can you give examples of special constants that are not real? e.g. complex or p-adic constants.
A real number in base10 can be viewed as the ...

**9**

votes

**1**answer

2k views

### Sequence that converge if they have an accumulation point

I am looking for classes of sequence, that converge iff they contain a converging sub-sequence.
The basic example of such sequences are monotone sequences of real numbers.
A more interesting ...

**5**

votes

**2**answers

489 views

### What is an example of a non-regular, totally path-disconnected Hausdorff space?

I need this for a counterexample: the multiplication in the fundamental group $\pi_1(\Sigma X_+)$, when it is equipped with the topology inherited from $\Omega \Sigma X_+$, fails to be continuous for ...

**1**

vote

**1**answer

2k views

### Example for deterministic function with unbounded total variation and bounded quadratic variation

It is well known that e.g. $sin(1/x)$ is of unbounded total variation (in the interval [0,1] assuming $f(0)=0$). (Preliminary numerical tests suggest that) it is also of unbounded quadratic variation. ...

**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 ...

**19**

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

229 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 ...

**12**

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

624 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

481 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!
...

**2**

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

456 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 ...

**12**

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

819 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 ...

**113**

votes

**58**answers

23k 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

2k 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

244 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

843 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 / ...

**2**

votes

**5**answers

722 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 ...

**22**

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

551 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

602 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

817 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. ...

**6**

votes

**1**answer

718 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

534 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

199 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 ...

**12**

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$ ...