When is the radical associated with a module a torsion?

For an arbitrary R-module M we consider the radical (in the sense of Maranda)G _M, namely, the largest radical among all radicalsG, such thatG(M). We determine necessary and sufficient on M in order for the radicalG(M) to be a torsion. In particular,G(M) is a torsion if and only if M is a pseudo-injective module.     

Stably free cancellation for abelian group rings

We show that if Γ is a finitely generated abelian group, then every stably free module over Z[Γ] is free.     

Modules whose hereditary pretorsion classes are closed under products

A module M is called product closed if every hereditary pretorsion class in σ[M] is closed under products in σ[M]. Every module M which is locally of finite length (every finitely generated submodule of M has finite length) is product closed and every product closed module M is semilocal (M/J(M) is semisimple). Let be product closed and projective in σ[M]. It is shown that (1) M is semiartinian; (2) if M is finitely generated then M satisfies the DCC on fully invariant submodules; (3) M has finite length if M is finitely generated and every hereditary pretorsion class in σ[M] is M-dominated. If the ring R is commutative it is proven that M is product closed if and only if M is locally of finite length.     

On diversity and stability of unit bases for the Euclidean metric

We prove the existence of a family Ω(n) of 2 ^c (where c is the cardinality of the continuum) subgraphs of the unit distance graph (E ⁿ , 1) of the Euclidean space E ⁿ , n ≥ 2, such that (a) for each graph G ? Ω(n), any homomorphism of G to (E ⁿ , 1) is an isometry of E ⁿ ; moreover, for each subgraph G ₀ of the graph G obtained from G by deleting less than c vertices, less than c stars, and less than c edges (we call such a subgraph reduced), any homomorphism of G ₀ to (E ⁿ , 1) is an isometry (of the set of the vertices of G ₀); (b) each graph G ? Ω(n) cannot be homomorphically mapped to any other graph of the family Ω(n), and the same is true for each reduced subgraph of G.     

Shintani lifting and real-valued characters

We study Shintani lifting of real-valued irreducible characters of finite reductive groups. In particular, if G is a connected reductive group defined over ${\mathbb{F}_q}$ , and ψ is an irreducible character of G( ${\mathbb{F}_{q^m}}$ ) which is the lift of an irreducible character χ of G( ${\mathbb{F}_q}$ ), we prove ψ is real-valued if and only if χ is real-valued. In the case m = 2, we show that if χ is invariant under the twisting operator of G( ${\mathbb{F}_{q^2}}$ ), and is a real-valued irreducible character in the image of lifting from G( ${\mathbb{F}_q}$ ), then χ must be an orthogonal character. We also study properties of the Frobenius–Schur indicator under Shintani lifting of regular, semisimple, and irreducible Deligne–Lusztig characters of finite reductive groups.     

Boolean topological graphs of semigroups: the lack of first-order axiomatization

The graph of an algebra A is the relational structure G(A) in which the relations are the graphs of the basic operations of A. For a class ?? of algebras let G(??)={G(A)∣A∈??}. Assume that ?? is a class of semigroups possessing a nontrivial member with a neutral element and let ? be the universal Horn class generated by G(??). We prove that the Boolean core of ?, i.e., the topological prevariety generated by finite members of ? equipped with the discrete topology, does not admit a first-order axiomatization relative to the class of all Boolean topological structures in the language of ?. We derive analogous results when ?? is a class of monoids or groups with a nontrivial member.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Fractional Covers for Convolution Products

A non-zero vector-valued sequence u ∈ ?^q(X′) is a cover for a subset M of ?_P(X) if, for some 0 < α ≤ 1, ∥u * h∥ _∞ ≥ α ∥u∥_q ∥h∥_p for all h ∈ M. Covers of ?¹ = ?¹(R) are important in worst case system identification in ?¹ and in the reconstruction of elements in a normed space from corrupted functional values. We investigate the existence of covers for certain naturally occurring subspaces of ?^p(X). We show that there exist finitely supported covers for some subspaces, and obtain lower bounds for their ’lengths’. We also obtain similar results for covers associated with convolution products for spaces of measurable vector-valued functions defined on the positive real axis.     

Linear maps preserving M–P inverses of matrices between matrix spaces over fields

Suppose F is a field of characteristic not 2. Let n and m be two arbitrary positive integers with n≥2. We denote by M _n (F) and S _n (F) the space of n×n full matrices and the space of n×n symmetric matrices over F, respectively. All linear maps from S _n (F) to M _m (F) preserving M–P inverses of matrices are characterized first, and thereby all linear maps from S _n (F) (M _n (F)) to S _m (F) (M _m (F)) preserving M–P inverses of matrices are characterized, respectively.     

