Infinite groups with a finiteness conditions on non-abelian - - PowerPoint PPT Presentation

infinite groups with a finiteness conditions on non
SMART_READER_LITE
LIVE PREVIEW

Infinite groups with a finiteness conditions on non-abelian - - PowerPoint PPT Presentation

Infinite groups with a finiteness conditions on non-abelian subgroups Patrizia LONGOBARDI UNIVERSIT DEGLI STUDI DI SALERNO Gruppen und Topologische Gruppen Groups and Topological Groups Department of Sociology and Social Research Trento


slide-1
SLIDE 1

Infinite groups with a finiteness conditions

  • n non-abelian subgroups

Patrizia LONGOBARDI

UNIVERSITÀ DEGLI STUDI DI SALERNO

Gruppen und Topologische Gruppen Groups and Topological Groups Department of Sociology and Social Research Trento June 16 - 17, 2017

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-2
SLIDE 2

Trento

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-3
SLIDE 3

Trento

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-4
SLIDE 4

Basic Problem

Let G be a group and let M be a family of subgroups of G.

Main Problem

Obtain information about the structure of G by looking at properties concerning M.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-5
SLIDE 5

Basic Problem

Let G be a group and let M be a family of subgroups of G.

Main Problem

Obtain information about the structure of G by looking at properties concerning M.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-6
SLIDE 6

Basic Problem

Let G be a (possibly infinite) group and let M be a family of subgroups of G.

Main Problem

Find information about the structure of G assuming that M satisfies a finiteness condition.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-7
SLIDE 7

Background - L(G)

Let G be a (possibly infinite) group. Example Let M = L(G) be the family of all subgroups of G. Then

L(G) is finite ⇔ G is finite. What can be said about the structure of G if L(G), ordered by inclusion, satisfies, for instance, the maximal condition or the minimal condition?

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-8
SLIDE 8

Background - L(G)

Let G be a (possibly infinite) group. Example Let M = L(G) be the family of all subgroups of G. Then

L(G) is finite ⇔ G is finite. What can be said about the structure of G if L(G), ordered by inclusion, satisfies, for instance, the maximal condition or the minimal condition?

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-9
SLIDE 9

Background - L(G)

Let G be a (possibly infinite) group. Example Let M = L(G) be the family of all subgroups of G. Then

L(G) is finite ⇔ G is finite. What can be said about the structure of G if L(G), ordered by inclusion, satisfies, for instance, the maximal condition or the minimal condition?

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-10
SLIDE 10

Background - L(G)

Is it true, for instance, that G is finite if L(G), ordered by inclusion, satisfies the maximal condition or the minimal condition?

NO

Remark

There exist infinite simple groups in which every proper non-trivial subgroup has order a fixed prime p, the so called Tarski monsters.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-11
SLIDE 11

Background - L(G)

Is it true, for instance, that G is finite if L(G), ordered by inclusion, satisfies the maximal condition or the minimal condition?

NO

Remark

There exist infinite simple groups in which every proper non-trivial subgroup has order a fixed prime p, the so called Tarski monsters.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-12
SLIDE 12

Background - L(G)

Is it true, for instance, that G is finite if L(G), ordered by inclusion, satisfies the maximal condition or the minimal condition?

NO

Remark

There exist infinite simple groups in which every proper non-trivial subgroup has order a fixed prime p, the so called Tarski monsters.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-13
SLIDE 13

Tarski monsters G

  • ...
  • ...
  • {1}
  • A. Yu Ol’shanskii, Geometry of defining relations in groups, Mathematics and

its Applications, vol.70 Kluwer Academic Publishers, Dordrecht, 1989.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-14
SLIDE 14

Tarski monsters G

  • ...
  • ...
  • {1}
  • A. Yu Ol’shanskii, Geometry of defining relations in groups, Mathematics and

its Applications, vol.70 Kluwer Academic Publishers, Dordrecht, 1989.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-15
SLIDE 15

Tarski monsters G

  • ...
  • ...
  • {1}
  • A. Yu Ol’shanskii, Geometry of defining relations in groups, Mathematics and

its Applications, vol.70 Kluwer Academic Publishers, Dordrecht, 1989.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-16
SLIDE 16

Background - L(G)

Problem

What can be said about the structure of G if L(G), ordered by inclusion, satisfies the maximal condition or the minimal condition? There are many well-known classical results about classes of groups G with L(G) ∈ Max or L(G) ∈ Min.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-17
SLIDE 17

Background - L(G)

Problem

What can be said about the structure of G if L(G), ordered by inclusion, satisfies the maximal condition or the minimal condition? There are many well-known classical results about classes of groups G with L(G) ∈ Max or L(G) ∈ Min.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-18
SLIDE 18

Background - L(G)

Problem

What can be said about the structure of G if L(G), ordered by inclusion, satisfies the maximal condition or the minimal condition? There are many well-known classical results about classes of groups G with L(G) ∈ Max or L(G) ∈ Min.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-19
SLIDE 19

Definitions - LP(G), Lnon−P(G)

Let P be a group theoretical property.

Definitions

Denote by LP(G) the family of all subgroups H of G such that H has P and by Lnon−P(G) the family of subgroups H of G such that H does not have P.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-20
SLIDE 20

Definitions - LP(G), Lnon−P(G)

Let P be a group theoretical property.

Definitions

Denote by LP(G) the family of all subgroups H of G such that H has P and by Lnon−P(G) the family of subgroups H of G such that H does not have P.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-21
SLIDE 21

Definitions - LP(G), Lnon−P(G)

Let P be a group theoretical property.

Definitions

Denote by LP(G) the family of all subgroups H of G such that H has P and by Lnon−P(G) the family of subgroups H of G such that H does not have P.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-22
SLIDE 22

Background - LP(G), Lnon−P(G)

We are interested in particular in the family Lnon−P(G), since if Lnon−P(G) is small, then many subgroups of G have P.

Example

If Lnon−P(G) = {G}, then every proper subgroup of G has P. Groups G with finiteness conditions

  • n LP(G) or on Lnon−P(G)

for various properties P have been studied by many authors.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-23
SLIDE 23

Background - LP(G), Lnon−P(G)

We are interested in particular in the family Lnon−P(G), since if Lnon−P(G) is small, then many subgroups of G have P.

Example

If Lnon−P(G) = {G}, then every proper subgroup of G has P. Groups G with finiteness conditions

  • n LP(G) or on Lnon−P(G)

for various properties P have been studied by many authors.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-24
SLIDE 24

