TheoremBase

Natural Number Power of an Element of a Field

Statement

Let KK be a field, let c∈Kc\in K, let nn be a natural number, and let [n][n] be the initial segment determined by nn.

The nnth power of cc is

cn=∏k=1nak,c^{n}=\prod_{k=1}^{n}a_{k},

the finite product of the map a:[n]→Ka:[n]\to K whose value at every k∈[n]k\in[n] is cc.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…