Definability of Completely Decomposable Torsion-Free Abelian Groups by Groups of Homomorphisms

Let C be an Abelian group. An Abelian group A in some class of Abelian groups is said to be _C H-definable in the class if, for any group B\in , it follows from the existence of an isomorphism Hom(C,A) Hom(C,B) that there is an isomorphism A B. If every group in is _C H-definable in , then the class is called an _C H-class. In the paper, conditions are studied under which a class of completely decomposable torsion-free Abelian groups is a _C H-class, where C is a completely decomposable torsion-free Abelian group.     

Direct Products with Abelian Automorphism Groups

The article considers when the direct product of two finite groups has an Abelian automorphism group.     

IA-Automorphisms of Metabelian Products of Two Abelian Groups

For metabelian products of two Abelian groups with torsion, IA-automorphisms that are not inner and hence are not induced by any automorphisms of the free products of the same Abelian groups are constructed.     

Criterion for Invertibility of Endomorphisms and Test Rank of Metabelian Products of Abelian Groups

Let G be a finitely generated torsion-free group, which is a metabelian product of Abelian groups. We establish a criterion for endomorphisms satisfying some extra restriction to be invertible in G. Test sets for IA-endomorphisms of G are described and its test rank computed.     

自由亚交换群的直积的检验元素

设Sri(i=1,2,…,n)为秩ri的自由亚交换群,G=Sr1×Sr2…×Srn为自由亚交换群的直积,本文证明了G有检验元素的充分必要条件为ri=2(i=1,2,…,n)．同时,还证明了g=(g1,g2,…,gn)为G的检验元素的充分必要条件是:gi∈S′2-1(i= 1,2,…,n),且{g1,g2,…,gn}为独立集．此外,我们给出了一类具体的检验元素．     

Conjugacy Separability of Descending HNN-Extensions of Finitely Generated Abelian Groups

It is proved that an arbitrary descending HNN-extension of a finitely generated Abelian group is conjugacy separable.     

Construction of $${\text {MDS}}$$ MDS matrices from generalized Feistel structures

Designs, Codes and Cryptography - This paper investigates the construction of $${\text {MDS}}$$ matrices with generalized Feistel structures ( $${\text {GFS}}$$ ). The approach developed by this...     

Determinantal Resolution of the Universal Subscheme in $$\mathcal{S}{\text{ }} \times {\text{ }}H_{d + 1} $$

We construct a determinantal resolution of singularities for the universal subscheme in and prove that it is isomorphic to the variety of total pairs .     

The Lattice of Quasivarieties of Torsion-Free Metabelian Groups

Assume that a quasivariety of groups contains a non-Abelian free metabelian group and a non-Abelian free nilpotent group of class 2. It is proved that the lattice of quasivarieties contained in is infinite and non-modular.     

$${\text {B}}$$ B -subdifferentials of the projection onto the matrix simplex

Computational Optimization and Applications - An important tool in matrix optimization problems is the strong semismoothness of the projection mapping onto the cone of real symmetric positive...     

Minimal non-$${\mathcal {F}}$$ -groups

Let be a saturated formation. We describe minimal non- -, minimal non- -, and minimal non-metabelian groups. Dedicated to L. A. Shemetkov on the occasion of his seventieth birthday.     

Almost Isomorphic Torsion-Free Abelian Groups and Similarity of Homogeneously Decomposable Groups

In the paper the concept of the similarity of homogeneously decomposable groups is introduced. One investigates the cases in which almost isomorphic groups are similar or isomorphic. Mathematics Subject Classification (2000) 20K99.     

Nonlinearity of the Automorphism Groups of Some Free Algebras

We prove that the groups of tame automorphisms of a free Lie algebra (free associative algebra, absolutely free algebra, algebra of polynomials) of rank at least four over a field of characteristic zero admit no faithful representation by matrices over any field.     

Estimates of the $$k{\text {th}}$$ prime under the Riemann hypothesis

We construct an Euler system of generalized Heegner cycles to bound the Selmer group associated to a modular form and an algebraic Hecke character. The main argument is based on Kolyvagin’s method adapted by Bertolini and Darmon (J Reine Angew Math 412:63–74, 1990) and by Neková? (Invent Math 107(1):99–125, 1992), while the key object of the Euler system, the generalized Heegner cycles were first considered by Bertolini et al. (Duke Math J 162(6):1033–1148, 2013).     

Affine Completeness and Lexicographic Product Decompositions of Abelian Lattice Ordered Groups

In this paper it is proved that an abelian lattice ordered group which can be expressed as a nontrivial lexicographic product is never affine complete. This work was supported by VEGA grant 2/1131/21.     

Characterizing cryptogroups with a finite number of $${\mathcal{H}}$$ -classes in each $${\mathcal{D}}$$ -class by their subsemigroups

We construct a family of completely regular semigroups with the property that each completely regular semigroup S with a finite number of -classes in each -class is non-cryptic if and only if S contains an isomorphic image of a member of . Each member F of is an ideal extension of a Rees matrix semigroup J by a cyclic group B with a zero adjoined and the identity of B is the identity of F. Here with I and Λ finite, G is given by generators and relations, and P is given explicitly. Within completely regular semigroups, the cryptic property is equivalent to where is the natural partial order and a if and only if a ² = ab = ba. Hence the above result can be formulated in terms of and .      

Abel群的亚同态的刻画

In this paper,a characterization of metahomomorphisrns on Abeliangroups is given.