Background - LP(G), Lnon−P(G)

We are interested in particular in the family Lnon−P(G), since if Lnon−P(G) is small, then many subgroups of G have P.

Example

If Lnon−P(G) = {G}, then every proper subgroup of G has P. Groups G with finiteness conditions

  • n LP(G) or on Lnon−P(G)

for various properties P have been studied by many authors.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-25
SLIDE 25

Background - Lab(G), Lnon−ab(G)

Example

If P = ab is the property to be abelian, then Lab(G) is finite ⇔ G is finite.

Remark

Tarski monsters and more generally minimal non-abelian groups are groups G with Lnon−ab(G) finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-26
SLIDE 26

Background - Lab(G), Lnon−ab(G)

Example

If P = ab is the property to be abelian, then Lab(G) is finite ⇔ G is finite.

Remark

Tarski monsters and more generally minimal non-abelian groups are groups G with Lnon−ab(G) finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-27
SLIDE 27

Background - Lab(G), Lnon−ab(G)

Example

If P = ab is the property to be abelian, then Lab(G) is finite ⇔ G is finite.

Remark

Tarski monsters and more generally minimal non-abelian groups are groups G with Lnon−ab(G) finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-28
SLIDE 28

Background - Lab(G)

Let P = ab be the property to be abelian. Groups G in which Lab(G), ordered by inclusion, has Max or Min have been firstly studied respectively by A.I. Mal’cev in 1956 and O.J. Schmidt in 1945.

A.I. Mal’cev, On certain classes of infinite soluble groups, Mat. Sb. 28

(1951), 567-588 (Russian), Amer. Math. Soc. Transl. (2) 2 (1956), 1-21.

O.J. Schmidt, Infinite soluble groups, Mat. Sb., 17(59) (1945), 145-162

(Russian).

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-29
SLIDE 29

Background - Lab(G)

Let P = ab be the property to be abelian. Groups G in which Lab(G), ordered by inclusion, has Max or Min have been firstly studied respectively by A.I. Mal’cev in 1956 and O.J. Schmidt in 1945.

A.I. Mal’cev, On certain classes of infinite soluble groups, Mat. Sb. 28

(1951), 567-588 (Russian), Amer. Math. Soc. Transl. (2) 2 (1956), 1-21.

O.J. Schmidt, Infinite soluble groups, Mat. Sb., 17(59) (1945), 145-162

(Russian).

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-30
SLIDE 30

Background - Lnon−ab(G)

Groups G in which Lnon−ab(G) has Max have been studied by L.A. Kurdachenko and D.I. Zaicev in 1991.

L.A. Kurdachenko, D.I. Zaicev, Groups with the maximum condition for

non-abelian subgroups, Ukrain. Mat. Zh. 43 (1991), 925-930 (Russian), English transl., Ukrainian Math. J. 43 (1991), 863-868.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-31
SLIDE 31

Background - Lnon−ab(G)

Groups G in which Lnon−ab(G) has Max have been studied by L.A. Kurdachenko and D.I. Zaicev in 1991.

L.A. Kurdachenko, D.I. Zaicev, Groups with the maximum condition for

non-abelian subgroups, Ukrain. Mat. Zh. 43 (1991), 925-930 (Russian), English transl., Ukrainian Math. J. 43 (1991), 863-868.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-32
SLIDE 32

Background - Lnon−ab(G)

Groups G in which Lnon−ab(G) has Max have been studied by L.A. Kurdachenko and D.I. Zaicev in 1991.

L.A. Kurdachenko, D.I. Zaicev, Groups with the maximum condition for

non-abelian subgroups, Ukrain. Mat. Zh. 43 (1991), 925-930 (Russian), English transl., Ukrainian Math. J. 43 (1991), 863-868.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-33
SLIDE 33

Background - Lnon−ab(G)

Groups in which Lnon−ab(G) has Min have been studied by S.N. Černikov in 1964 and 1967.

S.N. Černikov, Infinite groups with prescribed properties of their systems of

infinite subgroups, Dokl. Akad. Nauk SSSR, 159 (1964) 759-760 (Russian), Soviet Math. Dokl., 5 (1964) 1610-1611.

S.N. Černikov, Groups with given properties of systems of infinite subgroups,

  • Ukrain. Mat. Ž, 19 (1967) 111-131 (Russian), Ukrainian Math. J., 19 (1967)

715-731.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-34
SLIDE 34

Background - Lnon−ab(G)

Groups in which Lnon−ab(G) has Min have been studied by S.N. Černikov in 1964 and 1967.

S.N. Černikov, Infinite groups with prescribed properties of their systems of

infinite subgroups, Dokl. Akad. Nauk SSSR, 159 (1964) 759-760 (Russian), Soviet Math. Dokl., 5 (1964) 1610-1611.

S.N. Černikov, Groups with given properties of systems of infinite subgroups,

  • Ukrain. Mat. Ž, 19 (1967) 111-131 (Russian), Ukrainian Math. J., 19 (1967)

715-731.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-35
SLIDE 35

Background - LN(G)

Let N be the property to be nilpotent. Groups G in which LN(G) has Max have been studied by M.R. Dixon and L.A. Kurdachenko in 2001.

M.R. Dixon, L.A. Kurdachenko, Groups with the maximum condition on

non-nilpotent subgroups, J. Group Theory 4 (2001), 75-87.

M.R. Dixon, L.A. Kurdachenko, Locally nilpotent groups with the maximum

condition on non-nilpotent subgroups, Glasgow Math. J. 43 (2001), 85-102.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-36
SLIDE 36

Background - LN(G)

Let N be the property to be nilpotent. Groups G in which LN(G) has Max have been studied by M.R. Dixon and L.A. Kurdachenko in 2001.

M.R. Dixon, L.A. Kurdachenko, Groups with the maximum condition on

non-nilpotent subgroups, J. Group Theory 4 (2001), 75-87.

M.R. Dixon, L.A. Kurdachenko, Locally nilpotent groups with the maximum

condition on non-nilpotent subgroups, Glasgow Math. J. 43 (2001), 85-102.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-37
SLIDE 37

Background - LN(G)

Let N be the property to be nilpotent. Groups G in which LN(G) has Max have been studied by M.R. Dixon and L.A. Kurdachenko in 2001.

M.R. Dixon, L.A. Kurdachenko, Groups with the maximum condition on

non-nilpotent subgroups, J. Group Theory 4 (2001), 75-87.

