Related papers: Betweenness isomorphism classes of circles with fi…

Let $G$ be a group. Two elements $x, y$ are said to be {\it $z$-equivalent} if their centralizers are conjugate in $G$. The class equation of $G$ is the partition of $G$ into conjugacy classes. Further decomposition of conjugacy classes…

If P is a point inside triangle ABC, then the cevians through P extended to the circumcircle of triangle ABC create a figure containing a number of curvilinear triangles. Each curvilinear triangle is bounded by an arc of the circumcircle…

An abstract polytope of rank n is said to be chiral if its automorphism group has two orbits on the flags, such that adjacent flags belong to distinct orbits. Examples of chiral polytopes have been difficult to find. A "mixing" construction…

Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…

A separating algebra is, roughly speaking, a subalgebra of the ring of invariants whose elements distinguish between any two orbits that can be distinguished using invariants. In this paper, we introduce a geometric notion of separating…

We classify Coble surfaces with finite automorphism group in arbitrary characteristic not equal to 2. There are exactly 9 isomorphism classes of such surfaces.

We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…

We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields…

Let $P$ be a set of $n$ points in the plane, each point moving along a given trajectory. A {\em $k$-collinearity} is a pair $(L,t)$ of a line $L$ and a time $t$ such that $L$ contains at least $k$ points at time $t$, the points along $L$ do…

We consider point sets in the affine plane $\mathbb{F}_q^2$ where each Euclidean distance of two points is an element of $\mathbb{F}_q$. These sets are called integral point sets and were originally defined in $m$-dimensional Euclidean…

We first introduce a configuration of arbitrary isogonal conjugates related to a known property concerning the spiral center of two pairs of isogonal conjugates. We then consider a special case where two conics are tangent at exactly two…

We use basic tools of descriptive set theory to prove that a closed set $\mathcal S$ of marked groups has $2^{\aleph_0}$ quasi-isometry classes provided every non-empty open subset of $\mathcal S$ contains at least two non-quasi-isometric…

The goal of this short note is to prove that when $A$ is a closed *-subalgebra of a C*-algebra $B$ satisfying the ideal intersection property plus a mild axiom (INV), then the map $J\mapsto J\cap A$ establishes an isomorphism from the…

We characterize monomial ideals which are intersections of monomial prime ideals and study classes of ideals with this property, among them polymatroidal ideals.

Take finitely many topological spaces and for each pair of these spaces choose a pair of corresponding closed subspaces that are identified by a homeomorpism. We note that this gluing procedure does not guarantee that the building pieces,…

We define an abstract regular polytope to be internally self-dual if its self-duality can be realized as one of its symmetries. This property has many interesting implications on the structure of the polytope, which we present here. Then,…

A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a…

The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator…

Lines and circles pose significant scalability challenges in synthetic geometry. A line with $n$ points implies ${n \choose 3}$ collinearity atoms, or alternatively, when lines are represented as functions, equality among ${n \choose 2}$…

We classify real two-dimensional orbits of conformal subgroups such that the orbits contain two circular arcs through a point. Such surfaces must be toric and admit a M\"obius automorphism group of dimension at least two. Our theorem…