The classification tag has no usage guidance.

**2**

votes

**1**answer

163 views

### Classification of cubic surfaces in $\mathbb{P}^3$

We know every cubic surface in $\mathbb{P}^3$ is obtained by blowing up $\mathbb{P}^2$ at 6 points in general position. Hence they are all birational to $\mathbb{P}^2$.
My question is: Do we have ...

**15**

votes

**4**answers

437 views

### Representation theorem for modular lattices?

Birkhoff's representation theorem implies that every distributive lattice embeds into the lattice of subsets of a set. Is there also some representation theorem for modular lattices?
For example, I ...

**2**

votes

**2**answers

255 views

### Are the closed and unbounded subsets of $\mathbb{R}$ known up to homeomorphism?

I am currently working on a problem for which this knowledge could greatly reduce the number of cases, but I have yet to find anything after searching online. Are the closed unbounded subsets of ...

**5**

votes

**0**answers

93 views

### Heegaard diagrams of prime 3-manifolds

Are there some known results which give a classification of closed prime 3-manifolds up to their Heegaard diagrams? (That is, providing a collection of Heegaard diagrams which exhausts all prime ...

**3**

votes

**1**answer

136 views

### Classification of finite abelian hypergroups and table algebras

Update: Originally, I formulated this question for finite abelian hypergroups, but in a discussion with Geoff Robinson below I realized that the abelian hypergroups defined below are equivalent to ...

**4**

votes

**1**answer

541 views

### Is there a structure theorem or group law for finite groups generated by two elements?

Say that $a, b \in G$ are two elements of a finite group $G$. Is there a structure theorem for the structure of $\langle a,b\rangle$? Is there a way to derive group laws for the group operation in the ...

**5**

votes

**0**answers

218 views

### A class 3 group of order 243

Let G be a group of order $243=3^5$. We denote by $(G_i)$ its lower central series and assume that $G$ has class $3$ and that $|G:G_2|=|G_3|=9$. We assume moreover that the cubing map factors as a ...

**4**

votes

**0**answers

119 views

### A relation on the set of isomorphism classes of finitely generated groups

Let $G$ be the set of finitely generated groups up to isomorphism hence its elements will be noted $[B]$ where $B$ is some finitely generated group.
On this set we put a relation $\mathcal{ND}$ ...

**30**

votes

**2**answers

2k views

### How do you *state* the Classification of finite simple groups?

From the point of view of formal math, what would constitute an appropriate statement of the classification of finite simple groups? As I understand it, the classification enumerates 18 infinite ...

**2**

votes

**3**answers

409 views

### First Explicit Irreducible Representations

Although the classification of simple Lie Algebras and their representations is fully understood, I wonder whether there is some book with exhaustive tables describing explicit irreducible ...

**2**

votes

**1**answer

172 views

### What is the growth of the rank of a power of a finite simple group?

Which asymptotic bounds (upper and lower) are known for $s_n$ - the minimal number of generators of $S^n$ where $S$ is a nonabelian finite simple group?

**3**

votes

**0**answers

62 views

### Signatures of latin squares: what about the extremal cases?

For a latin square (LS) of order $n$, we will define a cut (or maybe general transversal, I don't know whether there is an entrenched name for this) as a collection of $n$ cells such that no two share ...

**8**

votes

**1**answer

348 views

### Characterization of Frobenius complements

I have learned that Frobenius complements are characterized (among finite groups) by having a fixed point free complex representation.
That is, a finite group $G$ is a Frobenius complement if and only ...

**17**

votes

**1**answer

339 views

### Lens spaces and generalized Petersen graphs

Recently I came across this mathoverflow question, in which the number of homeomorphism classes of 3-dimensional lens spaces $L(p, q)$ is computed as a function of $p$. Using the OEIS, I found a ...

**16**

votes

**2**answers

932 views

### In what sense is the classification of all finite groups “impossible”?

I think there is a general belief that the classification of all finite groups is "impossible". I would like to know if this claim can be made more precise in any way. For instance, if there is a ...

**4**

votes

**1**answer

163 views

### Castelnuovo's rationality criterion on singular surfaces?

Let $S$ be a projective surface over an algebraically closed field. Suppose that $q(S)=h^1(\mathcal O_S)=0$ and $P_2(S)=h^0(\mathcal O_S(2K_S))=0$. If $S$ is smooth, Castelnuovo's rationality ...

**7**

votes

**2**answers

281 views

### Uniform-in-p classification* of p-groups of order p^n for each fixed n?

To what extent is there/can there be a description that is uniform in p (for p sufficiently large) of the p-groups of order $p^n$, for each fixed n?
Note 1: I used the word "description" rather ...

**2**

votes

**2**answers

212 views

### How much information does the multiplicative semigroup of an algebra contain?

How much do we know about an given algebra when we only know its semigroup strucure under the product law?
How far can two algebras be distinguished by knowing only their semigroup strucure?
The ...

**3**

votes

**1**answer

220 views

### Are all symmetric idempotent Latin squares known?

Are all symmetric idempotent Latin squares known?
There is such a square of order $n$ if and only if $n$ is odd. However, is there a classification of all of them?
(The motivation for the question ...

**6**

votes

**1**answer

342 views

### Taking direct sums in $K$-theory in Kirchberg-Phillips classification

A theorem by Kirchberg and Phillips states that two unital separable nuclear simple purely infinite $C^*$-algebras (so called Kirchberg algebras) satisfying the Universal Coefficient Theorem are ...

**7**

votes

**2**answers

653 views

### basics of classification of trilinear forms (when is it non-discrete)

Consider tri-linear forms, $\{A_{ijk}\}$ where $i=1,..,n_1$, $j=1,..,n_2$, $k=1,..n_3$, over a field of zero characteristic, up to the equivalence $A\to (U_1,U_2,U_3)(A)$, by three matrices.
What is ...

**2**

votes

**1**answer

407 views

### The PDE $u_t=u_{xx}-u_{yy}$: The simplest linear second-order PDE that isn't elliptic, parabolic, or hyperbolic.

I know that there have been several questions on here and stackexchange about linear PDE's which don't fall into the standard classification, but I had a more focused question which I haven't seen ...

**1**

vote

**2**answers

342 views

### Finding Decision Boundary from empirical distribution

Based on measuring a certain characteristic, we want to classify measurements as coming from either of two populations. The true population distributions are unknown (and we don't want to take any ...

**23**

votes

**1**answer

1k views

### Rock-paper-scissors…

A directed graph whose underlying undirected graph is complete is called a tournament. Let us call a (finite) directed graph balanced if every vertex has as many incoming as outgoing edges. The ...

**2**

votes

**0**answers

328 views

### bielliptic surfaces

Definition:
A surface is called $S$ bielliptic if $S \cong (E \times F) /G$, where $E,F$ are elliptic curves and $G$ is a finite group of translations of $E$ acting on $F$ such that $F /G \cong ...

**4**

votes

**1**answer

499 views

### Del pezzo surfaces in positive characteristic

For me a Del Pezzo surface $X$ over an algebraically closed field of characteristic $p$ is an algebraic surface where the anticanonical bundle $\omega^{-1}_X$ or $-K_X$ is ample. (I prefer the second ...

**10**

votes

**0**answers

212 views

### “Locally Euclidean” varieties

Differentiable manifolds can be described in terms of local charts to open subsets of $\mathbb{R}^n$ and transition functions that are diffeomorphisms. Trying to put $\mathbb{A}^n$ (over an ...

**16**

votes

**6**answers

2k views

### Is there a classification of open subsets of euclidean space up to homeomorphism?

I hope this question is reasonable enough to have a well known answer. i.e either there is a simple invariant (like the homotopy groups) that characterizes the homeomorphism type of such set among ...

**6**

votes

**7**answers

637 views

### Classifications of finite simple objects

I'm curious to know if other classifications are known of "finite simple structures" in the same spirit of the monumental classification of finite simple groups. Here I mean "classification" in the ...