Fdtxjr

Set-theoretical foundations of Mathematics with only bounded quantifiers

Why doesn't Newton's third law mean a person bounces back to where they started when they hit the ground?

least quadratic residue under GRH: an EXPLICIT bound

Why did the Germans forbid the possession of pet pigeons in Rostov-on-Don in 1941?

A Journey Through Space and Time

Why is this code 6.5x slower with optimizations enabled?

Infinite past with a beginning?

N.B. ligature in Latex

Why don't electron-positron collisions release infinite energy?

How does one intimidate enemies without having the capacity for violence?

Concept of linear mappings are confusing me

Can Medicine checks be used, with decent rolls, to completely mitigate the risk of death from ongoing damage?

What defenses are there against being summoned by the Gate spell?

Can an x86 CPU running in real mode be considered to be basically an 8086 CPU?

How can bays and straits be determined in a procedurally generated map?

DOS, create pipe for stdin/stdout of command.com(or 4dos.com) in C or Batch?

Why is an old chain unsafe?

Can I interfere when another PC is about to be attacked?

Prevent a directory in /tmp from being deleted

What do you call a Matrix-like slowdown and camera movement effect?

How did the USSR manage to innovate in an environment characterized by government censorship and high bureaucracy?

Can I make popcorn with any corn?

Shell script can be run only with sh command

Why is "Reports" in sentence down without "The"

Does there exist a verbally simple group, which is not characteristically simple?

Does there exist some sort of classification of finite verbally simple groups?Does there exist an Artinian verbally simple group, which is not characteristically simple?Does there exist a group without automorphisms such that…Infinite group not isomorphic to proper subgroup$G$ is characteristically simple $iff$ there is simple $T$ such that $G cong Ttimes T times cdots times T$Question about an equivalent definition of a simple groupDoes there exist an infinite non-abelian group such that all of its proper subgroups become cyclic?Does there exist some sort of classification of finite “characteristically simple” groups?Is it true, that for any two non-isomorphic finite groups $G$ and $H$ there exists such a group word $w$, that $|V_w(G)| neq |V_w(H)|$?Does there exist some sort of classification of finite verbally simple groups?Large counterexamples to “Non-isomorphic finite groups have verbal subgroups of different order”Does there exist some sort of classification of finite marginally simple groups?

1

2

$begingroup$

Does there exist a verbally simple group, which is not characteristically simple? A characteristically simple group is a group without non-trivial proper characteristic subgroups, a verbally simple group is a group without non-trivial proper verbal subgroups.

If such group exists, it has to be infinite, as every finite group is characteristically simple iff it is verbally simple (the proof of this fact can be found here: Does there exist some sort of classification of finite verbally simple groups?). However that proof, relies strongly on mathematical induction by the group order and is thus valid only for finite groups. And I do not know whether such infinite group exists.

abstract-algebra group-theory infinite-groups verbal-subgroups characteristic-subgroups

share|cite|improve this question

edited Mar 22 at 10:04

Yanior Weg

asked Mar 22 at 9:39

Yanior WegYanior Weg

2,69711446

$endgroup$

add a comment | 

1

2

$begingroup$

Does there exist a verbally simple group, which is not characteristically simple? A characteristically simple group is a group without non-trivial proper characteristic subgroups, a verbally simple group is a group without non-trivial proper verbal subgroups.

If such group exists, it has to be infinite, as every finite group is characteristically simple iff it is verbally simple (the proof of this fact can be found here: Does there exist some sort of classification of finite verbally simple groups?). However that proof, relies strongly on mathematical induction by the group order and is thus valid only for finite groups. And I do not know whether such infinite group exists.

abstract-algebra group-theory infinite-groups verbal-subgroups characteristic-subgroups

share|cite|improve this question

edited Mar 22 at 10:04

Yanior Weg

asked Mar 22 at 9:39

Yanior WegYanior Weg

2,69711446

$endgroup$

add a comment | 

$begingroup$

Does there exist a verbally simple group, which is not characteristically simple? A characteristically simple group is a group without non-trivial proper characteristic subgroups, a verbally simple group is a group without non-trivial proper verbal subgroups.

If such group exists, it has to be infinite, as every finite group is characteristically simple iff it is verbally simple (the proof of this fact can be found here: Does there exist some sort of classification of finite verbally simple groups?). However that proof, relies strongly on mathematical induction by the group order and is thus valid only for finite groups. And I do not know whether such infinite group exists.

abstract-algebra group-theory infinite-groups verbal-subgroups characteristic-subgroups

share|cite|improve this question

edited Mar 22 at 10:04

Yanior Weg

asked Mar 22 at 9:39

Yanior WegYanior Weg

2,69711446

$endgroup$

share|cite|improve this question

edited Mar 22 at 10:04

Yanior Weg

asked Mar 22 at 9:39

Yanior WegYanior Weg