Dimensions of Zassenhaus filtration subquotients of some pro-p-groups

We compute the F_p-dimension of an n-th graded piece G_(n)/G_(n+1) of the Zassenhaus filtration for various finitely generated pro-p-groups G. These groups include finitely generated free pro-p-groups, Demushkin pro-p-groups and their free pro-p products. We provide a unifying principle for deriving these dimensions.     

The Gröbner ring conjecture in one variable

We prove that a valuation domain V has Krull dimension ≤ 1 if and only if for every finitely generated ideal I of V[X] the ideal generated by the leading terms of elements of I is also finitely generated. This proves the Gröbner ring conjecture in one variable. The proof we give is both simple and constructive. The same result is valid for semihereditary rings.     

Generalization of CS condition

Let R be an associative ring with identity. An R-module M is called an NCS module if C (M)∩S(M) = {0}, where C (M) and S(M) denote the set of all closed submodules and the set of all small submodules of M, respectively. It is clear that the NCS condition is a generalization of the well-known CS condition. Properties of the NCS conditions of modules and rings are explored in this article. In the end, it is proved that a ring R is right Σ-CS if and only if R is right perfect and right countably Σ-NCS. Recall that a ring R is called right Σ-CS if every direct sum of copies of R_R is a CS module. And a ring R is called right countably Σ-NCS if every direct sum of countable copies of R_R is an NCS module.     

Φ-Harmonic functions on discrete groups and the first ℓΦ-cohomology

We study the first cohomology groups of a countable discrete group G with coefficients in a G-module ?^Φ(G), where Φ is an N-function of class Δ₂(0) ∩ ?₂(0). Developing the ideas of Puls and Martin-Valette for a finitely generated group G, we introduce the discrete Φ-Laplacian and prove a theorem on the decomposition of the space of Φ-Dirichlet finite functions into the direct sum of the spaces of Φ-harmonic functions and ?^Φ(G) (with an appropriate factorization). We prove also that if a finitely generated group G has a finitely generated infinite amenable subgroup with infinite centralizer then \(\bar H^1\) (G, ?^Φ(G)) = 0. In conclusion, we show the triviality of the first cohomology group for the wreath product of two groups one of which is nonamenable.     

Flat modules and rings finitely generated as modules over their center

A module is called distributive (is said to be a chain module) if the lattice of all its submodules is distributive (is a chain). Let a ringA be a finitely generated module over its unitary central subringR. We prove the equivalence of the following conditions:

1. A is a right or left distributive semiprime ring;
2. for any maximal idealM of a subringR central inA, the ring of quotientsA _M is a finite direct product of semihereditary Bézout domains whose quotient rings by the Jacobson radicals are finite direct products of skew fields;
3. all right ideals and all left ideals of the ringA are flat (right and left) modules over the ringA, andA is a distributive ring, without nonzero nilpotent elements, all of whose quotient rings by prime ideals are semihereditary orders in skew fields.

     

An example of asymmetry of convolution operators

Esistono un gruppo compatto non commutativoG ^～ ed un operatore di convoluzioneT tale che: perp∈[2,4] e perq∈[1,2),T∈L _p ^p (G ^～) eT?L _q ^q (G ^～).     

Properties of Integers and Finiteness Conditions for Semigroups

Let h and k be integers greater than 1; we prove that the following statements are equivalent: 1) the direct product of h copies of the additive semigroup of non-negative integers is not k-repetitive; 2) if the direct product of h finitely generated semigroups is k-repetitive, then one of them is finite. Using this and some results of Dekking and Pleasants on infinite words, we prove that certain repetitivity properties are finiteness conditions for finitely generated semigroups.     

Self-injective Right Artinian Rings and Igusa Todorov Functions

We show that a right artinian ring R is right self-injective if and only if ψ(M)?=?0 (or equivalently ?(M)?=?0) for all finitely generated right R-modules M, where ψ, $\phi :\!\!\!\! \mod R \to \mathbb N$ are functions defined by Igusa and Todorov. In particular, an artin algebra Λ is self-injective if and only if ?(M)?=?0 for all finitely generated right Λ-modules M.     

Modules over group rings of solvable groups with rank restrictions on subgroups

Let A be an R G-module over a commutative ring R, where G is a group of infinite section p-rank (0-rank), C _G (A) = 1, A is not a Noetherian R-module, and the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (0-rank). We describe the structure of solvable groups G of this type.