# Dedekind implies ACIC

## Contents

DIRECT: The fact or result stated in this article has a trivial/direct/straightforward proof provided we use the correct definitions of the terms involved
View other results with direct proofs
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property must also satisfy the second group property
View all group property implications | View all group property non-implications
|
Property "Page" (as page type) with input value "{{{stronger}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.
Property "Page" (as page type) with input value "{{{weaker}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

## Statement

### Property-theoretic statement

The group property of being a Dedekind group is stronger than the group property of being an ACIC-group.

## Definitions used

### Dedekind group

Further information: Dedekind group

A group is said to be Dedekind if every subgroup is normal.

### ACIC-group

Further information: ACIC-group

A group is said to be ACIC if every automorph-conjugate subgroup is normal, or equivalently, every automorph-conjugate subgroup is characteristic.

## Proof

### Proof using subgroup property collapse

In a Dedekind group, every subgroup is normal. In particular, every automorph-conjugate subgroup is normal, and hence, the group is an ACIC-group.