Related papers: On thin-complete ideals of subsets of groups

We study simply connected Lie groups $G$ for which the hull-kernel topology of the primitive ideal space $\text{Prim}(G)$ of the group $C^*$-algebra $C^*(G)$ is $T_1$, that is, the finite subsets of $\text{Prim}(G)$ are closed. Thus, we…

Given a definably compact group G in a saturated o-minimal structure, there is a canonical homomorphism from G to a compact real Lie group F(G). We establish a similar result for the (o-mininimal) universal cover of a definably compact…

A Hausdorff topological group $(G,\tau)$ is called an $s$-group and $\tau$ is called an $s$-topology if there is a set $S$ of sequences in $G$ such that $\tau$ is the finest Hausdorff group topology on $G$ in which every sequence of $S$…

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

A set of meet-irreducible ideals is described for a class of maximal triangular almost finite algebras. This set forms a topological space under the hull-kernel closure, and there is a one-to-one correspondence between closed sets in this…

Let $G$ be a finite group and $A$ be a subgroup of $G$. Then $A$ is called a $p$-$CAP$-subgroup of $G$, if $A$ covers or avoids every $pd$-chief factor of $G$. A subgroup $H$ of $G$ is said to be an $ICPC$-subgroup of $G$, if $H \cap [H,G]…

A subgroup $H$ of a finite group $G$ is said to be an $\mathscr{H}C$-subgroup of $G$ if there exists a normal subgroup $T$ of $G$ such that $G=HT$ and $H^g \cap N_T(H)\leq H$ for all $g\in G$. In this paper, we investigate the structure of…

A subset $C$ of the vertex set of a graph $\Gamma$ is called a perfect code in $\Gamma$ if every vertex of $\Gamma$ is at distance no more than $1$ to exactly one vertex of $C$. A subset $C$ of a group $G$ is called a perfect code of $G$ if…

A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these…

We say that a subset $S$ of an infinite group $G$ is a Ramsey-product subset if, for any infinite subsets $X$, $Y$ of $G$, there exist $x \in X$ and $y\in Y$ such that $x y \in S$ and $ y x \in S$ . We show that the family $\varphi$ of all…

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…

A topological group $G$ is {\em sequentially $h$-complete} if all the continuous homomorphic images of $G$ are sequentially complete. In this paper we give necessary and sufficient conditions on a complete group for being compact, using the…

A ballean $\mathcal{B}$ (or a coarse structure) on a set $X$ is a family of subsets of $X$ called balls (or entourages of the diagonal in $X\times X$) defined in such a way that $\mathcal{B}$ can be considered as the asymptotic counterpart…

For a finite group $G$, we define the inclusion graph of subgroups of $G$, denoted by $\mathcal I(G)$, is a graph having all the proper subgroups of $G$ as its vertices and two distinct vertices $H$ and $K$ in $\mathcal I(G)$ are adjacent…

The annihilating-ideal graph of a commutative ring $R$ with unity is defined as the graph $\mathbb{AG}(R)$ with the vertex set is the set of all non-zero ideals with non-zero annihilators and two distinct vertices $I$ and $J$ are adjacent…

Given a partial action of a discrete group $G$ on a Hausdorff, locally compact, totally disconnected topological space $X$, we consider the correponding partial action of $G$ on the algebra $L_c(X)$ consisting of all locally constant,…

A subgroup $H$ of a group $G$ is said to be an $IC\Phi$-subgroup of $G$ if $H \cap [H,G] \le \Phi(H)$. We analyze the structure of a finite group $G$ under the assumption that some given subgroups of $G$ are $IC\Phi$-subgroups of $G$. A new…

Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$, let $I_Y(f)$ denote the average of $f$ over $Y$. Then, $I_G(f)$ is the average of $f$ over $G$. Using the decomposition of $f$…

Let $n > k > 1$ be integers, $[n] = \{1, \ldots, n\}$. Let $\mathcal F$ be a family of $k$-subsets of~$[n]$. The family $\mathcal F$ is called intersecting if $F \cap F' \neq \emptyset$ for all $F, F' \in \mathcal F$. It is called almost…

We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$…