A Note on Solitary Subgroups of Finite Groups

We say that a subgroup H of a finite group G is solitary (respectively, normal solitary) when it is a subgroup (respectively, normal subgroup) of G such that no other subgroup (respectively, normal subgroup) of G is isomorphic to H. A normal subgroup N of a group G is said to be quotient solitary when no other normal subgroup K of G gives a quotient isomorphic to G/N. We show some new results about lattice properties of these subgroups and their relation with classes of groups and present examples showing a negative answer to some questions about these subgroups.     

On ℑ<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-normal subgroups of finite groups

Given a class ℑ of finite groups, a subgroup H of a group G is called ℑ _n -normal in G if there exists a normal subgroup T of G such that HT is a normal subgroup of G and (H ∩ T)H _G /H _G is contained in the ℑ-hypercenter Z _∞^ℑ (G/H _G ) of G/H _G . We obtain some results about the ℑ _n -normal subgroups and use them to study the structure of some groups.     

Solitary Subgroups

We call a subgroup A of a finite group G a solitary subgroup of G if G does not contain another isomorphic copy of A. We call a normal subgroup A of a finite group G a normal solitary subgroup of G if G does not contain another normal isomorphic copy of A. The property of being (normal) solitary can be viewed as a strengthening of the requirement that A is normal in G. We derive various results on the existence of (normal) solitary subgroups.     

Every order is the endomorphism ring of a projective module over a quasi–hereditary order

We give in this note some new bounds on p _c(G) in terms of σ _c for several classes of finite groups, in particular, we prove that ρ _c ≤4σ _c (G) for any finite solvable group G, which improves some known results. We also pose some related open problems.     

Compact groups having almost discrete orbit hypergroups

LetG be a compact group of automorphism acting continuously on a compact groupH. Then the orbit spaceH ^G is a compact hypergroup. We characterize, all solvable groupsH and compact automorphism groupsG for whichH ^G is almost discrete, i.e.,H ^G is homeomorphic to the one-point-compactification of . It turns out that thenH is isomorphic either to the infinite direct product (p) of the cyclic groups (p) or to _p ⁿ ( _p the group of allp-adic numbers) for some primep and some . The almost discrete orbit hypergroupsH ^G are determined explicitly for some examples.     

A Note on c-Supplemented Subgroups of Finite Groups

A subgroup H of a finite group G is said to be c-supplemented in G if there exists a subgroup K of G such that G = HK and H ∩ K is contained in H _G , where H _G is the largest normal subgroup of G contained in H. In this article, we prove that G is solvable if every subgroup of prime odd order of G is c-supplemented in G. Moreover, we prove that G is solvable if and only if every Sylow subgroup of odd order of G is c-supplemented in G. These results improve and extend the classical results of Hall's articles of (1937) and the recent results of Ballester-Bolinches and Guo's article of (1999), Ballester-Bolinches et al.'s article of (2000), and Asaad and Ramadan's article of (2008).     

Palindromic Width of Finitely Generated Solvable Groups

We investigate the palindromic width of finitely generated solvable groups. We prove that every finitely generated 3-step solvable group has finite palindromic width. More generally, we show the finiteness of the palindromic width for finitely generated abelian-by-nilpotent-by-nilpotent groups. For arbitrary solvable groups of step ≥3, we prove that if G is a finitely generated solvable group that is an extension of an abelian group by a group satisfying the maximal condition for normal subgroups, then the palindromic width of G is finite. We also prove that the palindromic width of ??? with respect to the set of standard generators is 3.     

Subnormal,permutable, and embedded subgroups in finite groups

