相关论文: Subgroups of direct products closely approximated …

In a previous article by the author and P. Wesolek, it was shown that a compactly generated locally compact group $G$ admits a finite normal series $(G_i)$ in which the factors are compact, discrete or irreducible in the sense that no…

Let $G=\ast_{i=1}^{n}G_{i}$ and let $\phi$ be a symmetric endomorphism of $G$. If $\phi$ is a monomorphism or if $G$ is a finitely generated residually finite group, then the fixed subgroup $Fix(\phi)=\{g\in G:\phi(g)=g\}$ of $\phi$ has…

Let $G$ be a topological group and let $\mu$ be the Lebesgue measure on the interval $[0,1]$. We let $L_0(G)$ to be the topological group of all $\mu$-equivalence classes of $\mu$-measurable functions defined on [0,1] with values in $G$,…

We define a metric ultraproduct of topological groups with left-invariant metric, and show that there is a countable sequence of finite groups with left-invariant metric whose metric ultraproduct contains isometrically as a subgroup every…

In this paper, the notion of proper proximality (introduced in [BIP18]) is studied and classified in various families of groups. We show that if a group acts non-elementarily by isometries on a tree such that for any two edges, the…

Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$,…

We say that a subgroup $H$ of an infinite compact Abelian group $X$ is {\it $T$-characterized} if there is a $T$-sequence $\mathbf{u} =\{u_n \}$ in the dual group of $X$ such that $H=\{x\in X: \; (u_n, x)\to 1 \}$. We show that a closed…

The Poisson boundary of a finite direct product of affine automorphism groups of homogeneous trees is considered. The Poisson boundary is shown to be a product of ends of trees with a hitting measure for spread-out, aperiodic measures of…

A graph is said to be a cover graph if it is the underlying graph of the Hasse diagram of a finite partially ordered set. The direct product G X H of graphs G and H is the graph having vertex set V(G) X V(H) and edge set E(G X H) =…

For $R_1,R_2,R_3,\dots$ a family of non isomorphic rings (or algebras) having each only 2 idempotents ($1$ and $0$), we classify up to isomorphism the rings (or algebras) obtained by taking products of powers of the different $R_i$. We show…

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…

$HC_*(A \rtimes G)$ is the cyclic homology of the crossed product algebra $A \rtimes G.$ For any $g \epsilon G$ we will define a homomorphism from $HC_*^g(A),$ the twisted cylic homology of $A$ with respect to $g,$ to $HC_*(A \rtimes G).$…

We study the maximal subgroups (also known as group $\mathcal{H}$-classes) of finitely presented special inverse monoids. We show that the maximal subgroups which can arise in such monoids are exactly the recursively presented groups, and…

Let $G=G_1 \times G_2$ be a finite group. We know that the second cohomology group $H^2(G,\mathbb C^\times)$ is isomorphic to $H^2(G_1,\mathbb C^\times) \times H^2(G_2,\mathbb C^\times) \times Hom(G_1/G_1' \otimes_\mathbb Z G_2/G_2',…

In the paper we study the preservation of pseudocompactness (resp., countable compactness, sequential compactness, $\omega$-boundedness, totally countable compactness, countable pracompactness, sequential pseudocompactness) by Tychonoff…

Let G be a regular Lie group which is a directed union of regular Lie groups G_i (all modelled on possibly infinite-dimensional, locally convex spaces). We show that G is the direct limit of the G_i as a regular Lie group whenever G admits…

For a finite connected graph $\mathcal{E}$ with set of edges $E$, a finite $E$-generated group $G$ is constructed such that the set of relations $p=1$ satisfied by $G$ (with $p$ a word over $E\cup E^{-1}$) is closed under deletion of…

We generalize a result of Hochman in two simultaneous directions: Instead of realizing an effectively closed $\mathbb{Z}^d$ action as a factor of a subaction of a $\mathbb{Z}^{d+2}$-SFT we realize an action of a finitely generated group…

Let $\mathbb{A}$ and $\mathbb{S}$ denote the double arrow of Alexandroff and the Sorgenfrey line, respectively. We show that any homeomorphism $h:^m\mathbb{A}\to^m\mathbb{A} $ is locally (outside of a nowhere dense set) a product of…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…