For normal subgoups $R$ and $S$ of a free group $F$, an identification of the subgroup $F\cap (1+\mathfrak r\mathfrak f\mathfrak s)$ is derived, and it is shown that the the quotient $\frac{F\cap (1+\mathfrak r\mathfrak f\mathfrak s)}{[R'\cap S',\, R\cap S][R'\cap S,\,R'\cap S][R\cap S',\, R\cap S']}$ is, in general, non-trivial.
For any reductive group G and a parabolic subgroup P with its Levi subgroup L, the first author in [Ku2] introduced a ring homomorphism $ ξ^P_λ: Rep^\mathbb{C}_{λ-poly}(L) \to H^*(G/P, \mathbb{C})$, where $ Rep^\mathbb{C}_{λ-poly}(L)$ is a certain subring of the complexified representation ring of L (depending upon the choice of an irreducible representation $V(λ)$ of G with highest weight $λ$). In this paper we study this homomorphism for G=Sp(2n) and its maximal parabolic subgroups $P_{n-k}$ for any $1\leq k\leq n$ (with the choice of $V(λ) $ to be the defining representation $V(ω_1) $ in $\…
Let $D$ be a division ring with center $F$ and $N$ a subnormal subgroup of the multiplicative group $D^*$ of $D$. Assume that $N$ contains a non-abelian solvable subgroup. In this paper, we study the problem on the existence of non-abelian free subgroups in $N$. In particular, we show that if either $N$ is algebraic over $F$ or $F$ is uncountable, then $N$ contains a non-abelian free subgroup.
The connections between the properties of associative rings that are Lie-solvable (Engel, n-Engel, locally finite, respectively) and the properties of their adjoin subgroups are investigated.
In the 1940's Graham Higman initiated the study of finite subgroups of the unit group of an integral group ring. Since then many fascinating aspects of this structure have been discovered. Major questions such as the Isomorphism Problem and the Zassenhaus Conjectures have been settled, leading to many new challenging problems. In this survey we review classical and recent results, sketch methods and list questions relevant for the state of the art.
The description of the subgroup structure of a non-commutative division ring is the subject of the intensive study in the theory of division rings in particular, and of the theory of skew linear groups in general. This study is still so far to be complete. In this paper, we study this problem for weakly locally finite division rings. Such division rings constitute a large class which strictly contains the class of locally finite division rings.
In this paper the relationship between $S$-subgroups in $\Z_{2}^{n}$ and binary codes is shown. If the codes used are both $P(T)$-codes and $G$-codes, then the $S$-subgroup is free. The codes constructed are cyclic, decimated or symmetric and the $S$-subgroups obtained are free under the action the cyclic permutation subgroup, invariants under the action the decimated permutation subgroup and symmetric under the action of symmetric permutation subgroup, respectively. Also it is shows that there is no codes generating whole $\Z_{2}^{n}$ in any $\G_{n}(a)$-complete $S$-set of the $S$-ring $\math…
This paper is devoted to the units of integral group rings of cyclic $2$-groups of small orders, namely, the orders of $2^n$ for $n<8$. Immediately we should note the issues our consideration describe in the introduction in more detail. Here we will indicate the main directions of our research. Previously, we proved that the normalized group of units of an integral group ring of a cyclic 2-group of order $2^n$ contains a subgroup of finite index, which is the direct product of the subgroup of units defined by the character with the largest character field and the subgroup of units that is isom…
Let FL_s(K) be the finitary linear group of degree s over an associative ring K with unity. We prove that the torsion subgroups of FL_s(K) are locally finite for certain classes of rings K. A description of some f.g. solvable subgroups of FL_s(K) are given.
Let $D$ be a division ring and $K$ a subfield of $D$ which is not necessarily contained in the center $F$ of $D$. In this paper, we study the structure of $D$ under the condition of left algebraicity of certain subsets of $D$ over $K$. Among results, it is proved that if $D^*$ contains a noncentral normal subgroup which is left algebraic over $K$ of bounded degree $d$, then $[D:F]\le d^2$. In case $K=F$, the obtained results show that if either all additive commutators or all multiplicative commutators with respect to a noncentral subnormal subgroup of $D^*$ are algebraic of bounded degree $d$…
Let $R$ be an associative ring with 1, $G=GL(n, R)$ be the general linear group of degree $n\ge 3$ over $R$. In this paper we calculate the relative centralisers of the relative elementary subgroups or the principal congruence subgroups, corresponding to an ideal $A\unlhd R$ modulo the relative elementary subgroups or the principal congruence subgroups, corresponding to another ideal $B\unlhd R$. Modulo congruence subgroups the results are essentially easy exercises in linear algebra. But modulo the elementary subgroups they turned out to be quite tricky, and we could get definitive answers on…
