Algorithmic problems related to the direct prodict of groups

Nata\v sa Bo\v zovi\'c and Sava Krsti\'c

Abstract: Algorithmic unrecognizability of every group property from classes $\Cal K'_1$ and $\Cal K'_2$ of properties (of $fp$ groups) related to the direct product of groups, is proved. $\Cal K'_1$ is the class of all properties of the form ``being a direct product of groups with Markov properties''. $\Cal K_2$ is the class of properties $P=S\cup T$, where $S$ is a property of universal $fp$ groups only and $T$ is a property of nonuniversal groups, such that there exists a positive integer $m$ for which $$ (\forall G\in S)d(G)\not=m\vee(\forall G\in T)d(G)\not=m, $$ where $d(G)=\sup\{k\mid(\exists H_1,\ldots, H_k\not=\{1\})(G\cong H_1\times\cdots\times H_k)\}$.

Classification (MSC2000): 20F10

Full text of the article:

• Compressed PostScript file (58 kilobytes)
• PDF file (153 kilobytes)