Related papers: On Boolean intervals of finite groups

We say that a set $S$ is $\Delta^0_{(n)}(X)$ if membership of $n$ in $S$ is a $\Delta^0_{n}(X)$ question, uniformly in $n$. A set $X$ is low for $\Delta$-Feiner if every set $S$ that is $\Delta^0_{(n)}(X)$ is also…

Suppose that a finite group $G$ admits an automorphism $\varphi $ of order $2^n$ such that the fixed-point subgroup $C_G(\varphi ^{2^{n-1}})$ of the involution $\varphi ^{2^{n-1}}$ is nilpotent of class $c$. Let $m=|C_G(\varphi)|$ be the…

Given $n\in\mathbb{N}$ any point on the closed unit disk $\overline{\mathbb{D}}$ can be written as the average of $n$ points on the unit circle $\mathbb{S}^1$. Here we discuss a non-commutative version of this result. We prove that for any…

We explain how Johnstone's 1989 proof of the closed subgroup theorem for localic groups can be viewed as a point-free version of Pettis's theorem for Baire topological groups. We then use it to derive localic versions of the open mapping…

Let A be a finite set with at least two elements. The composition of two classes I and J of operations on A, is defined as the set of all compositions of functions in I with functions in J. This binary operation gives a monoid structure to…

The bilinear Bogolyubov argument for $\mathbb{F}_p^n$ states that if we start with a dense set $A \subseteq \mathbb{F}_p^n \times \mathbb{F}_p^n$ and carry out sufficiently many steps where we replace every row or every column of $A$ by the…

Let $A$ be the ring of integers of a number field $K$. Let $G \subseteq GL_3(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y, Z]$ (fixing $A$) and let $S = R^G$ be the ring of invariants. Assume the Veronese subring $S^{<m>}$ of…

Let $G$ be a simple, simply connected algebraic group over the field of complex numbers. We give a necessary and a sufficient condition for a Schubert variety $X(\tau)$ for which all the higher cohomologies $H^{i}(X(\tau), E)$ vanish for…

We establish a complete classification theorem for the topology and for the null generators of compact non-degenerate Cauchy horizons of time orientable smooth vacuum $3+1$-spacetimes. We show that, either: (i) all generators are closed, or…

Given an infinite set of special divisors satisfying a mild regularity condition, we prove the existence of a Borcherds product of non-zero weight whose divisor is supported on these special divisors. We also show that every meromorphic…

In this paper we show that for a torsion-free abelian group $G$, $\operatorname{rank}_\mathbb{Z}G<\infty$ if and only if there exists a Noetherian $G$-graded ring $R$ such that the set $\{R_g \neq 0\}$ generates the group $G$. For every $G$…

We explore the occurrence of point configurations within non-meager (second category) Baire sets. A celebrated result of Steinhaus asserts that $A+B$ and $A-B$ contain an interval whenever $A$ and $B$ are sets of positive Lebesgue measure…

Let X be an irreducible smooth complex projective curve of genus g>2, and let x be a fixed point. A framed bundle is a pair (E,\phi), where E is a vector bundle over X, of rank r and degree d, and \phi:E_x\to C^r is a non-zero homomorphism.…

Ore proved that a finite group is cyclic if and only if its subgroup lattice is distributive. Now, since every subgroup of a cyclic group is normal, we call a subfactor planar algebra cyclic if all its biprojections are normal and form a…

For non-amenable finitely generated virtually free groups, we show that the combinatorial Euler characteristic introduced by Emerson and Meyer is the preimage of the K-theory class of higher Kazhdan projections under the Baum-Connes…

It is a classical theorem of Sarason that an analytic function of bounded mean oscillation ($BMOA$), is of vanishing mean oscillation if and only if its rotations converge in norm to the original function as the angle of the rotation tends…

We prove that for every class of graphs $\mathcal{C}$ which is nowhere dense, as defined by Nesetril and Ossona de Mendez, and for every first order formula $\phi(\bar x,\bar y)$, whenever one draws a graph $G\in \mathcal{C}$ and a subset…

Suppose $X$ is a torsor under an abelian variety $A$ over a number field. We show that any adelic point of $X$ that is orthogonal to the algebraic Brauer group of $X$ is orthogonal to the whole Brauer group of $X$. We also show that if…

In the class of reduced Abelian torsion-free groups $G$ of finite rank, we describe TI-groups, this means that every associative ring on $G$ is filial. If every associative multiplication on $G$ is the zero multiplication, then $G$ is…

We provide a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace K inside the second exterior product of a vector space, as well as a sharp upper bound for its Hilbert function.…