M.R. Dixon, L.A. Kurdachenko, Locally nilpotent groups with the maximum

condition on non-nilpotent subgroups, Glasgow Math. J. 43 (2001), 85-102.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-38
SLIDE 38

Paper

L.A. Kurdachenko, P. L., M. Maj, I.Ya Subbotin Groups with finitely many types of non-isomorphic non-abelian subgroups submitted.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-39
SLIDE 39

Paper

L.A. Kurdachenko, P. L., M. Maj, I.Ya Subbotin Groups with finitely many types of non-isomorphic non-abelian subgroups submitted.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-40
SLIDE 40

A new problem We study a quite different finiteness condition on LP(G) and Lnon−P(G).

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-41
SLIDE 41

Definition

Let G be a group and let M be a family of subgroups of G.

Definition

Consider the equivalence relation in M given by H ≃ K, with H, K ∈ M. Call the isomorphic type ItypeM of M any set of representatives of all equivalence classes in M.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-42
SLIDE 42

Definition

Let G be a group and let M be a family of subgroups of G.

Definition

Consider the equivalence relation in M given by H ≃ K, with H, K ∈ M. Call the isomorphic type ItypeM of M any set of representatives of all equivalence classes in M.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-43
SLIDE 43

Definition

Let G be a group and let M be a family of subgroups of G.

Definition

Consider the equivalence relation in M given by H ≃ K, with H, K ∈ M. Call the isomorphic type ItypeM of M any set of representatives of all equivalence classes in M.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-44
SLIDE 44

Definition

Let G be a group and let M be a family of subgroups of G.

Definition

Consider the equivalence relation in M given by H ≃ K, with H, K ∈ M. Call the isomorphic type ItypeM of M any set of representatives of all equivalence classes in M.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-45
SLIDE 45

Problem

Let G be a group and let M be a family of subgroups of G. Definitions Consider the equivalence relation in M given by H ≃ K, with H, K ∈ M. Call the isomorphic type ItypeM of M any set of representatives of all equivalence classes in M.

We study groups G in which ItypeM is finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-46
SLIDE 46

Problem

Let G be a group and let M be a family of subgroups of G. Definitions Consider the equivalence relation in M given by H ≃ K, with H, K ∈ M. Call the isomorphic type ItypeM of M any set of representatives of all equivalence classes in M.

We study groups G in which ItypeM is finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-47
SLIDE 47

First remarks - |ItypeL(G)|

Let G be a group. Remark If G is non-trivial, then G, {1} ∈ ItypeL(G). Thus

|ItypeL(G)| 2.

Proposition

|ItypeL(G)| = 2 ⇔ either |G| a prime or G infinite cyclic.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-48
SLIDE 48

First remarks - |ItypeL(G)|

Let G be a group. Remark If G is non-trivial, then G, {1} ∈ ItypeL(G). Thus

|ItypeL(G)| 2.

Proposition

|ItypeL(G)| = 2 ⇔ either |G| a prime or G infinite cyclic.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-49
SLIDE 49

First remarks - |ItypeL(G)|

Let G be a group. Remark If G is non-trivial, then G, {1} ∈ ItypeL(G). Thus

|ItypeL(G)| 2.

Proposition

|ItypeL(G)| = 2 ⇔ either |G| a prime or G infinite cyclic.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-50
SLIDE 50

First remarks - |ItypeL(G)|

Proposition

|ItypeL(G)| = 2 ⇔ either |G| a prime or G infinite cyclic.

  • Proof. If G is cyclic, either infinite or of prime order, then obviously

ItypeL(G) = {{1}, G}. Conversely, assume |ItypeL(G)| = 2, so ItypeL(G) = {{1}, G}. Then, for any x ∈ G − {1}, we have < x > ≃ G. Therefore G is cyclic. If G is finite, then there is an element y ∈ G of order a prime and G ≃ < y >, as required. // Problem

What about ItypeLab(G)?

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-51
SLIDE 51

First remarks - |ItypeL(G)|

Proposition

|ItypeL(G)| = 2 ⇔ either |G| a prime or G infinite cyclic.

  • Proof. If G is cyclic, either infinite or of prime order, then obviously

ItypeL(G) = {{1}, G}. Conversely, assume |ItypeL(G)| = 2, so ItypeL(G) = {{1}, G}. Then, for any x ∈ G − {1}, we have < x > ≃ G. Therefore G is cyclic. If G is finite, then there is an element y ∈ G of order a prime and G ≃ < y >, as required. // Problem

What about ItypeLab(G)?

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-52
SLIDE 52

First remarks - |ItypeL(G)|

Proposition

|ItypeL(G)| = 2 ⇔ either |G| a prime or G infinite cyclic.

  • Proof. If G is cyclic, either infinite or of prime order, then obviously

ItypeL(G) = {{1}, G}. Conversely, assume |ItypeL(G)| = 2, so ItypeL(G) = {{1}, G}. Then, for any x ∈ G − {1}, we have < x > ≃ G. Therefore G is cyclic. If G is finite, then there is an element y ∈ G of order a prime and G ≃ < y >, as required. // Problem

What about ItypeLab(G)?

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-53
SLIDE 53

First remarks - |ItypeLab(G)|

Problem

What about |ItypeLab(G)|?

Remark

Obviously, if G = {1}, then {1}, < x > ∈ ItypeLab(G), where x ∈ G − {1}. Therefore |ItypeLab(G)| 2. But Tarski monsters T have |ItypeLab(T)| = 2.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-54
SLIDE 54

First remarks - |ItypeLab(G)|

Problem

What about |ItypeLab(G)|?

Remark

Obviously, if G = {1}, then {1}, < x > ∈ ItypeLab(G), where x ∈ G − {1}. Therefore |ItypeLab(G)| 2. But Tarski monsters T have |ItypeLab(T)| = 2.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-55
SLIDE 55

First remarks - |ItypeLab(G)|

Problem

What about |ItypeLab(G)|?

Remark

Obviously, if G = {1}, then {1}, < x > ∈ ItypeLab(G), where x ∈ G − {1}. Therefore |ItypeLab(G)| 2. But Tarski monsters T have |ItypeLab(T)| = 2.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-56
SLIDE 56

First remarks - |ItypeLab(G)|

Tarski monsters T have |ItypeLab(T)| = 2.

Proposition

Let G be a locally soluble group. Then |ItypeLab(G)| = 2 ⇔ either |G| a prime or G infinite cyclic.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-57
SLIDE 57

First remarks - |ItypeLab(G)|