The purpose of this paper is to study the subgroup embedding properties of S-semipermutability, semipermutability, and seminormality. Here we say H is S-semipermutable (resp. semipermutable) in a group Gif H permutes which each Sylow subgroup (resp. subgroup) of G whose order is relatively prime to that of H. We say H is seminormal in a group G if H is normalized by subgroups of G whose order is relatively prime to that of H. In particular, we establish that a seminormal p-subgroup is subnormal. We also establish that the solvable groups in which S-permutability is a transitive relation are precisely the groups in which the subnormal subgroups are all S-semipermutable. Local characterizations of this result are also established.     

Bi‐arc graphs and the complexity of list homomorphisms

Given graphs G, H, and lists L(v) ? V(H), v ε V(G), a list homomorphism of G to H with respect to the lists L is a mapping f : V(G) → V(H) such that uv ε E(G) implies f(u)f(v) ε E(H), and f(v) ε L(v) for all v ε V(G). The list homomorphism problem for a fixed graph H asks whether or not an input graph G, together with lists L(v) ? V(H), v ε V(G), admits a list homomorphism with respect to L. In two earlier papers, we classified the complexity of the list homomorphism problem in two important special cases: When H is a reflexive graph (every vertex has a loop), the problem is polynomial time solvable if H is an interval graph, and is NP‐complete otherwise. When H is an irreflexive graph (no vertex has a loop), the problem is polynomial time solvable if H is bipartite and H is a circular arc graph, and is NP‐complete otherwise. In this paper, we extend these classifications to arbitrary graphs H (each vertex may or may not have a loop). We introduce a new class of graphs, called bi‐arc graphs, which contains both reflexive interval graphs (and no other reflexive graphs), and bipartite graphs with circular arc complements (and no other irreflexive graphs). We show that the problem is polynomial time solvable when H is a bi‐arc graph, and is NP‐complete otherwise. In the case when H is a tree (with loops allowed), we give a simpler algorithm based on a structural characterization. © 2002 Wiley Periodicals, Inc. J Graph Theory 42: 61–80, 2003     

Zariski density in lie groups

In [7] Furstenberg gave a proof of Borel’s density theorem [1], which depended not on complete reducibility but rather on properties of the action of a minimally almost periodic group on projective space. In [9] and [10] the basic idea of this proof was extended in various ways to deal with other particular classes of Lie groupsG and closed subgroupsH of cofinite volume. In [5] Dani gives a more general form of the density theorem in whichH need only be non-wandering. In the present paper we define the condition ofk-minimal quasiboundedness, and prove that this condition is necessary and sufficient for the density theorem to hold ((2.4) and (2.6)). Here we replace the arguments of [9] and [10] simply by proofs that the groups considered there satisfy this condition (2.10). We extend the results of [9] and [10] by considering groups which are analytic rather than algebraic, and in the solvable case we completely characterize thek-minimally quasibounded groups (2.9). In the last section we give two applications of the density theorem.     

On chief factors of finite groups

Let H and K be normal subgroups of a finite group G and let K≤H. If A is a subgroup of G such that AH=AK or A∩H=A∩K, we say that A covers or avoids H/K respectively. The purpose of this paper is to investigate factor groups of a finite group G using this concept. We get some characterizations of a finite group being solvable or supersolvable and generalize some known results.     

A Family of Nonnormal Cayley Digraphs

We call a Cayley digraph Γ = Cay(G, S) normal for G if G _R , the right regular representation of G, is a normal subgroup of the full automorphism group Aut(Γ) of Γ. In this paper we determine the normality of Cayley digraphs of valency 2 on nonabelian groups of order 2p ² (p odd prime). As a result, a family of nonnormal Cayley digraphs is found. Received February 23, 1998, Revised September 25, 1998, Accepted October 27, 1998     

Every finite solvable group with a unique element of order two,except the quaternion group,has a symmetric sequencing

