Ambivalent group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

This term is related to: linear representation theory
View other terms related to linear representation theory | View facts related to linear representation theory

Definition

Symbol-free definition

A group is said to be ambivalent if every element in it is conjugate to its inverse.

For a finite group,this is equivalent to saying that every character of the group over complex numbers, is real-valued.

An element in a group that is conjugate to its inverse is termed a real element. Thus, a group is ambivalent if and only if all its elements are real elements.

Definition with symbols

A group $G$ is said to be ambivalent if, for any $g \in G$ , there exists $h \in G$ such that $h g h^{- 1} = g^{- 1}$ .

For a finite group $G$ , this is equivalent to saying that any representation $ρ : G \to G L_{n} (C)$ with character $χ$ , $χ (g) \in R$ for all $g \in G$ .

Examples

Extreme examples

The trivial group is ambivalent.

Important families of groups

Symmetric groups are ambivalent: All the symmetric groups are ambivalent.
Classification of ambivalent alternating groups: The alternating group of degree $n$ is ambivalent only if Failed to parse (syntax error): {\displaystyle n \in \{ 1,2,5,6,10,14. * [[Special linear group of degree two is ambivalent iff -1 is a square]] ===Groups satisfying the property=== {{groups satisfying property sorted by importance rank}} ===Groups dissatisfying the property=== {{groups dissatisfying property sorted by importance rank}} ==Metaproperties== {| class="sortable" border="1" ! Metaproperty name !! Satisfied? !! Proof !! Statement with symbols |- | [[dissatisfies metaproperty::subgroup-closed group property]] || No || [[ambivalence is not subgroup-closed]] || It is possible to have a ambivalent group <math>G} and a subgroup $H$ of $G$ such that $H$ is not ambivalent.

|- | characteristic subgroup-closed group property || No || ambivalence is not characteristic subgroup-closed || It is possible to have a ambivalent group $G$ and a characteristic subgroup $H$ of $G$ such that $H$ is not ambivalent. |- | quotient-closed group property || Yes || ambivalence is quotient-closed || If $G$ is an ambivalent group and $H$ is a normal subgroup of $G$ , the quotient group $G / H$ is an ambivalent group. |- | conjugacy closed subgroup-closed group property || Yes || conjugacy-closed subgroup of ambivalent group is ambivalent || If $G$ is an ambivalent group and $H$ is a conjugacy-closed subgroup of $G$ , then $H$ is ambivalent. |- | direct product-closed group property || Yes || ambivalence is direct product-closed || If $G_{i}, i \in I$ are all ambivalent groups, so is their external direct product. |- | union-closed group property || Yes || ambivalence is union-closed || If a group $G$ can be expressed as a union of subgroups $H_{i}, i \in I$ , each of which is ambivalent, then the whole group $G$ is ambivalent. |}

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
rational-representation group
rational group	any two elements generating the same cyclic subgroup are conjugate.	rational implies ambivalent	ambivalent not implies rational	\|FULL LIST, MORE INFO
strongly ambivalent group	every non-identity element is either an involution or a product of two involutions	follows from strongly real implies real	ambivalent not implies strongly ambivalent	\|FULL LIST, MORE INFO
Group with two conjugacy classes	there are two conjugacy classes of elements.			\|FULL LIST, MORE INFO

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
group in which every square is a commutator	every square element is a commutator	ambivalent implies every square is a commutator	every square is a commutator not implies ambivalent	\|FULL LIST, MORE INFO
group having a class-inverting automorphism	there is a class-inverting automorphism: an automorphism that sends every element to the conjugacy class of its inverse element.	For an ambivalent group, the identity automorphism is class-inverting.	class-inverting automorphism not implies ambivalent	\|FULL LIST, MORE INFO
group in which every element is automorphic to its inverse	for any element of the group, there is an automorphism taking that element to its inverse.	(via group having a class-inverting automorphism)	(via group having a class-inverting automorphism)	\|FULL LIST, MORE INFO
square-in-derived group	every square element is in the derived subgroup			\|FULL LIST, MORE INFO

Conjunction with other properties

Property	Meaning	Result of conjunction	Proof
abelian group	any two elements commute; or equivalently, any two conjugate elements are equal.	elementary abelian 2-group	ambivalent and abelian iff elementary abelian 2-group
nilpotent group		must be a nilpotent ambivalent 2-group	nilpotent and ambivalent implies 2-group

Facts