Isomorph-free subgroup: Difference between revisions

Revision as of 17:42, 18 April 2016

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Isomorph-free subgroup, all facts related to Isomorph-free subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

Definition

QUICK PHRASES: no other isomorphic subgroups, no isomorphic copies, only subgroup of its isomorphism type

Symbol-free definition

A subgroup of a group is said to be isomorph-free if it satisfies the following equivalent conditions:

There is no other subgroup of the group isomorphic to it as an abstract group.
It is an isomorph-containing subgroup that is also a co-Hopfian group (in other words, it contains every subgroup of the whole group isomorphic to it, but no proper subgroup of it is isomorphic to it).

Definition with symbols

A subgroup $H$ of a group $G$ is said to be isomorph-free if it satisfies the following equivalent conditions:

Whenever $K \leq G$ such that $H ≅ K$ , then $H = K$ (i.e. $H$ and $K$ are the same subgroup).
$H$ is a co-Hopfian group, and whenever $K \leq G$ such that $H ≅ K$ , then $K \leq H$ .

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties [SHOW MORE]
|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | Subgroup property satisfactions |Subgroup property dissatisfactions
VIEW FACTS THAT:use, or start with, a subgroup satisfying the property|prove, or show that, a subgroup satisfies the property

This is a variation of characteristicity|Find other variations of characteristicity | Read a survey article on varying characteristicity

This article describes a property that arises as the conjunction of a subgroup property: isomorph-containing subgroup with a group property (itself viewed as a subgroup property): co-Hopfian group
View a complete list of such conjunctions

Examples

Extreme examples

The trivial subgroup is isomorph-free.
Any co-Hopfian group (and in particular, any finite group) is isomorph-free as a subgroup of itself.

Examples in small finite groups

Below are some examples of a proper nontrivial subgroup that satisfy the property isomorph-free subgroup.

Below are some examples of a proper nontrivial subgroup that does not satisfy the property isomorph-free subgroup.

	Group part	Subgroup part	Quotient part
Center of dihedral group:D8	Dihedral group:D8	Cyclic group:Z2	Klein four-group

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
normal Sylow subgroup	Sylow subgroup that is also normal	Follows from Sylow implies order-conjugate		\|FULL LIST, MORE INFO
normal Hall subgroup	Hall subgroup (i.e., order and index are relatively prime) that is also normal			\|FULL LIST, MORE INFO
order-unique subgroup	unique subgroup of its order		isomorph-free not implies order-unique (see also list of examples)	\|FULL LIST, MORE INFO

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
isomorph-containing subgroup	contains every isomorphic subgroup (note that this property is equivalent when the subgroup is finite or more generally a co-Hopfian group)	obvious	any example of a non-co-Hopfian group as a subgroup of itself -- such as the group of integers
characteristic subgroup	invariant under all automorphisms	(via isomorph-containing)	characteristic not implies isomorph-free in finite	Isomorph-normal characteristic subgroup\|FULL LIST, MORE INFO
injective endomorphism-invariant subgroup	invariant under all injective endomorphisms			\|FULL LIST, MORE INFO
intermediately injective endomorphism-invariant subgroup	injective endomorphism-invariant in all intermediate subgroups			\|FULL LIST, MORE INFO
intermediately characteristic subgroup	characteristic in every intermediate subgroup		(via isomorph-containing) (see also list of examples)	\|FULL LIST, MORE INFO
normal subgroup	invariant under all inner automorphisms	(via characteristic)	(via characteristic) (see also list of examples)	Characteristic subgroup, Hall-relatively weakly closed subgroup, Isomorph-normal characteristic subgroup, Isomorph-normal subgroup\|FULL LIST, MORE INFO
isomorph-conjugate subgroup	all isomorphic subgroups are conjugate to it	obvious	(see also list of examples)	\|FULL LIST, MORE INFO
intermediately isomorph-conjugate subgroup	isomorph-conjugate in every intermediate subgroup			\|FULL LIST, MORE INFO
automorph-conjugate subgroup	all automorphic subgroups are conjugate to it	(via isomorph-conjugate)	(via isomorph-conjugate)	Characteristic subgroup\|FULL LIST, MORE INFO
intermediately automorph-conjugate subgroup	automorph-conjugate in every intermediate subgroup			\|FULL LIST, MORE INFO
normal-isomorph-free subgroup	normal and no other isomorphic normal subgroup			\|FULL LIST, MORE INFO
characteristic-isomorph-free subgroup	characteristic and no other isomorphic characteristic subgroup			\|FULL LIST, MORE INFO
series-isomorph-free subgroup	normal and no isomorphic normal subgroup with isomorphic quotient			\|FULL LIST, MORE INFO
isomorph-normal subgroup	every isomorphic subgroup is normal		(see also list of examples)	Isomorph-characteristic subgroup, Isomorph-normal characteristic subgroup\|FULL LIST, MORE INFO
isomorph-characteristic subgroup	every isomorphic subgroup is characteristic		(see also list of examples)	\|FULL LIST, MORE INFO
isomorph-normal characteristic subgroup	characteristic and every isomorphic subgroup is normal			\|FULL LIST, MORE INFO