All finite solvable groups that have symmetric sequencings are characterized. Let G be a finite solvable group. It is shown that G has a symmetric sequencing if and only if G has a unique element of order two and is not the quaternion group. All finite groups with a unique element of order two such that the order of the group is not divisible by three are solvable and thus, except for the quaternion group, have symmetric sequencings. A crucial step used in the proof of these facts is a construction showing that if a finite group H has a normal subgroup C of odd order such that H/C admits a 2-sequencing, then H admits a 2-sequencing. The results of this article can be viewed as generalizing a theorem of Gordon about Abelian groups and as extending the idea of a starter, suitably modified, to a large class of groups of even order by showing the existence of the required object. © 1993 John Wiley & Sons, Inc.     

On products of graphs and regular groups

A graphX is called a graphical regular representation (GRR) of a groupG if the automorphism group ofX is regular and isomorphic toG. Watkins and Nowitz have shown that the direct productG×H of two finite groupsG andH has aGRR if both factors have aGRR and if at least one factor is different from the cyclic group of order two. We give a new proof of this result, thereby removing the restriction to finite groups. We further show that the complementX′ of a finite or infinite graphX is prime with respect to cartesian multiplication ifX is composite and not one of six exceptional graphs.     

Homogeneous Metrics with Nonnegative Curvature

Given compact Lie groups H⊂G, we study the space of G-invariant metrics on G/H with nonnegative sectional curvature. For an intermediate subgroup K between H and G, we derive conditions under which enlarging the Lie algebra of K maintains nonnegative curvature on G/H. Such an enlarging is possible if (K,H) is a symmetric pair, which yields many new examples of nonnegatively curved homogeneous metrics. We provide other examples of spaces G/H with unexpectedly large families of nonnegatively curved homogeneous metrics.     

Group Embeddings with Algorithmic Properties

We show that every countable group H with solvable word problem can be subnormally embedded into a 2-generated group G which also has solvable word problem. Moreover, the membership problem for H < G is also solvable. We also give estimates of time and space complexity of the word problem in G and of the membership problem for H < G.     

Isomorphisms between lattices of almost normal subgroups

A subgroupH of a groupG is said to bealmost normal inG if it has only finitely many conjugates inG. The setan(G) of almost normal subgroups ofG is a sublattice of the lattice of all subgroups ofG. Isomorphisms between lattices of almost normal subgroups ofFC-soluble groups are considered in this paper. In particular, properties of images of normal subgroups under such an isomorphism are investigated.     

Bounded cohomology of group constructions

It is proved that the singular partH _b ^2/(2) (G) of the second group of bounded homology of the discrete groupG is isomorphic to the space of 2-cocycles that vanish on the diagonal. For groupsG representable as HNN-extensions or free products with amalgamation, as well as for groupsG with one defining relation, conditions for the infinite-dimensionality ofH _b ^2/(2) (G) are found. Some applications of bounded cohomology to the width problem for verbal subgroups and to the boundedness problem for group presentations are indicated. Translated fromMatematicheskie Zametki, Vol. 59, No. 4, pp. 546–550, April, 1996. This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00239.     

A poisson formula for solvable Lie groups

Given a probability measure μ on a locally compact second countable groupG the space of bounded μ-harmonic functions can be identified withL ^∞(η, α) where (η, α) is a BorelG-space with a σ-finite quasiinvariant measure α. Our goal is to show that when μ is an arbitrary spread out probability measure on a connected solvable Lie groupG then the μ-boundary (η, α) is a contractive homogeneous space ofG. Our approach is based on a study of a class of strongly approximately transitive (SAT) actions ofG. A BorelG-space η with a σ-finite quasiinvariant measure α is called SAT if it admits a probability measurev≪α, such that for every Borel set A with α(A)≠0 and every ε>0 there existsg∈G with ν(gA)>1−ε. Every μ-boundary is a standard SATG-space. We show that for a connected solvable Lie group every standard SATG-space is transitive, characterize subgroupsH⊆G such that the homogeneous spaceG/H is SAT, and establish that the following conditions are equivalent forG/H: (a)G/H is SAT; (b)G/H is contractive; (c)G/H is an equivariant image of a μ-boundary.