Related papers: Helly dimension of algebraic groups

A Hausdorff topological group G is minimal if every continuous isomorphism f : G --> H between G and a Hausdorff topological group H is open. Clearly, every compact Hausdorff group is minimal. It is well known that every infinite compact…

In this short note we show that if lambda>aleph_1 is regular and lambda is not the successor of a singular cardinal of cofinality aleph_0, and G is a lambda-free abelian group of size lambda, then there is a free group G' subseteq G of size…

In the paper we consider the following conjecture: if a finite group $G$ possesses a solvable $\pi$-Hall subgroup $H$, then there exist elements $x,y,z,t\in G$ such that the identity $H\cap H^x\cap H^y\cap H^z\cap H^t=O_\pi(G)$ holds. The…

We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets.

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that…

A complete classification of a class of $3$-dimensional algebras is provided. In algebraically closed field $\mathbb{F}$ case this class is an open, dense (in Zariski topology) subset of $\mathbb{F}^{27}$.

The set of associative and commutative hypercomplex numbers, called the perfect hypercomplex algebra (PHA) is investigated. Necessary and sufficient conditions for an algebra to be a PHA via semi-tensor product(STP) of matrices are…

Let G be complex linear-algebraic group, H a subgroup, which is dense in G in the Zariski-topology. Assume that G/[G,G] is reductive and furthermore that (1) G is solvable, or (2) the semisimple elements in G'=[G,G] are dense. Then every…

The $n$-th Zariski topology on a group $G$ is generated by the sub-base consiting of the cozero sets of monomials of degree $\le n$ on $G$. We prove that for each group $G$ the 2-nd Zariski topology is not discrete and present an example of…

Let $f : X \to S$ be a smooth projective family defined over $\mathcal{O}_{K}[\mathcal{S}^{-1}]$, where $K \subset \mathbb{C}$ is a number field and $\mathcal{S}$ is a finite set of primes. For each prime $\mathfrak{p} \in…

We establish vanishing results for limits of characters in various discrete groups, most notably irreducible lattices in higher rank semisimple Lie groups. As an application, we show that any sequence of finite-dimensional representations…

Let $G $ be a group of cardinality $\kappa>\aleph_0 $ endowed with a topology $\tau $ such that $|U|=\kappa$ for every non-empty $U\in\tau$ and $\tau$ has a base of cardinality $\kappa$. We prove that $G$ could be factorized $G=AB$ (i.e.…

We say that a topological group $G$ is partially box $\kappa$-resolvable if there exist a dense subset $B$ of $G$ and a subset $A $ of $G$, $|A|=\kappa$ such that the subsets $\{ aB: a\in A\}$ are pairwise disjoint. If $G=AB$ then $G$ is…

We investigate topologies on groups which arise naturally from their algebraic structure, including the Frech\'et-Markov, Hausdorff-Markov, and various kinds of Zariski topologies. Answering a question by Dikranjan and Toller, we show that…

It is well-known that a finitely generated group $\Gamma$ has Kazhdan's property (T) if and only if the Laplacian element $\Delta$ in ${\mathbb R}[\Gamma]$ has a spectral gap. In this paper, we prove that this phenomenon is witnessed in…

For a discrete group $G$, we use the natural correspondence between ideals in the Boolean algebra $ \mathcal{P}_G$ of subsets of $G$ and closed subsets in the Stone-$\check{C}$ech compactifi-cation $\beta G$ as a right topological semigroup…

This paper shows that in general, difference fields do not have a difference closure. However, we introduce a stronger notion of closure (kappa-closure), and show that every algebraically closed difference field K of characteristic 0, with…

A paratopological group $G$ is saturated if the inverse $U^{-1}$ of each non-empty set $U\subset G$ has non-empty interior. It is shown that a [first-countable] paratopological group $H$ is a closed subgroup of a saturated (totally bounded)…

Universal algebraic geometry is generalised from solutions of equations in a single algebra to the study of $\varphi$- or $K$-spectra, akin to the prime spectrum of a ring. We explore their basic properties and constructions, give a…