Related papers: Achievable Sets in Z^n

Let $M$ be a maximal subgroup of a finite group $G$ and $K/L$ be a chief factor such that $L\leq M$ while $K\nsubseteq M$. We call the group $M\cap K/L$ a $c$\ns section of $M$. And we define $Sec(M)$ to be the abstract group that is…

We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be.…

The catenary degree is an invariant that measures the distance between factorizations of elements within an atomic monoid. In this paper, we classify which finite subsets of $\mathbb Z_{\ge 0}$ occur as the set of catenary degrees of a…

Let $A=(a_1,\ldots,a_n)$ and $B=(b_1,\ldots,b_n)$ be two sequences of nonnegative integers with $a_i \le b_i$ for $1\le i\le n$. The pair $(A;B)$ is said to be realizable by a graph if there exists a simple graph $G$ with vertices…

A definable set in a pair (K, k) of algebraically closed fields is co-analyzable relative to the subfield k of the pair if and only if it is almost internal to k. To prove this and some related results for tame pairs of real closed fields…

We describe in this paper additively left stable sets, i.e. sets satisfying $\left((A+A)-\inf(A)\right)\cap[\inf(A),\sup(A)]=A$ (meaning that $A-\inf(A)$ is stable by addition with itself on its convex hull), when $A$ is a finite subset of…

Suppose that A is a C*-algebra for which A is isomorphic to A tensor Z, where Z is the Jiang-Su algebra: a unital, simple, stably finite, separable, nuclear, infinite dimensional C*-algebra with the same Elliott invariant as the complex…

An achievement set of a series is a set of all its subsums. We study the properties of achievement sets of conditionally convergent series in finite dimensional spaces. The purpose of the paper is to answer some of the open problems…

We prove a number of results related to the computational complexity of recognizing well-covered graphs. Let $k$ and $s$ be positive integers and let $G$ be a graph. Then $G$ is said - $\mathbf{W_k}$ if for any $k$ pairwise disjoint…

In this paper we describe all the finite almost simple groups whose Gruenberg--Kegel graphs coincide with Gruenberg--Kegel graphs of finite solvable groups.

A group of matrices $G$ with entries in a number field $K$ is defined to be numerical if $G$ has a finite index subgroup of matrices whose entries are algebraic integers. It is shown that an irreducible or completely reducible subgroup of…

The cut sets of a graph are special sets of vertices whose removal disconnects the graph. They are fundamental in the study of binomial edge ideals, since they encode their minimal primary decomposition. We introduce the class of accessible…

The topological properties of a set have a strong impact on its computability properties. A striking illustration of this idea is given by spheres and closed manifolds: if a set $X$ is homeomorphic to a sphere or a closed manifold, then any…

A discrete set in the Euclidian space is almost periodic, if the measure with the unite masses at points of the set is almost periodic in the weak sense. We prove the following result: if A is a discrete almost periodic set and the set A-A…

Let K be the quotient field of a complete local domain of dimension 2 with a separably closed residue field. Let G be a finite group of order not divisible by char(K). Then G is admissible over K if and only if its Sylow subgroups are…

The efficacy of using complexifications to understand the structure of real algebraic groups is demonstrated. In particular the following results are proved: a) If L is an algebraic subgroup of a connected real algebraic group G such that…

Let K be any compact set in the complex plane that has a connected complement, let A(K) be the uniforn algebra of all continuous complex functions on K that are holomorphic on the interior of K, let bK be the topological boundary of K, let…

Given a nonincreasing sequence of positive numbers $(a_n)$ such that the series $\sum a_n$ is convergent, by $E(a_n)$ we denote the set of all subsums of the series $\sum a_n$ and call it the achievement set of $(a_n)$. It is well known…

Let $X$ be a graph on $v$ vertices with adjacency matrix $A$, and let let $S$ be a subset of its vertices with characteristic vector $z$. We say that the pair $(X,S)$ is controllable if the vectors $A^rz$ for $r=1,\ldots,v-1$ span…

A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…