scholarly journals Elementary equivalence for finitely generated nilpotent groups and multilinear maps

1998 ◽  
Vol 58 (3) ◽  
pp. 479-493 ◽  
Author(s):  
Francis Oger

We show that two finitely generated finite-by-nilpotent groups are elementarily equivalent if and only if they satisfy the same sentences with two alternations of quantifiers. For each integer n ≥ 2, we prove the same result for the following classes of structures:(1) the (n + 2)-tuples (A1, …, An+1, f), where A1, …, An+1 are disjoint finitely generated Abelian groups and f: A1 × … × An → An+1 is a n-linear map;(2) the triples (A, B, f), where A, B are disjoint finitely generated Abelian groups and f: An → B is a n-linear map;(3) the pairs (A, f), where A is a finitely generated Abelian group and f: An → A is a n-linear map.In the proof, we use some properties of commutative rings associated to multilinear maps.

2011 ◽  
Vol 10 (03) ◽  
pp. 377-389
Author(s):  
CARLA PETRORO ◽  
MARKUS SCHMIDMEIER

Let Λ be a commutative local uniserial ring of length n, p be a generator of the maximal ideal, and k be the radical factor field. The pairs (B, A) where B is a finitely generated Λ-module and A ⊆B a submodule of B such that pmA = 0 form the objects in the category [Formula: see text]. We show that in case m = 2 the categories [Formula: see text] are in fact quite similar to each other: If also Δ is a commutative local uniserial ring of length n and with radical factor field k, then the categories [Formula: see text] and [Formula: see text] are equivalent for certain nilpotent categorical ideals [Formula: see text] and [Formula: see text]. As an application, we recover the known classification of all pairs (B, A) where B is a finitely generated abelian group and A ⊆ B a subgroup of B which is p2-bounded for a given prime number p.


1996 ◽  
Vol 19 (3) ◽  
pp. 539-544 ◽  
Author(s):  
Peter Hilton ◽  
Robert Militello

A nilpotent groupGis fgp ifGp, is finitely generated (fg) as ap-local group for all primesp; it is fg-like if there exists a nilpotent fg groupHsuch thatGp≃Hpfor all primesp. The fgp nilpotent groups form a (generalized) Serre class; the fg-like nilpotent groups do not. However, for abelian groups, a subgroup of an fg-like group is fg-like, and an extension of an fg-like group by an fg-like group is fg-like. These properties persist for nilpotent groups with finite commutator subgroup, but fail in general.


1984 ◽  
Vol 49 (4) ◽  
pp. 1115-1124
Author(s):  
Francis Oger

AbstractIn [O1], we gave algebraic characterizations of elementary equivalence for finitely generated finite-by-abelian groups, i.e. finitely generated FC-groups. We also provided several examples of finitely generated finite-by-abelian groups which are elementarily equivalent without being isomorphic.In this paper, we shall use our previous results to describe precisely the models of the theories of finitely generated finite-by-abelian groups and the elementary embeddings between these models.


Symmetry ◽  
2020 ◽  
Vol 12 (9) ◽  
pp. 1537 ◽  
Author(s):  
Lingling Han ◽  
Xiuyun Guo

In this paper, we mainly count the number of subgroup chains of a finite nilpotent group. We derive a recursive formula that reduces the counting problem to that of finite p-groups. As applications of our main result, the classification problem of distinct fuzzy subgroups of finite abelian groups is reduced to that of finite abelian p-groups. In particular, an explicit recursive formula for the number of distinct fuzzy subgroups of a finite abelian group whose Sylow subgroups are cyclic groups or elementary abelian groups is given.


Author(s):  
Amaira Moaitiq Mohammed Al-Johani

In abstract algebra, an algebraic structure is a set with one or more finitary operations defined on it that satisfies a list of axioms. Algebraic structures include groups, rings, fields, and lattices, etc. A group is an algebraic structure (????, ∗), which satisfies associative, identity and inverse laws. An Abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, these are the groups that obey the axiom of commutatively. The concept of an Abelian group is one of the first concepts encountered in abstract algebra, from which many other basic concepts, such as rings, commutative rings, modules and vector spaces are developed. This study sheds the light on the structure of the finite abelian groups, basis theorem, Sylow’s theorem and factoring finite abelian groups. In addition, it discusses some properties related to these groups. The researcher followed the exploratory and comparative approaches to achieve the study objective. The study has shown that the theory of Abelian groups is generally simpler than that of their non-abelian counter parts, and finite Abelian groups are very well understood.  


10.37236/3123 ◽  
2014 ◽  
Vol 21 (3) ◽  
Author(s):  
Edward Dobson

We give a necessary condition to reduce the Cayley isomorphism problem for Cayley objects of a nilpotent or abelian group $G$ whose order satisfies certain arithmetic properties to the Cayley isomorphism problem of Cayley objects of the Sylow subgroups of $G$ in the case of nilpotent groups, and in the case of abelian groups to certain natural subgroups. As an application of this result, we show that ${\mathbb Z}_q\times{\mathbb Z}_p^2\times{\mathbb Z}_m$ is a CI-group with respect to digraphs, where $q$ and $p$ are primes with $p^2 < q$ and $m$ is a square-free integer satisfying certain arithmetic conditions (but there are no other restrictions on $q$ and $p$).


2013 ◽  
Vol 56 (3) ◽  
pp. 477-490 ◽  
Author(s):  
Adlene Ayadi

Abstract.We give a characterization of hypercyclic abelian group 𝒢 of affine maps on ℂn. If G is finitely generated, this characterization is explicit. We prove in particular that no abelian group generated by n affine maps on Cn has a dense orbit.


1969 ◽  
Vol 21 ◽  
pp. 712-729 ◽  
Author(s):  
Benson Samuel Brown

For a prime number p let be the class of finite abelian groups whose orders are prime to p. For a finitely generated abelian group G, let Gp be the sum of the free and p-primary components of G. Our aim in this paper is to prove the following theorem.Theorem. Suppose that(i) Hi(X;Z) = 0 for i > k,(ii) for i > k – dThen there exists a spectral sequence withand the differential is given by


2002 ◽  
Vol 72 (2) ◽  
pp. 173-180 ◽  
Author(s):  
R. Quackenbush ◽  
C. S. Szabó

AbstractIt is shown that no finite group containing a non-abelian nilpotent subgroup is dualizable. This is in contrast to the known result that every finite abelian group is dualizable (as part of the Pontryagin duality for all abelian groups) and to the result of the authors in a companion article that every finite group with cyclic Sylow subgroups is dualizable.


1975 ◽  
Vol 78 (3) ◽  
pp. 357-368 ◽  
Author(s):  
B. A. F. Wehrfritz

This paper is devoted to the construction of faithful representations of the automorphism group and the holomorph of an extension of an abelian group by some other group, the representations here being homomorphisms into certain restricted parts of the automorphism groups of smallish abelian groups. We apply these to two very specific cases, namely to finitely generated metabelian groups and to certain soluble groups of finite rank. We describe the applications first.


Sign in / Sign up

Export Citation Format

Share Document