A Note on Finitely A-Presented Abelian Groups

The class of mixed groups  was introduced by Glaz and Wickless. This article investigates subclasses  of  such that the functor Hom(A, ?)/t Hom(A, ?) between  and the category of right E(A)/tE(A)-modules is full.     

Purity and Self-Small Groups

Let A be an abelian group. A group B is A-solvable if the natural map Hom(A, B) ?  _E(A) A → B is an isomorphism. We study pure subgroups of A-solvable groups for a self-small group A of finite torsion-free rank. Particular attention is given to the case that A is in , the class of self-small mixed groups G with G/tG? ? ⁿ for some n < ω. We obtain a new characterization of the elements of , and demonstrate that  differs in various ways from the class  ? of torsion-free abelian groups of finite rank despite the fact that the quasi-category ?  is dual to a full subcategory of ?  ?.     

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.     

有限A bel群的完全同构

本文得到有限循环群的完全同构基数的一个计算公式 ,并给出有限 Abel群的一个同态为完全同构的一个充要条件 .     

阿贝尔群上的幻方及幻立方（英）

An attempt is made to construct magic squares and magic cubes on a given abelian group.     

On Separable Schur Rings over Abelian Groups

A finite group is said to be weakly separable if every algebraic isomorphism between two S-rings over this group is induced by a combinatorial isomorphism.We prove that every abelian weakly separable group only belongs to one of several explicitly given families.     

Note on Magic Squares and Magic Cubes on Abelian Groups

ＮｏｔｅｏｎＭａｇｉｃＳｑｕａｒｅｓａｎｄＭａｇｉｃＣｕｂｅｓｏｎＡｂｅｌｉａｎＧｒｏｕｐｓＷｅｎＹｉｈｕｉ（ＧａｎｓｕＣｏｌｅｇｅｏｆＥｄｕｃａｔｉｏｎ）ＨｕｇｏＳｕｎ（ＣａｌｉｆｏｒｎｉａＳｔａｔｅＵｎｉｖｅｒｓｉｔｙ，Ｆｒｅｓｎｏ）Ａｂｓｔｒ...     

On the Heyde Theorem for Finite Abelian Groups

It is well-known Heyde's characterization theorem for the Gaussian distribution on the real line: if _j are independent random variables, _j , _j are nonzero constants such that _i ± _j ^–1 _j 0 for all i j and the conditional distribution of L ₂=_{1 1} + ··· + _{n n} given L ₁=_{1 1} + ··· + _{n n} is symmetric, then all random variables _j are Gaussian. We prove some analogs of this theorem, assuming that independent random variables take on values in a finite Abelian group X and the coefficients _j , _j are automorphisms of X.     

Maximal Orders of Abelian Subgroups in Finite Chevalley Groups

In the present paper, for any finite group G of Lie type (except for ² F ₄(q)), the order a(G) of its large Abelian subgroup is either found or estimated from above and from below (the latter is done for the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)). In the groups for which the number a(G) has been found exactly, any large Abelian subgroup coincides with a large unipotent or a large semisimple Abelian subgroup. For the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)), it is shown that if an Abelian subgroup contains a noncentral semisimple element, then its order is less than the order of an Abelian unipotent group. Hence in these groups the large Abelian subgroups are unipotent, and in order to find the value of a(G) for them, it is necessary to find the orders of the large unipotent Abelian subgroups. Thus it is proved that in a finite group of Lie type (except for ² F ₄(q))) any large Abelian subgroup is either a large unipotent or a large semisimple Abelian subgroup.     

Partly Divisible Probability Measures on Locally Compact Abelian Groups

A notion of admissible probability measures μ on a locally compact Abelian group (LCA ‐ group) G with connected dual group Ĝ = ℝ^d × 𝕋ⁿ is defined. To such a measure μ, a closed semigroup Λ(μ) ⊆ (0, ∞) can be associated, such that, for t ∈ Λ(μ), the Fourier transform to the power t, (μˆ)^t, is a characteristic function. We prove that the existence of roots for non admissible probability measures underlies some restrictions, which do not hold in the admissible case. As we show for the example ℤ₂, in the case of LCA ‐ groups with non connected dual group, there is no canonical definition of the set Λ(μ).     

Symmetric presentations of Abelian groups

We characterise the abelianisation of a group that has a presentation for which the set of relations is invariant under the full symmetric group acting on the set of generators. This improves a result of Emerson.

     

On Abelian Groups Having All Proper Fully Invariant Subgroups Isomorphic

We introduce two classes of abelian groups which have either only trivial fully invariant subgroups or all their nontrivial (respectively nonzero) fully invariant subgroups are isomorphic, called IFI-groups and strongly IFI-groups, such that every strongly IFI-group is an IFI-group, respectively. Moreover, these classes coincide when the groups are torsion-free, but are different when the groups are torsion as well as, surprisingly, mixed groups cannot be IFI-groups. We also study their important properties as our results somewhat contrast with those from [13 Grinshpon , S. Ya. , Nikolskaya (Savinkova) , M. M. ( 2011 ). Fully invariant subgroups of abelian p-groups with finite Ulm-Kaplansky invariants . Commun. Algebra 39 : 4273 – 4282 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] and [14 Grinshpon , S. Ya. , Nikolskaya (Savinkova) , M. M. ( 2011-2012/2014 ). Torsion IF-groups . Fundam. Prikl. Mat. 17 : 47 – 58 ; translated in J. Math. Sci. 197:614–622 . [Google Scholar]].     

Simplicity of Skew Group Rings of Abelian Groups

Necessary and sufficient conditions for simplicity of a general skew group ring A ?_σ G are not known. In this article, we show that a skew group ring A ?_σ G, of an abelian group G, is simple if and only if its centre is a field and A is G-simple. As an application, we show that a transformation group (X, G), where X is a compact Hausdorff space acted upon by an abelian group G, is minimal and faithful if and only if its associated skew group algebra C(X) ?_σ G is simple.     

带有限性条件Abel群的自同态环和自同构群

给出了带极大或极小条件的Abel群A的自同构群以及自同态环的相伴Lie环是可解或幂零的充要条件.同时也给出了群A=Q_(π1)⊕Q_(π2)⊕…⊕Q_(πr)的自同构群是可解或幂零的充要条件,以及群A的自同态环的相伴Lie环是可解或幂零的充要条件.     

Recognizing Abelian Sylow Subgroups in Finite Groups

Let p be a prime. We prove that if a finite group G has non-abelian Sylow p-subgroups, and the class size of every p-element in G is coprime to p, then G contains a simple group as a subquotient which exhibits the same property. In addition, we provide a list of all the simple groups and primes such that the Sylow p-subgroups are non-abelian and all p-elements have class size coprime to p.     

Abelian C-minimal groups

Macpherson and Steinhorn (Macpherson and Steinhorn, Ann. Pure Appl. Logic 79 (1996) 165–209) introduce some variants of the notion of o-minimality. One of the most interesting is C-minimality, which provides a natural setting to study algebraically closed-valued fields and some valued groups. In this paper we go further in the study of the structure of C-minimal valued groups, giving a partial characterization in the abelian case. We obtain the following principle: for abelian valued groups G for which the valuation satisfies some kind of compatibility with the multiplication by any prime number p, being C-minimal is equivalent to the o-minimality of the expansion of the chain of valuations by the maps induced by the multiplication by each prime number in G, and by some unary predicates controlling the cardinality of the residual structures. This result is quite nice, because the class considered contains all the natural examples of abelian C-minimal valued groups of (Macpherson and Steinhorn, Ann. Pure Appl. Logic 79 (1996) 165–209), and allows us to find many more examples.