Definition:Order of Structure

From ProofWiki
Jump to navigation Jump to search

This page is about Order of Structure. For other uses, see Order.

Definition

The order of an algebraic structure $\struct {S, \circ}$ is the cardinality of its underlying set, and is denoted $\order S$.


Thus, for a finite set $S$, the order of $\struct {S, \circ}$ is the number of elements in $S$.


Infinite Structure

Let the underlying set $S$ of $\struct {S, \circ}$ be infinite.

Then $\struct {S, \circ}$ is an infinite structure.


Finite Structure

Let the underlying set $S$ of $\struct {S, \circ}$ be finite.

Then $\struct {S, \circ}$ a finite structure.


Also defined as

Some sources do not define the order of a structure for an underlying set of infinite cardinality, restricting themselves to the finite case.


Notation

Some sources use $\map o S$ for the order of $S$, but this has problems of ambiguity with other uses of $\map o n$. (See little-o notation.)


Also see

This definition is mostly used in the context of group theory:

  • Results about the order of a group can be found here.


Sources


This page may be the result of a refactoring operation.
As such, the following source works, along with any process flow, will need to be reviewed.
When this has been completed, the citation of that source work (if it is appropriate that it stay on this page) is to be placed above this message, into the usual chronological ordering.
In particular: Determine whether "infinite structure" and/or "finite structure" are defined within
If you have access to any of these works, then you are invited to review this list, and make any necessary corrections.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{SourceReview}} from the code.


Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Order_of_Structure&oldid=527956"