Questions tagged [classification]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
131 views

Centralizers of automorphisms in finite simple groups (reference request)

I would like to have a precise version of the following statement and, if possible, a reference to such a statement in some standard book. Claim 1: Let $G$ be a finite simple non abelian group with ...
user avatar
4 votes
2 answers
110 views

Twisted root subgroups in twisted Chevalley groups (reference request)

I am trying to find a standard reference for the natural analogue of root subgroups (and their properties) in twisted Chevalley groups. Let me first recall the classical set-up. According to Steinberg'...
user avatar
3 votes
1 answer
110 views

Is there a classification of the first geodesic nets?

A geodesic net is an embedding of a multigraph $(V,E)$ into a Riemannian manifold $(M,g)$, so that the vertices are mapped to points of $M$ and the edges to geodesics connecting them. Additionally, ...
user avatar
  • 2,517
7 votes
0 answers
187 views

Classification of octonionic reflection groups

I know that there exist classification theorems for real, complex, and quaternionic, reflection groups. There are presentations for the real reflection groups, as well as further presentations for the ...
user avatar
5 votes
0 answers
121 views

Properties of finite dimensional, real division algebras that only yield $\mathbb{R}, \mathbb{C}, \mathbb{H}$ and $\mathbb{O}$

It is a classical result by Kervaire and Milnor that every finite-dimensional, real division algebra has dimension 1,2,4 or 8, with the most prominent examples being $\mathbb{R}, \mathbb{C}, \mathbb{H}...
user avatar
5 votes
0 answers
144 views

Finite simple groups of automorphisms of finite simple Lie algebras

I begin by briefly recalling some basic facts in order to pose my question in context. According to the classification, the finite simple groups are cyclic of prime order, are alternating on $n \geq 5$...
user avatar
2 votes
0 answers
101 views

Deduce Sheffer's classification of orthogonal polynomials of A-type 0

Theorem 1.9 in Daniel Galiffa and Tanya Riston's paper, An elementary approach to characterizing Sheffer A-type 0 orthogonal polynomial sequences, 2015, presents without proof Isador Sheffer's ...
user avatar
6 votes
1 answer
228 views

Is there a known classification of regular multiplicity-free permutation groups?

The question is in the title, but let me clarify the terminology. I consider a permutation group $\Sigma\subseteq\mathrm{Sym}(\Omega)$ on a finite set $\Omega$. $\Sigma$ is regular if it acts ...
user avatar
  • 10k
1 vote
1 answer
66 views

Bayes risk of binary classification problem with conditionally independet covariates

In the setting of this problem, $\eta(\vec{x})$ is $P(Y=1|\vec{X}=\vec{x})$, $Y \in {0,1}$, $X \in R^d$. Being the true probability know, the classification rule is simply $\eta(\vec{x})>0.5 \...
user avatar
3 votes
0 answers
95 views

Are there any zeta functions with concurrent derivative shifts in multiple variables?

Expressions for rational zeta series have been obtained by considering the Taylor series of zeta functions. For instance, one has \begin{align}\zeta(s,x+y) &= \sum_{k=0}^{\infty} \frac{y^{k}}{k!} \...
user avatar
  • 3,593
1 vote
1 answer
33 views

Represent multivariate data [closed]

I am not sure if this is the best place for my question. Please delete if it is not, but I would really appreciate some suggestions. I want to graphically represent multivariate data. I have 7 ...
user avatar
10 votes
0 answers
239 views

What are the known convex polyhedra with congruent faces?

Note: I originally asked this question on math.SE here, where I posted a bounty on the question but received no answers after a week despite apparent interest in the problem. I'm hoping MathOverflow ...
user avatar
2 votes
0 answers
91 views

Can all (inverse) trigonometric functions with periodic iterates be characterized?

I wonder whether all (composites of) trigonometric and inverse trigonometric functions with periodic functional iterations can be found. In order to specify what I mean by that, let's introduce some ...
user avatar
  • 3,593
1 vote
2 answers
229 views

Difference between semilinear and fully nonlinear

I'm confused why the Hamilton Jacobi Bellman equation: $$\frac{\partial u}{\partial t}(t,x)+\Delta u(t,x) -\lambda||\nabla u(t,x) ||^{2}=0$$ is considered fully nonlinear, but not semilinear. By ...
user avatar
  • 11
2 votes
0 answers
206 views

On classifying groups of order $p^5$

Can someone suggest me some source where the author has classified all non-isomorphic groups of order $p^5$ ? I need complete classification (not upto isoclinism), and also in finitely presented form ....
user avatar
3 votes
1 answer
274 views

Is there a precise relationship between the goals of moduli theory and the minimal model program?

I want to get into some of the big classification problems in algebraic geometry, but have a very broad question. Ultimately we would like to classify all varieties over some field up to isomorphism, ...
user avatar
  • 393
6 votes
1 answer
289 views

Comonoids in the category of monoids

Let us give the category of monoids $\mathbf{Mon}$ a monoidal structure with $\otimes = \sqcup$ (coproduct). How can we classify $\mathbf{CoMon}(\mathbf{Mon})$, the category of comonoids of monoids? ...
user avatar
  • 5,314
