Dominating Sets of Some Graphs Associated to Commutative Rings

Let G = (V, E) be a graph. A set S ? V is a dominating set of G if every vertex in V is either in S or is adjacent to a vertex in S. The domination number γ(G) of G is the minimum cardinality among the dominating sets of G. The main object of this article is to study and characterize the dominating sets of the zero-divisor graph Γ(R) and ideal-based zero-divisor graph Γ _I (R) of a commutative ring R.     

The Relative Brauer Group of an Affine Double Plane

We study algebra classes and divisor classes on a normal affine surface of the form z ² = f(x, y). The affine coordinate ring is T = k[x, y, z]/(z ² ? f), and if R = k[x, y][f ^?1] and S = R[z]/(z ² ? f), then S is a quadratic Galois extension of R. If the Galois group is G, we show that the natural map H¹(G, Cl(T)) → H¹(G, Pic(S)) factors through the relative Brauer group B(S/R) and that all of the maps are onto. Sufficient conditions are given for H¹(G, Cl(T)) to be isomorphic to B(S/R). The groups and maps are computed for several examples.     

Orbits of the Actions of Odd-Order Solvable Groups

Suppose that V is a finite faithful irreducible G-module where G is a finite solvable group of odd order. We prove if the action is quasi-primitive, then either F(G) is abelian or G has at least 212 regular orbits on V. As an application, we prove that when V is a finite faithful completely reducible G-module for a solvable group G of odd order, then there exists v ∈ V such that C _G (v) ? F ₂(G) (where F ₂(G) is the 2nd ascending Fitting subgroup of G). We also generalize a result of Espuelas and Navarro. Let G be a group of odd order and let H be a Hall π-subgroup of G. Let V be a faithful G-module over a finite field of characteristic 2, then there exists v ∈ V such that C _H (v) ? O _π(G).     

A New Class of Generalized Thompson's Groups and Their Normal Subgroups

For a given group G and a homomorphism ?: G → G × G, we construct groups ?_?(G), 𝒯_?(G), and 𝒱_?(G) that blend Thompson's groups F, T, and V with G, respectively. Furthermore, we describe the lattice of normal subgroups of the groups ?_Δ(G), where Δ: G → G × G is the diagonal homomorphism, Δ(g) = (g, g).     

Finite Groups with Conjugacy Classes Number One Greater than Its Same Order Classes Number

ABSTRACT

Let k(G) be the number of conjugacy classes of finite groups G and π _e (G) be the set of the orders of elements in G. Then there exists a non-negative integer k such that k(G) = |π _e (G)| + k. We call such groups to be co(k) groups. This article classifies all finite co(1) groups. They are isomorphic to one of the following groups: A ₅, L ₂(7), S ₅, Z ₃, Z ₄, S ₄, A ₄, D ₁₀, Hol(Z ₅), or Z ₃ ? Z ₄.     

A 14-dimensional Module for the Symplectic Group: Orbits on Vectors

Let 𝔽 be a field, V a 6-dimensional 𝔽-vector space and f a nondegenerate alternating bilinear form on V. We consider a 14-dimensional module for the symplectic group Sp(V, f) ? Sp(6, 𝔽) associated with (V, f), and classify the orbits on vectors. For characteristic distinct from 2, this module is irreducible and isomorphic to the Weyl module of Sp(V, f) for the fundamental weight λ₃. If the characteristic is 2, then the module is reducible as it contains an 8-dimensional submodule isomorphic to the spin module of Sp(V, f).     

Orthogonal Groups 𝒪(n) over GF(2) as Automorphisms

Let (V, Q) be a quadratic vector space over a fixed field. Orthogonal group 𝒪(V, Q) is defined as automorphisms on (V, Q). If Q = I, it is 𝒪(V, I) = 𝒪(n). There is a nice result that 𝒪(n) ? Aut(𝔬(n)) over ? or ?, where 𝔬(n) is the Lie algebra of n × n alternating matrices over the field. How about another field The answer is “Yes” if it is GF(2). We show it explicitly with the combinatorial basis ?. This is a verification of Steinberg's main result in 1961, that is, Aut(𝔬(n)) is simple over the square field, with a nonsimple exception Aut(𝔬(5)) ? 𝒪(5) ? 𝔖₆.     

Engel-Type Conditions Involving Two Generalized Skew Derivations in Prime Rings

Let ? be a prime ring of characteristic different from 2, 𝒬_r the right Martindale quotient ring of ?, 𝒞 the extended centroid of ?, F, G two generalized skew derivations of ?, and k ≥ 1 be a fixed integer. If [F(r), r]_kr ? r[G(r), r]_k = 0 for all r ∈ ?, then there exist a ∈ 𝒬_r and λ ∈ 𝒞 such that F(x) = xa and G(x) = (a + λ)x, for all x ∈ ?.     

A descent method for submodular function minimization

We show a descent method for submodular function minimization based on an oracle for membership in base polyhedra. We assume that for any submodular function f: ?→R on a distributive lattice ?⊆2 ^V with ?,V∈? and f(?)=0 and for any vector x∈R ^V where V is a finite nonempty set, the membership oracle answers whether x belongs to the base polyhedron associated with f and that if the answer is NO, it also gives us a set Z∈? such that x(Z)>f(Z). Given a submodular function f, by invoking the membership oracle O(|V|²) times, the descent method finds a sequence of subsets Z ₁,Z ₂,···,Z _k of V such that f(Z ₁)>f(Z ₂)>···>f(Z _k )=min{f(Y) | Y∈?}, where k is O(|V|²). The method furnishes an alternative framework for submodular function minimization if combined with possible efficient membership algorithms. Received: September 9, 2001 / Accepted: October 15, 2001?Published online December 6, 2001     