Tarski monsters T have |ItypeLab(T)| = 2.

Proposition

Let G be a locally soluble group. Then |ItypeLab(G)| = 2 ⇔ either |G| a prime or G infinite cyclic.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-58
SLIDE 58

First remarks - |ItypeL(G)|, |ItypeLab(G)|

Remark

Using a result due to V.S. Charin it follows that if a group G is such that ItypeL(G) or ItypeLab(G) is finite, then every abelian subgroup of G is minimax.

Definition A group G is said to be minimax if it has a finite series whose factors satisfy Min or Max. V.S. Charin, On soluble groups of type A4, Mat. Sbornik 52 (1960), no. 3, 895-914.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-59
SLIDE 59

First remarks - |ItypeL(G)|, |ItypeLab(G)|

Remark

Using a result due to V.S. Charin it follows that if a group G is such that ItypeL(G) or ItypeLab(G) is finite, then every abelian subgroup of G is minimax.

Definition A group G is said to be minimax if it has a finite series whose factors satisfy Min or Max. V.S. Charin, On soluble groups of type A4, Mat. Sbornik 52 (1960), no. 3, 895-914.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-60
SLIDE 60

First remarks - |ItypeL(G)|, |ItypeLab(G)|

Remark

Using a result due to V.S. Charin it follows that if a group G is such that ItypeL(G) or ItypeLab(G) is finite, then every abelian subgroup of G is minimax.

Definition A group G is said to be minimax if it has a finite series whose factors satisfy Min or Max. V.S. Charin, On soluble groups of type A4, Mat. Sbornik 52 (1960), no. 3, 895-914.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-61
SLIDE 61

First remarks - |ItypeLnon−ab(G)|

Problem

What about ItypeLnon−ab(G)?

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-62
SLIDE 62

First remarks - |ItypeLnon−ab(G)|

Problem

What about |ItypeLnon−ab(G)|? Groups G with |ItypeLnon−ab(G)| = 1 have been studied by H. Smith and J. Wiegold in 1997.

  • H. Smith, J. Wiegold, Groups which are isomorphic to their non-abelian

subgroups, Rend. Math. Univ. Padova 97 (1997), 7-16.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-63
SLIDE 63

First remarks - |ItypeLnon−ab(G)|

Problem

What about |ItypeLnon−ab(G)|? Groups G with |ItypeLnon−ab(G)| = 1 have been studied by H. Smith and J. Wiegold in 1997.

  • H. Smith, J. Wiegold, Groups which are isomorphic to their non-abelian

subgroups, Rend. Math. Univ. Padova 97 (1997), 7-16.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-64
SLIDE 64

First remarks - |ItypeLnon−ab(G)|

Groups G with |ItypeLnon−ab(G)| = 1 have been studied by H. Smith and J. Wiegold in 1997.

Among other results they proved: Theorem

Let G be a soluble group. If G is isomorphic to every non abelian subgroup, then G contains an abelian normal subgroup of prime index.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-65
SLIDE 65

New results - ItypeLnon−ab(G) finite

Jointly with L.A. Kurdachenko, M. Maj and I.Ya Subbotin we studied groups G such that

ItypeLnon−ab(G) is finite.

Remark

Because of Tarski monsters, we have to assume something about G.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-66
SLIDE 66

New results - ItypeLnon−ab(G) finite

Jointly with L.A. Kurdachenko, M. Maj and I.Ya Subbotin we studied groups G such that

ItypeLnon−ab(G) is finite.

Remark

Because of Tarski monsters, we have to assume something about G.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-67
SLIDE 67

New results - ItypeLnon−ab(G) finite

Jointly with L.A. Kurdachenko, M. Maj and I.Ya Subbotin we studied groups G such that

ItypeLnon−ab(G) is finite.

Remark

Because of Tarski monsters, we have to assume something about G.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-68
SLIDE 68

Examples - ItypeLnon−ab(G) finite

Example

Let D∞ be the infinite dihedral group: D∞ = < a, b | b2 = 1, ab = a−1 >. Then |ItypeLnon−ab(D∞)| = 1.

More generally: Remark

If G is a finitely generated abelian-by-finite group, then ItypeLnon−ab(G) is finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-69
SLIDE 69

Examples - ItypeLnon−ab(G) finite

Example

Let D∞ be the infinite dihedral group: D∞ = < a, b | b2 = 1, ab = a−1 >. Then |ItypeLnon−ab(D∞)| = 1.

More generally: Remark

If G is a finitely generated abelian-by-finite group, then ItypeLnon−ab(G) is finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-70
SLIDE 70

Examples - ItypeLnon−ab(G) finite

Example

Let D∞ be the infinite dihedral group: D∞ = < a, b | b2 = 1, ab = a−1 >. Then |ItypeLnon−ab(D∞)| = 1.

More generally: Remark

If G is a finitely generated abelian-by-finite group, then ItypeLnon−ab(G) is finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-71
SLIDE 71

Examples - ItypeLnon−ab(G) finite

Example

Let D∞ be the infinite dihedral group: D∞ = < a, b | b2 = 1, ab = a−1 >. Then |ItypeLnon−ab(D∞)| = 1.

More generally: Remark

If G is a finitely generated abelian-by-finite group, then ItypeLnon−ab(G) is finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-72
SLIDE 72

Examples - ItypeLnon−ab(G) infinite

Example

Let A = Drp∈PAp, where Ap = {1} is an abelian p-group, and let G = A ⋊ < b >, where b2 = 1, ab = a−1, for any a ∈ A. Then ItypeLnon−ab(G) is infinite.

For, Ap < b > is non-abelian for any p ∈ P and Ap < b > ≃ Aq < b > for any p = q.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-73
SLIDE 73

Examples - ItypeLnon−ab(G) infinite

Example

Let A = Drp∈PAp, where Ap = {1} is an abelian p-group, and let G = A ⋊ < b >, where b2 = 1, ab = a−1, for any a ∈ A. Then ItypeLnon−ab(G) is infinite.

For, Ap < b > is non-abelian for any p ∈ P and Ap < b > ≃ Aq < b > for any p = q.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-74
SLIDE 74

Examples - ItypeLnon−ab(G) infinite

Example

Let A = Drp∈PAp, where Ap = {1} is an abelian p-group, and let G = A ⋊ < b >, where b2 = 1, ab = a−1, for any a ∈ A. Then ItypeLnon−ab(G) is infinite.