Metaproperties

BEWARE! This section of the article uses terminology local to the wiki, possibly without giving a full explanation of the terminology used (though efforts have been made to clarify terminology as much as possible within the particular context)

Here is a summary:

Metaproperty name	Satisfied?	Proof	Statement with symbols
transitive subgroup property	No	isomorph-freeness is not transitive	It is possible to have groups $H \leq K \leq G$ such that $H$ is isomorph-free in $K$ and $K$ is isomorph-free in $G$ but $H$ is not isomorph-free in $G$ .
transitive subgroup property	Yes	isomorph-freeness is quotient-transitive	Suppose $H \leq K \leq G$ are groups such that $H$ is isomorph-free in $G$ and the quotient group $K / H$ is isomorph-free in $G / H$ . Then, $K$ is isomorph-free in $G$ .
finite-intersection-closed subgroup property	No	isomorph-freeness is not finite-intersection-closed	It is possible to have a group $G$ and subgroups $H, K$ of $G$ such that $H$ and $K$ are both isomorph-free but the intersection $H \cap K$ is not isomorph-free.
strongly join-closed subgroup property	Yes	isomorph-freeness is strongly join-closed	Suppose $H_{i}, i \in I$ are subgroups of a group $G$ such that each $H_{i}$ is an isomorph-free subgroup of $G$ . Then, the join of subgroups ${⟨ H_{i} ⟩}_{i \in I}$ is also an isomorph-free subgroup of $G$ .
finite-upper join-closed subgroup property	No	isomorph-freeness is not finite-upper join-closed	It is possible to have groups $H \leq G$ and $K, L$ are intermediate subgroups such that $H$ is isomorph-free in both $K$ and $L$ , but $H$ is not isomorph-free in $⟨ K, L ⟩$ .
trivially true subgroup property	Yes		The trivial subgroup is isomorph-free in any group.
identity-true subgroup property	No		It is possible for a group to be isomorphic to a subgroup of itself. The simplest example is $Z$ , the group of integers, that is isomorphic to the subgroup $n Z$ for any positive integer $n$ . A group that is isomorph-free as a subgroup of itself is termed a co-Hopdian group.

Effect of property operators

The subordination operator

Applying the subordination operator to this property gives: sub-isomorph-free subgroup

A subgroup $H$ of a group $G$ is termed sub-isomorph-free if there is a series of subgroups $H = H_{0} \leq H_{1} \leq \dots \leq H_{n} = G$ , with each $H_{i - 1}$ an isomorph-free subgroup of $H_{i}$ .

Testing

GAP code

One can write code to test this subgroup property in GAP (Groups, Algorithms and Programming), though there is no direct command for it.
View the GAP code for testing this subgroup property at: IsIsomorphFreeSubgroup
View other GAP-codable subgroup properties | View subgroup properties with in-built commands

GAP-codable subgroup property

While there is no in-built command for testing whether a subgroup is isomorph-free, a short piece of GAP code can do the test. The code can be found at GAP:IsIsomorphFreeSubgroup, and the command is invoked as follows:

IsIsomorphFreeSubgroup(group,subgroup);

@@ Line 96: / Line 96: @@
 | [[satisfies metaproperty::transitive subgroup property]] || Yes || [[isomorph-freeness is quotient-transitive]] || || Suppose <math>H \le K \le G</math> are groups such that <math>H</math> is isomorph-free in <math>G</math> and the [[quotient group]] <math>K/H</math> is isomorph-free in <math>G/H</math>. Then, <math>K</math> is isomorph-free in <math>G</math>.
 |-
-| [[dissatisfies metaproperty::finite-intersection-closed subgroup property]] || No || [[isomorph-freeness is not finite-intersection-closed]] || It is possible to have a group <math>G</math> and subgroups <math>H, K</math> of <math>G</math> such that <math>H</math> and <math>K</math> are both isomorph-free but the [[intersection of subgroups|intersection]] <math>H \cap K</math> is not isomorph-free.
+| [[dissatisfies metaproperty::finite-intersection-closed subgroup property]] || No || [[isomorph-freeness is not finite-intersection-closed]] || || It is possible to have a group <math>G</math> and subgroups <math>H, K</math> of <math>G</math> such that <math>H</math> and <math>K</math> are both isomorph-free but the [[intersection of subgroups|intersection]] <math>H \cap K</math> is not isomorph-free.
 |-
 | [[satisfies metaproperty::strongly join-closed subgroup property]] || Yes || [[isomorph-freeness is strongly join-closed]] || || Suppose <math>H_i, i \in I</math> are subgroups of a group <math>G</math> such that each <math>H_i</math> is an isomorph-free subgroup of <math>G</math>. Then, the [[join of subgroups]] <math>\left \langle H_i \right \rangle_{i \in I}</math> is also an isomorph-free subgroup of <math>G</math>.