Finite groups with an almost regular automorphism of order four

P. Shumyatsky’s question 11.126 in the “Kourovka Notebook” is answered in the affirmative: it is proved that there exist a constant c and a function of a positive integer argument f(m) such that if a finite group G admits an automorphism ϕ of order 4 having exactly m fixed points, then G has a normal series G ⩾ H ⩽ N such that |G/H| ⩽ f(m), the quotient group H/N is nilpotent of class ⩽ 2, and the subgroup N is nilpotent of class ⩽ c (Thm. 1). As a corollary we show that if a locally finite group G contains an element of order 4 with finite centralizer of order m, then G has the same kind of a series as in Theorem 1. Theorem 1 generalizes Kovács’ theorem on locally finite groups with a regular automorphism of order 4, whereby such groups are center-by-metabelian. Earlier, the first author proved that a finite 2-group with an almost regular automorphism of order 4 is almost center-by-metabelian. The proof of Theorem 1 is based on the authors’ previous works dealing in Lie rings with an almost regular automorphism of order 4. Reduction to nilpotent groups is carried out by using Hall-Higman type theorems. The proof also uses Theorem 2, which is of independent interest, stating that if a finite group S contains a nilpotent subgroup T of class c and index |S: T | = n, then S contains also a characteristic nilpotent subgroup of class ⩽ c whose index is bounded in terms of n and c. Previously, such an assertion has been known for Abelian subgroups, that is, for c = 1. __________ Translated from Algebra i Logika, Vol. 45, No. 5, pp. 575–602, September–October, 2006.     

一种生成对称群S9所有Sylow-p子群的算法

根据对称群的基本性质以及第二同构定理，给出了通过添加生成元到P群来构造对称群的一个Sylow-p子群的定理，添加的生成元保证能够快速得到对称群的一个Sylow—p子群．根据第二西洛定理求出了所有共轭子群，即所有Sylow-p子群．针对求所有共轭子群过程中面临共轭子群出现重复的问题，利用正规化子的性质，找到使得两个Sylow-p子群共轭的元，保证每次求的Sylow-P子群不重复．将此算法应用于S1，实验表明该算法可操作性强，耗费时间少．     

π-quasinormally embedded and c-supplemented subgroup of finite group

Suppose that H is a subgroup of a finite group G. H is called π-quasinormal in G if it permutes with every Sylow subgroup of G; H is called π-quasinormally embedded in G provided every Sylow subgroup of H is a Sylow subgroup of some π-quasinormal subgroup of G; H is called c-supplemented in G if there exists a subgroup N of G such that G = HN and H ∩ N ⩽ H _G = Core _G (H). In this paper, finite groups G satisfying the condition that some kinds of subgroups of G are either π-quasinormally embedded or c-supplemented in G, are investigated, and theorems which unify some recent results are given.      

Fuzzy同余和正规Fuzzy子群(英文)

自从A. Rosenfeld在1971年提出Fuzzy子群的概念以来,在Fuzzy群的研究方面已有不少进展,例如见[1,2,5,6,10,11,14]。另一方面,L.A.Zadeh首创的Fuzzy关系理论的研究也是硕果累累,例如见[3,4,8,12,13,15]。本文通过Fuzzy同余关系和正规Fuzzy子群的相互联系,将这两个方向的研究成果进行“嫁接”和“杂交”,得到许多有趣的结果。主要结果是定理2.7,定理3.1和3.6。本文另一主题是引入T-Fuzzy群的正规T-Fuzzy子群的新概念,当T是正则t-范算子时,得到了T-Fuzzy群的三个同构定理,作者认为它比现有的相应同构定理更为简洁、广泛和自然。     

A characterization of fuzzy subgroups

An ordinary subgroup of a group G is (1) a subset of G, (2) closed under the group operation. In a fuzzy subgroup it is precisely these two notions that lose their deterministic character. A fuzzy subgroup μ of a group (G,·) associates with each group element a number, the larger the number the more certainly that element belongs to the fuzzy subgroup. The closure property is captured by the inequality μ(x · y)?T(μ(x), μ(y)). In A. Rosenfeld's original definition, T was the function ‘minimum’. However, any t-norm T provides a meaningful generalization of the closure property. Two classes of fuzzy subgroups are investigated. The fuzzy subgroups in one class are subgroup generated, those in the other are function generated. Each fuzzy subgroup in these classes satisfies the above inequality with T given by T(a, b) = max(a + b ?1, 0). While the two classes look different, each fuzzy subgroup in either is isomorphic to one in the other. It is shown that a fuzzy subgroup satisfies the above inequality with $\text{T =}\text{‘minimum’}$ if and only if it is subgroup generated of a very special type. Finally, these notions are applied to some abstract pattern recognition problems.     

Maximal Parabolic Subgroups in Classical Groups are of Modality Zero

The principal aim of this paper is to show that every maximal parabolic subgroup P of a classical reductive algebraic group G operates with a finite number of orbits on its unipotent radical. This is a consequence of the fact that each parabolic subgroup of a group of type A _n whose unipotent radical is of nilpotent class at most two has this finiteness property.     

Anti-tori in Square Complex Groups

An anti-torus is a subgroup 〈a,b 〉 in the fundamental group of a compact non-positively curved space X, acting in a specific way on the universal covering space X such that a and b do not have any commuting nontrivial powers. We construct and investigate anti-tori in a class of commutative transitive fundamental groups of finite square complexes, in particular for the groups Γ_p,l originally studied by Mozes [Israel J. Math. 90(1–3) (1995), 253–294]. It turns out that anti-tori in Γ_p,l directly correspond to non commuting pairs of Hamilton quaternions. Moreover, free anti-tori in Γ_p,l are related to free groups generated by two integer quaternions, and also to free subgroups of . As an application, we prove that the multiplicative group generated by the two quaternions 1+2i and 1+4k is not free.     

Classification and discrete cocompact subgroups of some 7-dimensional connected nilpotent groups

Summary For real connected nilpotent groups, 7 is the lowest dimension where there are infinitely many non-isomorphic groups, and also where some groups (indeed, uncountably many) have no discrete cocompact subgroups. In [21] one infinite family <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>\mathcal{G}$ of 7-dimensional groups was identified and classified. Discrete cocompact subgroups H were identified for some groups in $\mathcal{G}$ in [10], along with simple quotients of $C^{*}(\mathrm{H})$ and relevant flows $(\mathrm{H}_3,\mathbf{T}^3)$. In this paper, such H and attributes are determined for more groups in $\mathcal{G}$; in particular, the members of $\mathcal{G}$ that admit discrete cocompact subgroups are identified precisely. In achieving some of these results, we consider other known ways of classifying the groups in $\mathcal{G}$, and also the classification of the analogous family of complex groups.     

Principal Congruence Subgroups of Hecke Groups H（√q）

Using the notion of quadratic reciprocity, we discuss the principal congruence subgroups of the Hecke groups H（√q）,q 〉 5 prime number.