Minimal group: Difference between revisions

From Groupprops
No edit summary
 
m (2 revisions)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
{{logicist group property}}
{{logicist group property}}
{{semibasic nongt def}}


==Definition==
==Definition==

Latest revision as of 23:51, 7 May 2008

This article defines a property of a group (possibly with additional operations and structure) as viewed in logic/model theory

This article is about a standard (though not very rudimentary) definition in an area related to, but not strictly part of, group theory

Definition

Symbol-free definition

A group (possibly with additional structures and relations) is said to be minimal if all its proper definable subgroups are finite.

Relation with other properties

Weaker properties