For, Ap < b > is non-abelian for any p ∈ P and Ap < b > ≃ Aq < b > for any p = q.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-75
SLIDE 75

Examples - ItypeLnon−ab(G) infinite

Example

Let A = Drp∈PAp, where Ap = {1} is an abelian p-group, and let G = A ⋊ < b >, where b2 = 1, ab = a−1, for any a ∈ A. Then ItypeLnon−ab(G) is infinite.

For, Ap < b > is non-abelian for any p ∈ P and Ap < b > ≃ Aq < b > for any p = q.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-76
SLIDE 76

Examples - ItypeLnon−ab(G) infinite

Example

Let A = Drp∈PAp, where Ap = {1} is an abelian p-group, and let G = A ⋊ < b >, where b2 = 1, ab = a−1, for any a ∈ A. Then ItypeLnon−ab(G) is infinite.

For, Ap < b > is non-abelian for any p ∈ P and Ap < b > ≃ Aq < b > for any p = q.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-77
SLIDE 77

New results - ItypeLnon−ab(G) finite

Lemma 1

Let G be a group with ItypeLnon−ab(G) finite. If K is an infinite locally finite subgroup of G, then K is abelian.

  • Proof. Suppose that K is non-abelian. Being locally finite, K includes a

finite non-abelian subgroup F. Then G has an ascending chain F = F0 ≤ F1 ≤ · · · ≤ Fn ≤ Fn+1 ≤ . . .

  • f finite subgroups such that |Fn| < |Fn+1| for each n ∈ N. But in this

case, the subgroups Fn and Fm cannot be isomorphic for n, m ∈ N, n = m, and we obtain a contradiction. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-78
SLIDE 78

New results - ItypeLnon−ab(G) finite

Lemma 1

Let G be a group with ItypeLnon−ab(G) finite. If K is an infinite locally finite subgroup of G, then K is abelian.

  • Proof. Suppose that K is non-abelian. Being locally finite, K includes a

finite non-abelian subgroup F. Then G has an ascending chain F = F0 ≤ F1 ≤ · · · ≤ Fn ≤ Fn+1 ≤ . . .

  • f finite subgroups such that |Fn| < |Fn+1| for each n ∈ N. But in this

case, the subgroups Fn and Fm cannot be isomorphic for n, m ∈ N, n = m, and we obtain a contradiction. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-79
SLIDE 79

New results - ItypeLnon−ab(G) finite

Lemma 1

Let G be a group with ItypeLnon−ab(G) finite. If K is an infinite locally finite subgroup of G, then K is abelian.

  • Proof. Suppose that K is non-abelian. Being locally finite, K includes a

finite non-abelian subgroup F. Then G has an ascending chain F = F0 ≤ F1 ≤ · · · ≤ Fn ≤ Fn+1 ≤ . . .

  • f finite subgroups such that |Fn| < |Fn+1| for each n ∈ N. But in this

case, the subgroups Fn and Fm cannot be isomorphic for n, m ∈ N, n = m, and we obtain a contradiction. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-80
SLIDE 80

New results - ItypeLnon−ab(G) finite

Lemma 1

Let G be a group with ItypeLnon−ab(G) finite. If K is an infinite locally finite subgroup of G, then K is abelian.

  • Proof. Suppose that K is non-abelian. Being locally finite, K includes a

finite non-abelian subgroup F. Then G has an ascending chain F = F0 ≤ F1 ≤ · · · ≤ Fn ≤ Fn+1 ≤ . . .

  • f finite subgroups such that |Fn| < |Fn+1| for each n ∈ N. But in this

case, the subgroups Fn and Fm cannot be isomorphic for n, m ∈ N, n = m, and we obtain a contradiction. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-81
SLIDE 81

New results - ItypeLnon−ab(G) finite

Lemma 2

Let G be a group with ItypeLnon−ab(G) finite. If G is locally nilpotent, then G is nilpotent.

  • Proof. W.l.o.g. we can assume that G is non-abelian.

Then G includes a non-abelian finitely generated subgroup K. Suppose that G is not nilpotent. Then G has an ascending chain K = K0 ≤ K1 ≤ · · · ≤ Kn ≤ Kn+1 ≤ · · ·

  • f finitely generated subgroups such that ncl(Kn) < ncl(Kn+1) for each

n ∈ N. But in this case the subgroups Kn and Km cannot be isomorphic for n, m ∈ N, n = m. This contradiction shows that G must be nilpotent. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-82
SLIDE 82

New results - ItypeLnon−ab(G) finite

Lemma 2

Let G be a group with ItypeLnon−ab(G) finite. If G is locally nilpotent, then G is nilpotent.

  • Proof. W.l.o.g. we can assume that G is non-abelian.

Then G includes a non-abelian finitely generated subgroup K. Suppose that G is not nilpotent. Then G has an ascending chain K = K0 ≤ K1 ≤ · · · ≤ Kn ≤ Kn+1 ≤ · · ·

  • f finitely generated subgroups such that ncl(Kn) < ncl(Kn+1) for each

n ∈ N. But in this case the subgroups Kn and Km cannot be isomorphic for n, m ∈ N, n = m. This contradiction shows that G must be nilpotent. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-83
SLIDE 83

New results - ItypeLnon−ab(G) finite

Lemma 2

Let G be a group with ItypeLnon−ab(G) finite. If G is locally nilpotent, then G is nilpotent.

  • Proof. W.l.o.g. we can assume that G is non-abelian.

Then G includes a non-abelian finitely generated subgroup K. Suppose that G is not nilpotent. Then G has an ascending chain K = K0 ≤ K1 ≤ · · · ≤ Kn ≤ Kn+1 ≤ · · ·

  • f finitely generated subgroups such that ncl(Kn) < ncl(Kn+1) for each

n ∈ N. But in this case the subgroups Kn and Km cannot be isomorphic for n, m ∈ N, n = m. This contradiction shows that G must be nilpotent. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-84
SLIDE 84

New results - ItypeLnon−ab(G) finite

Lemma 2

Let G be a group with ItypeLnon−ab(G) finite. If G is locally nilpotent, then G is nilpotent.

  • Proof. W.l.o.g. we can assume that G is non-abelian.

Then G includes a non-abelian finitely generated subgroup K. Suppose that G is not nilpotent. Then G has an ascending chain K = K0 ≤ K1 ≤ · · · ≤ Kn ≤ Kn+1 ≤ · · ·

  • f finitely generated subgroups such that ncl(Kn) < ncl(Kn+1) for each

