On <Emphasis Type="Italic">c</Emphasis>-normal maximal and minimal subgroups of Sylow <Emphasis Type="Italic">p</Emphasis>-subgroups of finite groups

A subgroup H of a finite group G is called c-normal in G if there exists a normal subgroup N of G such that G = HN and $H \cap N \leq H_{G} = {\rm core}_{G}(H)$. In this paper, we investigate the class of groups of which every maximal subgroup of its Sylow p-subgroup is c-normal and the class of groups of which some minimal subgroups of its Sylow p-subgroup is c-normal for some prime number p. Some interesting results are obtained and consequently, many known results related to p-nilpotent groups and p-supersolvable groups are generalized.     

Groups whose nonlinear irreducible characters separate element orders or conjugacy class sizes

A class function φ on a finite group G is said to be an order separator if, for every x and y in G \ {1}, φ(x) = φ(y) is equivalent to x and y being of the same order. Similarly, φ is said to be a class-size separator if, for every x and y in G\ {1}, φ(x) = φ(y) is equivalent to |C _G (x)| = |C _G (y)|. In this paper, finite groups whose nonlinear irreducible complex characters are all order separators (respectively, class-size separators) are classified. In fact, a more general setting is studied, from which these classifications follow. This analysis has some connections with the study of finite groups such that every two elements lying in distinct conjugacy classes have distinct orders, or, respectively, in which disctinct conjugacy classes have distinct sizes. Received: 10 April 2007     

Notions of Discrimination

As an outgrowth of the study of algebraic geometry over groups, discriminating groups were introduced. Many important universal type groups such as Higman's universal group and Thompson's group F were shown to be discriminating. Squarelike groups were then introduced to better capture axiomatic properties of discrimination. In the present article squarelike groups are reinterpreted in terms of discrimination of quasi varieties, and the relationship with an older version of discrimination, termed varietal discrimination here, is studied.     

The influence of $\pi$-quasinormality of some subgroups of a finite group

A subgroup H of G is said to be $\pi$-quasinormal in G if it permute with every Sylow subgroup of G. In this paper, we extend the study on the structure of a finite group under the assumption that some subgroups of G are $\pi$-quasinormal in G. The main result we proved in this paper is the following:Theorem 3.4. Let ${\cal F}$ be a saturated formation containing the supersolvable groups. Suppose that G is a group with a normal subgroup H such that $G/H \in {\cal F}$, and all maximal subgroups of any Sylow subgroup of $F^{*}(H)$ are $\pi$-quasinormal in G, then $G \in {\cal F}$. Received: 10 May 2002     

On some examples of duality groups

In [1, 3] it was shown: Theorem A. If G is the fundamental group of a finite graph of λ-dimensional duality groups with |G _o(e) : G _e | < ∞ and |G _τ(e) : G _e | < ∞ for every edge e of the corresponding G-tree, then G is an (λ + 1)-dimensional duality group. Here we use the methods of Brown and Geoghegan in [3] to obtain examples of duality groups under weaker conditions than those of Theorem A. Received: 5 June 2007     

Uniquely factorizable elements and solvability of finite groups

In a finite group G every element can be factorized in such a way that there is one factor for each prime divisor p of | G |, and the order of this factor is p^α for some integer α ≧ 0. We define g ∈G to be uniquely factorizable if it has just one such factorization (whose factors must be pairwise commuting). We consider the existence of uniquely factorizable elements and its relation to the solvability of the group. We prove that G is solvable if and only if the set of all uniquely factorizable elements of G is the Fitting subgroup of G. We also prove various sufficient conditions for the non-existence of uniquely factorizable elements in non-solvable groups. Received: 9 June 2005     

Two remarks on the first-order theories of Baumslag-Solitar groups

We characterize all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS(m, 1). It turns out that a finitely generated group G is elementarily equivalent to BS(m, 1) if and only if G is isomorphic to BS(m, 1). Furthermore, we show that two Baumslag-Solitar groups are existentially (universally) equivalent if and only if they are elementarily equivalent if and only if they are isomorphic.     

Some Nasty reflexive groups

