体は、四則演算が矛盾なく定義されそれらの馴染み深い性質が満足されるような代数的構造である。例えば実数全体は体を成す。複素数の全体、有理数の全体などもそうである。これら馴染み深い例が全て無限集合であるのと異なり、有限個の元しか持たない体も存在する。そのもっとも簡単な例が二元体 で、加法は および乗法は で与えられる。
抽象代数学における冪.
冪指数が整数であるような冪演算は抽象代数学における極めて一般の構造に対して定義することができる。
集合 は乗法的に書かれた二項演算を持つもの:
とするとき、任意の と任意の自然数 に対して冪 は、 の 個のコピーの積を表すものとして
のように帰納的に定義される。これは以下のような性質
を満足する。さらに、考えている演算が両側単位元 を持つ:
ならば は任意の に対して に等しいものと定義する。
さらにまた演算が両側逆元を持ち、なおかつ結合的
ならばマグマ は群を成す。このとき の逆元を と書けば、冪演算に関する通常の規則
はすべて満足される。また（例えばアーベル群のように）乗法演算が可換ならば
も満足される。（アーベル群が通常そうであるように）二項演算を加法的に書くならば、「冪演算は累乗（反復乗法）である」という主張は「乗法は累加（反復加法）である」という主張に引き写され、各指数法則は対応する乗法法則に引き写される。
一つの集合上に複数の冪結合的に項演算が定義されるときには、各演算に関して反復による冪演算を考えることができるから、どれに関する冪かを明示するために上付き添字に反復したい演算を表す記号を併置する方法がよく用いられる。つまり演算 および が定義されるとき、 と書けば を意味し、 と書けば を意味するという具合である。
上付き添字記法は、特に群論において、共軛変換を表すのにも用いられる（即ち、 を適当な群の元として ）。この共軛変換は指数法則と同様の性質を一部満足するけれども、これはいかなる意味においても反復乗法としての冪演算の例ではない。カンドルはこれら共軛変換の性質が中心的な役割を果たす代数的構造である。
集合の冪.
デカルト冪.
無限基数 と集合 に対しても、記号 は濃度 の集合から への写像全体の成す集合を表すのに用いられる。基数の冪との区別のために と書くこともある。
反復直和.