n ∈ N. But in this case the subgroups Kn and Km cannot be isomorphic for n, m ∈ N, n = m. This contradiction shows that G must be nilpotent. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-85
SLIDE 85

New results - ItypeLnon−ab(G) finite

Proposition 1

Let G be a group in which Lnon−ab(G) is finite. Let A be an infinite abelian periodic subgroup of G. Then NG(A) = CG(A).

Sketch of the proof. Let x be an arbitrary element of NG(A). We have A = Drp∈Π(A)Ap, where Ap is a Sylow p-subgroup of A, p ∈ Π(A). Clearly every subgroup Ap is < x >-invariant. If Ap is infinite, then x ∈ CG(Ap). In particular, Ap ≤ FC(< A, x >). If Ap is finite, then again we have the inclusion Ap ≤ FC(< A, x >). It follows that A ≤ FC(< A, x >). In this case x ∈ CG(A). //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-86
SLIDE 86

New results - ItypeLnon−ab(G) finite

Proposition 1

Let G be a group in which Lnon−ab(G) is finite. Let A be an infinite abelian periodic subgroup of G. Then NG(A) = CG(A).

Sketch of the proof. Let x be an arbitrary element of NG(A). We have A = Drp∈Π(A)Ap, where Ap is a Sylow p-subgroup of A, p ∈ Π(A). Clearly every subgroup Ap is < x >-invariant. If Ap is infinite, then x ∈ CG(Ap). In particular, Ap ≤ FC(< A, x >). If Ap is finite, then again we have the inclusion Ap ≤ FC(< A, x >). It follows that A ≤ FC(< A, x >). In this case x ∈ CG(A). //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-87
SLIDE 87

New results - ItypeLnon−ab(G) finite

Proposition 1

Let G be a group in which Lnon−ab(G) is finite. Let A be an infinite abelian periodic subgroup of G. Then NG(A) = CG(A).

Sketch of the proof. Let x be an arbitrary element of NG(A). We have A = Drp∈Π(A)Ap, where Ap is a Sylow p-subgroup of A, p ∈ Π(A). Clearly every subgroup Ap is < x >-invariant. If Ap is infinite, then x ∈ CG(Ap). In particular, Ap ≤ FC(< A, x >). If Ap is finite, then again we have the inclusion Ap ≤ FC(< A, x >). It follows that A ≤ FC(< A, x >). In this case x ∈ CG(A). //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-88
SLIDE 88

New results - ItypeLnon−ab(G) finite

Proposition 2

Let G be a group, in which Lnon−ab(G) is finite. Let A be an abelian torsion-free subgroup of G. If NG(A) = CG(A), then A is minimax.

Sketch of the proof. Since NG(A) = CG(A), we can choose an element x ∈ NG(A) \ CG(A). It is possible to see that A has finite 0-rank. Let {a1, · · · , an} be a maximal Z-independent subset of A. Then the subgroup Aj = < aj ><x> is minimax. It follows that xkj ∈ CG(Aj), 1 ≤ j ≤ n. Put k = k1 · · · kn, then xk ∈ CG(< a1, · · · , an >). Since A is torsion-free and A is the pure envelope of < a1, · · · , an >, we have C<x>(< a1, · · · , an >) = C<x>(A). Then we obtain that A is minimax. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-89
SLIDE 89

New results - ItypeLnon−ab(G) finite

Proposition 2

Let G be a group, in which Lnon−ab(G) is finite. Let A be an abelian torsion-free subgroup of G. If NG(A) = CG(A), then A is minimax.

Sketch of the proof. Since NG(A) = CG(A), we can choose an element x ∈ NG(A) \ CG(A). It is possible to see that A has finite 0-rank. Let {a1, · · · , an} be a maximal Z-independent subset of A. Then the subgroup Aj = < aj ><x> is minimax. It follows that xkj ∈ CG(Aj), 1 ≤ j ≤ n. Put k = k1 · · · kn, then xk ∈ CG(< a1, · · · , an >). Since A is torsion-free and A is the pure envelope of < a1, · · · , an >, we have C<x>(< a1, · · · , an >) = C<x>(A). Then we obtain that A is minimax. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-90
SLIDE 90

New results - ItypeLnon−ab(G) finite

Proposition 2

Let G be a group, in which Lnon−ab(G) is finite. Let A be an abelian torsion-free subgroup of G. If NG(A) = CG(A), then A is minimax.

Sketch of the proof. Since NG(A) = CG(A), we can choose an element x ∈ NG(A) \ CG(A). It is possible to see that A has finite 0-rank. Let {a1, · · · , an} be a maximal Z-independent subset of A. Then the subgroup Aj = < aj ><x> is minimax. It follows that xkj ∈ CG(Aj), 1 ≤ j ≤ n. Put k = k1 · · · kn, then xk ∈ CG(< a1, · · · , an >). Since A is torsion-free and A is the pure envelope of < a1, · · · , an >, we have C<x>(< a1, · · · , an >) = C<x>(A). Then we obtain that A is minimax. //

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-91
SLIDE 91

New results - ItypeLnon−ab(G) finite

Definition

A group G is called radical if there exists an ascending series of G with locally nilpotent factors.

Examples Any locally nilpotent group is a radical group. Any soluble group is a radical group. Definition

A group G is called generalized radical if G has an ascending series whose factors are either locally nilpotent or locally finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-92
SLIDE 92

New results - ItypeLnon−ab(G) finite

Definition

A group G is called radical if there exists an ascending series of G with locally nilpotent factors.

Examples Any locally nilpotent group is a radical group. Any soluble group is a radical group. Definition

A group G is called generalized radical if G has an ascending series whose factors are either locally nilpotent or locally finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-93
SLIDE 93

New results - ItypeLnon−ab(G) finite

Definition

A group G is called radical if there exists an ascending series of G with locally nilpotent factors.

Examples Any locally nilpotent group is a radical group. Any soluble group is a radical group. Definition

A group G is called generalized radical if G has an ascending series whose factors are either locally nilpotent or locally finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-94
SLIDE 94

New results - ItypeLnon−ab(G) finite

Definition

A group G is called radical if there exists an ascending series of G with locally nilpotent factors.

Examples Any locally nilpotent group is a radical group. Any soluble group is a radical group. Definition

A group G is called generalized radical if G has an ascending series whose factors are either locally nilpotent or locally finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-95
SLIDE 95

New results - ItypeLnon−ab(G) finite

Theorem A