3 votes
0 answers
56 views

Matroids which are transitive on minimal basis exchanges

I am looking for matroids in which all minimal basis exchanges look the same, that is, the matroid is transitive on these. Let me explain what I mean by that. Consider a finite matroid $M$. Define a ...
user avatar
  • 10k
1 vote
1 answer
939 views

Minimum number of support vectors? [closed]

I'm learning SVM and its written everywhere that the minimal number of support vectors is 2? But I couldn't find any formal proofs of that. Why cant there be less than 2 support vectors? Can somebody ...
user avatar
  • 139
3 votes
1 answer
3k views

Why the VC dimension of triangles in 2D space is not greater than 7?

I understand that there are sets of 7 points on a circle that can be fully shattered using triangles.But, it is not clear to me why it cannot shatter 8 points. Is there any intuitive way of arriving ...
user avatar
2 votes
1 answer
66 views

Name for "partially complete" invariants in classification problems?

For any equivalence $\sim$ on some collection of objects $C$ consider the problem of trying to determine if two arbitrary objects $x$ and $y$ in $C$ are equivalent i.e. if $x\sim y$ now by definition ...
user avatar
  • 2,371
9 votes
2 answers
406 views

The "Johnson polychora"

Firstly, a definition: A convex polyhedron, whose faces are regular polygons (2D polytopes). This includes the 92 Johnson solids, 13 Archimedean solids, 5 Platonic solids and two infinite ...
user avatar
  • 3,472
5 votes
1 answer
424 views

Classification of the quotients of the ring Z/4 [X]

Is it possible to classify all cyclic $\mathbb{Z}/4$-algebras, i.e. the regular quotients of $\mathbb{Z}/4 [X]$? A typical example is $\mathbb{Z}/4 [X] / \langle X^n , 2 X^k \rangle$. For my purposes ...
user avatar
1 vote
0 answers
101 views

Generalize characterization of upper semicontinous functions

Let $X$ be a metric space and denote $f:X \rightarrow \mathbb{R}.$ It is easy to show that the following two statements are equivalent: $(1)$ For any real number $c$, we have $f^{-1}(-\infty,c)$ is ...
user avatar
  • 593
5 votes
1 answer
129 views

Classification of pointed Hopf algebras up to gauge equivalence

The classification of finite-dimensional pointed Hopf algebras over an algebraically closed field of characteristic zero and whose group of group-like elements is abelian is very much completed. ...
user avatar
13 votes
1 answer
520 views

Classification of non-Hausdorff topological vector spaces

It is well-known that up to topological isomorphism there is exactly one Hausdorff topological vector space (say, over $\mathbb{C}$) of a given dimension $n$, namely $\mathbb{C}^n$ with the euclidean ...
user avatar
  • 5,314
3 votes
0 answers
178 views

Smallest number $n$ for which we don't know the classification of all groups of order $n$

I noticed that in groupprops and wikipedia there are often given tables of classifications of groups of small order. This motivated me to ask, what is the current state of research in classifying all ...
user avatar
2 votes
0 answers
81 views

Regular homotopy of punctured surfaces

A theorem of James and Thomas (Note on the classification of cross-sections, Topology 4) asserts that the space of immersions, up to regular homotopy, from a compact surface $S$ into $\mathbb{R}^3$ ...
user avatar
27 votes
1 answer
2k views

Has anyone catalogued the "first generation" proof of the classification of finite simple groups?

It has been estimated that the original proof of the CFSG spans around 15,000 journal pages written by hundreds of authors over most of the 20th century. The GLS project attempted to simplify this ...
user avatar
1 vote
0 answers
146 views

Classification of finite subgroup of $PGSp_4(\mathbb{C})$

Is there a classification of the finite subgroups of $PGSp_4(\mathbb{C})$?
user avatar
  • 1,026
2 votes
1 answer
453 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 ...
user avatar
18 votes
4 answers
1k 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 ...
user avatar
2 votes
2 answers
654 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 $\...
user avatar
5 votes
0 answers
117 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 ...
user avatar
  • 469
4 votes
1 answer
312 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 ...
user avatar
5 votes
1 answer
804 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 ...
user avatar
5 votes
0 answers
272 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 (...
user avatar
  • 123
4 votes
0 answers
179 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}$ ("...
user avatar
47 votes
2 answers
5k 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 ...
user avatar
3 votes
3 answers
569 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 ...
user avatar
  • 2,051
3 votes
1 answer
208 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?
user avatar
  • 11k
7 votes
0 answers
178 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 ...
user avatar
  • 12.7k
13 votes
3 answers
1k 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 ...
user avatar
18 votes
1 answer
441 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 ...
user avatar
25 votes
2 answers
3k 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 ...
user avatar
  • 5,782
5 votes
1 answer
353 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 ...
user avatar
8 votes
2 answers
435 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 than ...
user avatar
2 votes
2 answers
272 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 ...
user avatar
  • 221
4 votes
1 answer
382 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 ...
user avatar
7 votes
1 answer
427 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 ...
user avatar
  • 261