In {\it Almost Free Modules, Set-theoretic Methods}, Eklof and Mekler [5,p. 455, Problem 12] raised the question about the existence of dual abelian groups G which are not isomorphic to . Recall that G is a dual group if for some group D with . The existence of such groups is not obvious because dual groups are subgroups of cartesian products and therefore have very many homomorphisms into . If is such a homomorphism arising from a projection of the cartesian product, then . In all `classical cases' of groups {\it D} of infinite rank it turns out that . Is this always the case? Also note that reflexive groups G in the sense of H. Bass are dual groups because by definition the evaluation map is an isomorphism, hence G is the dual of . Assuming the diamond axiom for we will construct a reflexive torsion-free abelian group of cardinality which is not isomorphic to . The result is formulated for modules over countable principal ideal domains which are not field. Received July 1, 1999; in final form January 26, 2000 / Published online April 12, 2001     

Lamron ℓ-groups

The article introduces a new class of lattice-ordered groups. An ?-group G is lamron if Min(G)^?1 is a Hausdorff topological space, where Min(G)^?1 is the space of all minimal prime subgroups of G endowed with the inverse topology. It will be evident that lamron ?-groups are related to ?-groups with stranded primes. In particular, it is shown that for a W-object (G,u), if every value of u contains a unique minimal prime subgroup, then G is a lamron ?-group; such a W-object will be said to have W-stranded primes. A diverse set of examples will be provided in order to distinguish between the notions of lamron, stranded primes, W-stranded primes, complemented, and weakly complemented ?-groups.     

On the lattice formed by all normal subloops of a finite loop

All normal subloops of a loopG form a modular latticeL _n (G). It is shown that a finite loopG has a complemented normal subloop lattice if and only ifG is a direct product of simple subloops. In particular,L _n (G) is a Boolean algebra if and only if no two isomorphic factors occurring in a decomposition ofG are abelian groups. The normal subloop lattice of a finite loop is a projective geometry if and only ifG is an elementary abelianp-group for some primep.     

Characterization of Finite Groups With Some <Emphasis Type="Italic">S</Emphasis>-quasinormal Subgroups

A subgroup of a finite group G is said to be S-quasinormal in G if it permutes with every Sylow subgroup of G. In this paper we give a characterization of a finite group G under the assumption that every subgroup of the generalized Fitting subgroup of prime order is S-quasinormal in G.     

Universal rigidity of bar frameworks via the geometry of spectrahedra

A bar framework (G, p) in dimension r is a graph G whose nodes are points \(p^1,\ldots ,p^n\) in \(\mathbb {R}^r\) and whose edges are line segments between pairs of these points. Two frameworks (G, p) and (G, q) are equivalent if each edge of (G, p) has the same (Euclidean) length as the corresponding edge of (G, q). A pair of non-adjacent vertices i and j of (G, p) is universally linked if \(||p^i-p^j||\) = \(||q^i-q^j||\) in every framework (G, q) that is equivalent to (G, p). Framework (G, p) is universally rigid iff every pair of non-adjacent vertices of (G, p) is universally linked. In this paper, we present a unified treatment of the universal rigidity problem based on the geometry of spectrahedra. A spectrahedron is the intersection of the positive semidefinite cone with an affine space. This treatment makes it possible to tie together some known, yet scattered, results and to derive new ones. Among the new results presented in this paper are: (1) The first sufficient condition for a given pair of non-adjacent vertices of (G, p) to be universally linked. (2) A new, weaker, sufficient condition for a framework (G, p) to be universally rigid thus strengthening the existing known condition. An interpretation of this new condition in terms of the Strong Arnold Property is also presented.     

A construction of two distinct canonical sets of lifts of Brauer characters of a p-solvable group

In [5], Navarro defines the set , where Q is a p-subgroup of a p-solvable group G, and shows that if δ is the trivial character of Q, then Irr(G|Q, δ) provides a set of canonical lifts of IBr_p(G), the irreducible Brauer characters with vertex Q. Previously, in [2], Isaacs defined a canonical set of lifts B_π(G) of I_π(G). Both of these results extend the Fong-Swan Theorem to π-separable groups, and both construct canonical sets of lifts of the generalized Brauer characters. It is known that in the case that 2∈π, or if |G| is odd, we have B_π(G) = Irr(G|Q, 1_Q). In this note we give a counterexample to show that this is not the case when . It is known that if and χ∈B_π(G), then the constituents of χ_N are in B_π (N). However, we use the same counterexample to show that if , and χ∈Irr(G|Q, 1_Q) is such that θ ∈Irr(N) and [θ, χ _N] ≠ 0, then it is not necessarily the case that θ ∈Irr(N) inherits this property. Received: 17 October 2005     

Totally Permutable Products of Finite Groups Satisfying SC or PST

Finite groups G=AB factorized by two subgroups A and B such that every subgroup of A permutes with every subgroup of B are studied in this paper. The behaviour of such products with respect to the class of finite groups in which Sylow-permutability is transitive is analyzed.     

On graphs related to conjugacy classes of groups

LetG be a finite group. Attach toG the following two graphs: Γ — its vertices are the non-central conjugacy classes ofG, and two vertices are connected if their sizes arenot coprime, and Γ* — its vertices are the prime divisors of sizes of conjugacy classes ofG, and two vertices are connected if they both divide the size of some conjugacy class ofG. We prove that whenever Γ* is connected then its diameter is at most 3, (this result was independently proved in [3], for solvable groups) and Γ* is disconnected if and only ifG is quasi-Frobenius with abelian kernel and complements. Using the method of that proof we give an alternative proof to Theorems in [1],[2],[6], namely that the diameter of Γ is also at most 3, whenever the graph is connected, and that Γ is disconnected if and only ifG is quasi-Frobenius with abelian kernel and complements. As a result we conclude that both Γ and Γ* have at most two connected components. In [2],[3] it is shown that the above bounds are best possible. The content of this paper corresponds to a part of the author’s Ph.D. thesis carried out at the Tel Aviv University under the supervision of Prof. Marcel Herzog.     

A combinatorial characterization of normalizations of Boolean algebras

In this paper we prove that if a groupoid has exactly distinct n-ary term operations for n=1, 2, 3 and the same number of constant unary term operations for n=0, then it is a normalization of a nontrivial Boolean algebra. This, together with some general facts concerning normalizations of algebras, which we recall, yields a clone characterization of normalizations of nontrivial Boolean algebras: A groupoid (G;·) is clone equivalent to a normalization of a nontrivial Boolean algebra if and only if the value of the free spectrum for (G;·) is for n = 0, 1, 2, 3. In the last section the Minimal Extension Property for the sequence (2, 3) in the class of all groupoids is derived. Received September 15, 2004; accepted in final form October 4, 2005.     

Groups with Polycyclic-by-Finite Conjugate Classes of Subgroups

Abstract

Neumann characterized the groups in which every subgroup has finitely many conjugates only as central-by-finite groups. If 𝔛 is a class of groups, a group G is said to have 𝔛-conjugate classes of subgroups if G/Core _G (N _G (H)) ∈ 𝔛 for every subgroup H of G. In this paper, we generalize Neumann's result by showing that a group has polycyclic-by-finite classes of conjugate subgroup if and only if it is central-by-(polycyclic-by-finite).     

Pontryagin duality for topological Abelian groups

A topological Abelian group G is Pontryagin reflexive, or P-reflexive for short, if the natural homomorphism of G to its bidual group is a topological isomorphism. We look at the question, set by Kaplan in 1948, of characterizing the topological Abelian groups that are P-reflexive. Thus, we find some conditions on an arbitrary group G that are equivalent to the P-reflexivity of G and give an example that corrects a wrong statement appearing in previously existent characterizations of P-reflexive groups. Received: 10 February 2000 / Published online: 17 May 2001     

The residual finiteness of negatively curved polygons of finite groups

A subgroup M⊂G is almost malnormal provided that for each g∈G−M, the intersection M ^g ∩M is finite. It is proven that the free product of two virtually free groups amalgamating a finitely generated almost malnormal subgroup, is residually finite. A consequence of a generalization of this result is that an acute-angled n-gon of finite groups is residually finite if n≥4. Another consequence is that if G acts properly discontinuously and cocompactly on a 2-dimensional hyperbolic building whose chambers have acute angles and at least 4 sides, then G is residually finite. Oblatum 17-VII-2000 & 13-II-2002?Published online: 29 April 2002