Let G be a non-abelian locally generalized radical group. If ItypeLnon−ab(G) is finite, then G is a minimax, abelian-by-finite group, with Tor(G) finite.

Definition Tor(G) is the maximal normal torsion subgroup of G.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-96
SLIDE 96

New results - ItypeLnon−ab(G) finite

Theorem A

Let G be a non-abelian locally generalized radical group. If ItypeLnon−ab(G) is finite, then G is a minimax, abelian-by-finite group, with Tor(G) finite.

Definition Tor(G) is the maximal normal torsion subgroup of G.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-97
SLIDE 97

New results - ItypeLnon−ab(G) finite

Theorem A

Let G be a non-abelian locally generalized radical group. If ItypeLnon−ab(G) is finite, then G is a minimax, abelian-by-finite group, with Tor(G) finite.

Definition Tor(G) is the maximal normal torsion subgroup of G.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-98
SLIDE 98

New results - ItypeLnon−ab(G) finite

Definition

A group G is called generalized coradical if there exists a descending series of G whose factors are either locally nilpotent or locally finite.

Theorem B

Let G be a non-abelian generalized coradical group. If ItypeLnon−ab(G) is finite, then G is a minimax, abelian-by-finite group with Tor(G) finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-99
SLIDE 99

New results - ItypeLnon−ab(G) finite

Definition

A group G is called generalized coradical if there exists a descending series of G whose factors are either locally nilpotent or locally finite.

Theorem B

Let G be a non-abelian generalized coradical group. If ItypeLnon−ab(G) is finite, then G is a minimax, abelian-by-finite group with Tor(G) finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-100
SLIDE 100

New results - ItypeLnon−ab(G) finite

Definition

A group G is called generalized coradical if there exists a descending series of G whose factors are either locally nilpotent or locally finite.

Theorem B

Let G be a non-abelian generalized coradical group. If ItypeLnon−ab(G) is finite, then G is a minimax, abelian-by-finite group with Tor(G) finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-101
SLIDE 101

Remarks - ItypeLnon−ab(G) finite

Remark

If G is a finitely generated abelian-by-finite group, then ItypeLnon−ab(G) is finite.

Remark

The converse of Theorem A or the converse of Theorem B does not hold.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-102
SLIDE 102

Remarks - ItypeLnon−ab(G) finite

Remark

If G is a finitely generated abelian-by-finite group, then ItypeLnon−ab(G) is finite.

Remark

The converse of Theorem A or the converse of Theorem B does not hold.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-103
SLIDE 103

Remarks - ItypeLnon−ab(G) finite

Remark

If G is a finitely generated abelian-by-finite group, then ItypeLnon−ab(G) is finite.

Remark

The converse of Theorem A or the converse of Theorem B does not hold.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-104
SLIDE 104

Problems

Let G be a group and let M be a family of subgroups of G. Definitions Consider the equivalence relation in M given by H ≃ K, with H, K ∈ M. Call the isomorphic type ItypeM of M any set of representatives of all equivalence classes in M.

We study groups G in which ItypeM is finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-105
SLIDE 105

Problems

Let G be a group and let M be a family of subgroups of G. Definitions Consider the equivalence relation in M given by H ≃ K, with H, K ∈ M. Call the isomorphic type ItypeM of M any set of representatives of all equivalence classes in M.

We study groups G in which ItypeM is finite.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-106
SLIDE 106

Problems - ItypeM finite - M = commutator subgroups of G

Let G be a group, and let M is the family of the commutator subgroups of all subgroups of G : M = {H′ |H ∈ L(G)}. The problem to study the structure of the group G in which ItypeM is finite has been studied by F. de Giovanni and D.J.S. Robinson in 2005, as well as by M. Herzog, P. L., M. Maj and D.J.S. Robinson, H. Smith in a series of papers (2006, 2013, 2014).

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-107
SLIDE 107

Problems - ItypeM finite - M = commutator subgroups of G

Let G be a group, and let M is the family of the commutator subgroups of all subgroups of G : M = {H′ |H ∈ L(G)}. The problem to study the structure of the group G in which ItypeM is finite has been studied by F. de Giovanni and D.J.S. Robinson in 2005, as well as by M. Herzog, P. L., M. Maj and D.J.S. Robinson, H. Smith in a series of papers (2006, 2013, 2014).

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-108
SLIDE 108

Problems - ItypeM finite - M = commutator subgroups of G

  • F. de Giovanni, D.J.S. Robinson, Groups with finitely many derived

subgroups, J. London Math. Soc. 71 (2005), no. 2, 658-668.

  • M. Herzog, P. L., M. Maj, On the number of commutators in groups, Ischia

Group Theory 2004, Contemp. Math. Amer. Math. Soc., Providence, RI 402 (2006), 181-192.

  • P. L., M. Maj, D.J.S. Robinson, H. Smith, On groups with two isomorphism

classes of derived subgroups, Glasgow Math. J. 55 (2013), no. 3, 655-668.

  • P. L., M. Maj, D.J.S. Robinson, Recent results on groups with few

isomorphism classes of derived subgroups, Proc. of "Group Theory, Combinatorics, and Computing", Boca Raton-Florida, Contemp. Math. 611 (2014), 121-135.

  • P. L., M. Maj, D.J.S. Robinson, Locally finite groups with finitely many

isomorphism classes of derived subgroups, J. Algebra, 393 (2013), 102-119.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-109
SLIDE 109

Problem: ItypeM finite - M = non-normal subgroups of G

Now together with L.A. Kurdachenko and M. Maj, we are considering the family M of all non-normal subgroups of a group G, assuming that ItypeM is finite, in order to obtain information about the structure of G.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-110
SLIDE 110

LM and Lnon−M, M = non-normal subgroups of G

S.N. Černikov, Infinite groups with prescribed properties of their systems of

infinite subgroups, Dokl. Akad. Nauk SSSR, 159 (1964) 759-760 (Russian), Soviet Math. Dokl., 5 (1964), 1610-1611.

S.N. Černikov, Infinite nonabelian groups with minimal condition for

non-normal subgroups, Mat. Zametki, 6 (1969) 11-18 (Russian), Math. Notes, 6 (1969), 465-468.

S.N. Černikov, Infinite nonabelian groups with the minimal condition for

noninvariant abelian subgroups, Dokl. Akad. Nauk SSSR, 184 (1969) 786-789 (Russian), Soviet Math. Dokl., 10 (1969), 172-175.

  • G. Cutolo, On groups satisfying the maximal condition on nonnormal