OD-Characterization of Some Projective Special Linear Groups Over the Binary Field and Their Automorphism Groups

The Gruenberg–Kegel graph GK(G) = (V _G , E _G ) of a finite group G is a simple graph with vertex set V _G  = π(G), the set of all primes dividing the order of G, and such that two distinct vertices p and q are joined by an edge, {p, q} ∈ E _G , if G contains an element of order pq. The degree deg _G (p) of a vertex p ∈ V _G is the number of edges incident to p. In the case when π(G) = {p ₁, p ₂,…, p _h } with p ₁ < p ₂ < … <p _h , we consider the h-tuple D(G) = (deg _G (p ₁), deg _G (p ₂),…, deg _G (p _h )), which is called the degree pattern of G. The group G is called k-fold OD-characterizable if there exist exactly k non-isomorphic groups H satisfying condition (|H|, D(H)) = (|G|, D(G)). Especially, a 1-fold OD-characterizable group is simply called OD-characterizable. In this paper, we prove that the simple groups L ₁₀(2) and L ₁₁(2) are OD-characterizable. It is also shown that automorphism groups Aut(L _p (2)) and Aut(L _p+1(2)), where 2 ^p  ? 1 is a Mersenne prime, are OD-characterizable. Finally, a list of finite (simple) groups which are presently known to be k-fold OD-characterizable, for certain values of k, is presented.     

Topological rings,homogeneous functions,and primeness

For any group G such that G is a right R-module for some ring R, the elements of R act on G as endomorphisms and we obtain the near-ring of R-homogeneous maps on G: M_R(G) = {f: G → G|f(ga) = f(g)a for all a ∈ R, g ∈ G}. In the special case that R is a topological ring and G is a topological R-module, we study N_R(G): = {f ∈ M_R(G)|f is continuous}. In particular, we investigate primeness of the near-ring N_R(G) of continuous homogeneous maps on G.     

Localization of Monoid Objects and Hochschild Homology

Let A be a (not necessarily commutative) monoid object in an abelian symmetric monoidal category (C, ?,1) satisfying certain conditions. In this paper, we continue our study of the localization M _S of any A-module M with respect to a subset S ? Hom _A?Bimod (A, A) that is closed under composition. In particular, we prove the following theorem: if P is an A-bimodule such that P is symmetric as a bimodule over the center Z(A) of A, we have isomorphisms HH _*(A, P) _S  ? HH _*(A, P _S ) ? HH _*(A _S , P _S ) of Hochschild homology groups.     

Some Pólya-Type Irreducibility Criteria for Multivariate Polynomials

We provide irreducibility criteria for multivariate polynomials with coefficients in an arbitrary field that extend a classical result of Pólya for polynomials with integer coefficients. In particular, we provide irreducibility conditions for polynomials of the form f(X)(Y ? f ₁(X))…(Y ? f _n (X)) + g(X), with f, f ₁, ?, f _n , g univariate polynomials over an arbitrary field.     

Fiber Coefficients and Depth of Fiber Cones

Let (R, 𝔪) be a Cohen–Macaulay local ring of dimension d > 0, I an 𝔪-primary ideal of R, and K an ideal containing I. When r(I | K)<∞, we give a lower bound and an upper bound for f ₁(I). Under the above assumption on r(I | K) and depth G(I) ≥ d ? 1, we also provide a characterization, in terms of f ₁(I), of the condition depth F _K (I) ≥ d ? 1.     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

Outer Γ-Convexity in Vector Spaces

A subset S of some vector space X is said to be outer Γ-convex w.r.t. some given balanced subset Γ ? X if for all x ₀, x ₁ ? S there exists a closed subset Λ ? [0,1] such that {x _λ | λ ? Λ} ? S and [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ, where x _λ: = (1 ? λ)x ₀ + λ x ₁. A real-valued function f:D → ? defined on some convex D ? X is called outer Γ-convex if for all x ₀, x ₁ ? D there exists a closed subset Λ ? [0,1] such that [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ and f(x _λ) ≤ (1 ? λ)f(x ₀) + λ f(x ₁) holds for all λ ? Λ. Outer Γ-convex functions possess some similar optimization properties as these of convex functions, e.g., lower level sets of outer Γ-convex functions are outer Γ-convex and Γ-local minimizers are global minimizers. Some properties of outer Γ-convex sets and functions are presented, among others a simplex property of outer Γ-convex sets, which is applied for establishing a separation theorem and for proving the existence of modified subgradients of outer Γ-convex functions.     

Constrained Ramsey numbers of graphs

Given two graphs G and H, let f(G,H) denote the minimum integer n such that in every coloring of the edges of K_n, there is either a copy of G with all edges having the same color or a copy of H with all edges having different colors. We show that f(G,H) is finite iff G is a star or H is acyclic. If S and T are trees with s and t edges, respectively, we show that 1+s(t?2)/2≤f(S,T)≤(s?1)(t²+3t). Using constructions from design theory, we establish the exact values, lying near (s?1)(t?1), for f(S,T) when S and T are certain paths or star‐like trees. © 2002 Wiley Periodicals, Inc. J Graph Theory 42: 1–16, 2003     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

On Solvable R* Groups of Finite Rank

Abstract

For an element a of a group G,let S(a) denote the semigroup generated by all conjugates of a in G. We prove that if G is solvable of finite rank and 1 ? S(a) for all 1 ≠ a ∈ G,then ?a ^G ?/?b ^G ? is a periodic group for every b ∈ S(a). Conversely if every two generator subgroup of a finitely generated torsion-free solvable group G has this property then G has finite rank,and if every finitely generated subgroup has this property then every partial order on G can be extended to a total order.