2,69711446

share|cite|improve this question

edited Mar 22 at 10:04

Yanior Weg

asked Mar 22 at 9:39

Yanior WegYanior Weg

2,69711446

asked Mar 22 at 9:39

Yanior WegYanior Weg

2,69711446

asked Mar 22 at 9:39

Yanior WegYanior Weg

2,69711446

1 Answer
1

active

oldest

votes

7

$begingroup$

Let $S$ be a nonabelian finite simple group, and let $G=prod_i=0^inftyS$ be the direct product of infinitely many copies of $S$.

Then $G$ is verbally simple, since every element $(g_i)$ involves only finitely many different $g_i$, and so is in a subgroup $H<G$ isomorphic to $S^n$ for some finite $n$. But $S^n$ is verbally simple, so for any word $w$, either

• 
  $w$ vanishes on $S$, in which case it vanishes on $G$, or


• the values of $w$ on $S^n$ generate $S^ncong H$, in which case the verbal subgroup of $G$ determined by $w$ is the whole of $G$.

But $G$ is not characteristically simple, since the restricted direct product $bigoplus_i=0^inftyS$ is a characteristic subgroup, characterized by the fact that its elements are precisely the elements of $G$ whose centralizers have finite index in $G$.

share|cite|improve this answer

answered Mar 22 at 10:48

Jeremy RickardJeremy Rickard

16.9k11746

$endgroup$

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3157948%2fdoes-there-exist-a-verbally-simple-group-which-is-not-characteristically-simple%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

7

$begingroup$

Let $S$ be a nonabelian finite simple group, and let $G=prod_i=0^inftyS$ be the direct product of infinitely many copies of $S$.

Then $G$ is verbally simple, since every element $(g_i)$ involves only finitely many different $g_i$, and so is in a subgroup $H<G$ isomorphic to $S^n$ for some finite $n$. But $S^n$ is verbally simple, so for any word $w$, either

• 
  $w$ vanishes on $S$, in which case it vanishes on $G$, or


• the values of $w$ on $S^n$ generate $S^ncong H$, in which case the verbal subgroup of $G$ determined by $w$ is the whole of $G$.

But $G$ is not characteristically simple, since the restricted direct product $bigoplus_i=0^inftyS$ is a characteristic subgroup, characterized by the fact that its elements are precisely the elements of $G$ whose centralizers have finite index in $G$.

share|cite|improve this answer

answered Mar 22 at 10:48

Jeremy RickardJeremy Rickard

16.9k11746

$endgroup$

add a comment | 

7

$begingroup$

Let $S$ be a nonabelian finite simple group, and let $G=prod_i=0^inftyS$ be the direct product of infinitely many copies of $S$.

Then $G$ is verbally simple, since every element $(g_i)$ involves only finitely many different $g_i$, and so is in a subgroup $H<G$ isomorphic to $S^n$ for some finite $n$. But $S^n$ is verbally simple, so for any word $w$, either

• 
  $w$ vanishes on $S$, in which case it vanishes on $G$, or


• the values of $w$ on $S^n$ generate $S^ncong H$, in which case the verbal subgroup of $G$ determined by $w$ is the whole of $G$.

But $G$ is not characteristically simple, since the restricted direct product $bigoplus_i=0^inftyS$ is a characteristic subgroup, characterized by the fact that its elements are precisely the elements of $G$ whose centralizers have finite index in $G$.

share|cite|improve this answer

answered Mar 22 at 10:48

Jeremy RickardJeremy Rickard

16.9k11746

$endgroup$

add a comment | 

$begingroup$

Let $S$ be a nonabelian finite simple group, and let $G=prod_i=0^inftyS$ be the direct product of infinitely many copies of $S$.

Then $G$ is verbally simple, since every element $(g_i)$ involves only finitely many different $g_i$, and so is in a subgroup $H<G$ isomorphic to $S^n$ for some finite $n$. But $S^n$ is verbally simple, so for any word $w$, either

• 
  $w$ vanishes on $S$, in which case it vanishes on $G$, or


• the values of $w$ on $S^n$ generate $S^ncong H$, in which case the verbal subgroup of $G$ determined by $w$ is the whole of $G$.

But $G$ is not characteristically simple, since the restricted direct product $bigoplus_i=0^inftyS$ is a characteristic subgroup, characterized by the fact that its elements are precisely the elements of $G$ whose centralizers have finite index in $G$.

share|cite|improve this answer

answered Mar 22 at 10:48

Jeremy RickardJeremy Rickard

16.9k11746

$endgroup$

share|cite|improve this answer

answered Mar 22 at 10:48

Jeremy RickardJeremy Rickard

16.9k11746

answered Mar 22 at 10:48

Jeremy RickardJeremy Rickard

16.9k11746

answered Mar 22 at 10:48

Jeremy RickardJeremy Rickard

16.9k11746