subgroups, Riv. Mat. Pura Appl., 9 (1991), 49-59.

R.E. Phillips, J.S. Wilson, On certain minimal conditions for infinite groups,

  • J. Algebra 51 (1951), 41-68.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-111
SLIDE 111

LM and Lnon−M, M = non-normal subgroups of G

S.N. Černikov, Infinite groups with prescribed properties of their systems of

infinite subgroups, Dokl. Akad. Nauk SSSR, 159 (1964) 759-760 (Russian), Soviet Math. Dokl., 5 (1964), 1610-1611.

S.N. Černikov, Infinite nonabelian groups with minimal condition for

non-normal subgroups, Mat. Zametki, 6 (1969) 11-18 (Russian), Math. Notes, 6 (1969), 465-468.

S.N. Černikov, Infinite nonabelian groups with the minimal condition for

noninvariant abelian subgroups, Dokl. Akad. Nauk SSSR, 184 (1969) 786-789 (Russian), Soviet Math. Dokl., 10 (1969), 172-175.

  • G. Cutolo, On groups satisfying the maximal condition on nonnormal

subgroups, Riv. Mat. Pura Appl., 9 (1991), 49-59.

R.E. Phillips, J.S. Wilson, On certain minimal conditions for infinite groups,

  • J. Algebra 51 (1951), 41-68.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-112
SLIDE 112

Thank you for the attention !

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-113
SLIDE 113
  • P. Longobardi

Dipartimento di Matematica Università di Salerno via Giovanni Paolo II, 132, 84084 Fisciano (Salerno), Italy E-mail address : plongobardi@unisa.it

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-114
SLIDE 114

Bibliography

S.N. Černikov, Infinite groups with prescribed properties of their

systems of infinite subgroups, Dokl. Akad. Nauk SSSR, 159 (1964) 759-760 (Russian), Soviet Math. Dokl., 5 (1964), 1610-1611.

S.N. Černikov, Groups with given properties of systems of infinite

subgroups, Ukrain. Mat. Ž, 19 (1967) 111-131 (Russian), Ukrainian

  • Math. J., 19 (1967), 715-731.

S.N. Černikov, Infinite nonabelian groups with minimal condition

for non-normal subgroups, Mat. Zametki, 6 (1969) 11-18 (Russian),

  • Math. Notes, 6 (1969), 465-468.

S.N. Černikov, Infinite nonabelian groups with the minimal

condition for noninvariant abelian subgroups, Dokl. Akad. Nauk SSSR, 184 (1969) 786-789 (Russian), Soviet Math. Dokl., 10 (1969), 172-175.

V.S. Charin, On soluble groups of type A4, Mat. Sbornik 52

(1960), no. 3, 895-914.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-115
SLIDE 115

Bibliography

  • G. Cutolo, On groups satisfying the maximal condition on

nonnormal subgroups, Riv. Mat. Pura Appl., 9 (1991), 49-59.

M.R. Dixon, L.A. Kurdachenko, Groups with the maximum

condition on non-nilpotent subgroups, J. Group Theory 4 (2001), 75-87.

M.R. Dixon, L.A. Kurdachenko, Locally nilpotent groups with

the maximum condition on non-nilpotent subgroups, Glasgow Math.

  • J. 43 (2001), 85-102.

M.R. Dixon, L.A. Kurdachenko, Groups with the maximal

condition on non-BFC subgroups, Algebra Colloq. 10 (2003), 177-193.

M.R. Dixon, L.A. Kurdachenko, Groups with the maximal

condition on non-BFC subgroups II, Proc. Edinburgh Math. Soc. 45

  • no. 2 (2002), 513-522.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-116
SLIDE 116

Bibliography

M.R. Dixon, L.A. Kurdachenko, Groups with the maximal

condition on non FC-subgroups, Illinois J. Math. 47 no. 1/2 (2003), 157-172.

  • F. de Giovanni, D.J.S. Robinson, Groups with finitely many

derived subgroups, J. London Math. Soc. 71 (2005), no. 2, 658-668.

  • M. Herzog, P. L., M. Maj, On the number of commutators in

groups, Ischia Group Theory 2004, Contemp. Math. Amer. Math. Soc., Providence, RI 402 (2006), 181-192.

L.A. Kurdachenko, P. Longobardi, M.Maj, Groups with finitely

many types of non-isomorphic non-abelian subgroups, in preparation.

L.A. Kurdachenko, H. Smith, Groups with the maximal

condition on non-subnormal subgroups, Boll. Unione Mat. Ital., Ser. B 10 (1996), 441-460.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-117
SLIDE 117

Bibliography

L.A. Kurdachenko, D.I. Zaicev, Groups with the maximum

condition for non-abelian subgroups, Ukrain. Mat. Zh. 43 (1991), 925-930 (Russian), English transl., Ukrainian Math. J. 43 (1991), 863-868.

  • P. L., M. Maj, D.J.S. Robinson, H. Smith, On groups with

two isomorphism classes of derived subgroups, Glasgow Math. J. 55 (2013), no. 3, 655-668.

  • P. L., M. Maj, D.J.S. Robinson, Recent results on groups with

few isomorphism classes of derived subgroups, Proc. of "Group Theory, Combinatorics, and Computing", Boca Raton-Florida,

  • Contemp. Math. 611 (2014), 121-135.
  • P. L., M. Maj, D.J.S. Robinson, Locally finite groups with

finitely many isomorphism classes of derived subgroups, J. Algebra, 393 (2013), 102-119.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-118
SLIDE 118

Bibliography

A.I. Mal’cev, On certain classes of infinite soluble groups, Mat. Sb.

28 (1951), 567-588 (Russian), Amer. Math. Soc. Transl. (2) 2 (1956), 1-21.

  • A. Yu Ol’shanskii, Geometry of defining relations in groups,

Mathematics and its Applications, vol.70 Kluwer Academic Publishers, Dordrecht, 1989.

R.E. Phillips, J.S. Wilson, On certain minimal conditions for

infinite groups, J. Algebra 51 (1951), 41-68.

O.J. Schmidt, Infinite soluble groups, Mat. Sb., 17(59) (1945),

145-162 (Russian).

  • H. Smith, J. Wiegold, Groups which are isomorphic to their

non-abelian subgroups, Rend. Math. Univ. Padova 97 (1997), 7-16.

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...

slide-119
SLIDE 119

Wine tasting

Patrizia Longobardi - University of Salerno Infinite groups with a finiteness conditions on non-abelian ...