電気推進では基本的に化学的に不活性な物質を推進剤として用いる。燃料（エネルギー源）ではないため自由度が比較的あり、システムの簡略化という目的で、化学推進と同じ物質を使用する場合もある。
固体燃料ロケット（固体ロケット）は、固体の燃料と酸化剤を混錬してロケット本体に充填した固体燃料を使用するロケットである。単純な固体燃料ロケットは主にケース、ノズル、推進剤、点火器で構成される。液体燃料ロケットとは異なり使用時にはポンプなどの機械部品で燃料を燃焼室に移送することなくロケット内部の燃料へそのまま点火する。初期の固体ロケットモーターには黒色火薬が用いられた。その後、ニトロセルロースとニトログリセリンを主体とした、黒色火薬より性能のいいダブルベース火薬が登場し、日本軍のロケット兵器ではこれが用いられていた。第二次世界大戦の後には、コンポジット推進剤と呼ばれる固体燃料が開発された。これはブチルゴム、ポリウレタン、ポリブタジエン等の合成ゴム系の材料をアルミニウム (Al) などの金属粉、及び酸化剤と混錬したもので、酸化剤としては過マンガン酸カリウムや過塩素酸アンモニウム(ammonium perchlorate, AP) 等が用いられる。ゴムの基剤はそれ自体が燃料となるほか、酸化剤や金属粉の結合剤、および燃料の機械的性質を決定する。過塩素酸アンモニウム等の塩素化合物を酸化剤として使用する場合、燃焼生成物には有毒で発癌性がありオゾン層を破壊し、酸性雨や地球温暖化の原因になる塩素化合物が含まれる。そのため、塩素等のハロゲンを含まない酸化剤の開発も進められている。
化学ロケットの場合は、燃料を燃焼させてエネルギーを得た後の排ガスを推進剤とするのが最も一般的であるため、多くの場合は単に燃料を推進剤と同一視する。燃料を、酸化剤と「酸化される」燃料とに分ける場合には、推進剤という語をその総称という意味で使うこともある。可能な性能や開発組織の技術力、安全性、コストなど、用途と目的によって燃料と酸化剤の組み合わせを変更する（変更できるエンジンもあるが、普通のエンジンでは変更できない。エンジンの設計を始める計画段階で通常は計算によって選択するものである）。燃料と酸化剤が両方とも液体のロケットは液体（燃料）ロケット、両方とも固体のロケットは固体（燃料）ロケットと呼ばれる。その他の、異なった相の物質の組合せで燃料とするエンジン（のロケット）はハイブリッドロケットと呼ばれる。液体酸素と液体水素による液体燃料ロケットは、日本のH-IIロケット、欧州のアリアン5やアメリカのスペースシャトルのメインエンジン等で使用されている。固体燃料はM-Vロケット、ペガサスロケットなどのロケットやブースター (ロケット)、RATO、ICBM、ミサイル、RPG等に使われる。
庄内川に由来する。庄内は荘園（庄園）を流れる川を表す。また、アイヌ語の「ショナビ」（川の土砂により堆くなった土地の意であるという）が転訛して「ショナイ」となったとする説が『西区70年のあゆみ』に紹介されている。
前作のシングルコレクション・アルバム『シングルコレクション+ ハチポチ』発売以後に発表されたシングル曲と、参加したサウンドトラックの曲から構成される。シングルコレクションではあるが、シングル曲として発表した「マメシバ」は収録されていない。初回盤は3万枚限定生産で、「走る」「マメシバ」のPVと特典映像が収録されたDVDが付属する。CDパッケージも特殊ケース仕様となっている。オリコンチャートでは初登場3位を記録し、自身最高位を記録した。累計出荷枚数は7万枚。
体 K が与えられたとき、その乗法構造を忘れて加法に関するアーベル群とみたときの代数系 (K, +) を体 K の加法群と呼ぶ。加法群を K⁺ や Gₐ(K) と記す場合もある。また乗法構造のみに注目して、0 を除く K の元の全体 K* に乗法を与えて得られる代数系 (K*, ×) は群であり、乗法群と呼ばれる。K の乗法群をしばしば K× や Gₘ(K) またはときに GL₁(K) と記されることもある。体 K の乗法群の任意の有限部分群は巡回群である。体の元の濃度を位数といい、有限な位数を持つ体を有限体と呼び、そうでない体を無限体と呼ぶ。有限斜体は常に可換体である（ウェダーバーンの小定理）。n⋅1 で単位元 1 を n 回足したものを表すとき、n⋅1 = 0 となるような正の整数 n のうち最も小さなものをその体の標数という。ただし、そのような n が存在しないとき標数は 0 であると決める。体の標数は 0 または素数である。体は 0 以外の元が全て可逆となる単位的環である。したがって、そのイデアルや部分環の概念を考えることができるが、体は自明でない両側イデアルを持たない（これを体は単純環であるという）。体の単位的環としての部分環がふたたび体をなすとき、部分体という。体 K, L とその間の写像 f: K → L が与えられたとき、f が体の準同型であるとは、単位的環準同型であることをいう。その像 Im(f) = {f(x) | x ∈ K} は L の部分体となり、核 Ker(f) = {x ∈ K | f(x) = 0L} は K の両側イデアルとなるが、体が単純環であることと単位元が零元にうつることはないことから、体の準同型は必ず単射になる。したがって、体の準同型 f: K → L の像 Im(f) は K に体として同型である。これを中への同型とよび、さらに f が全射であるとき上への同型であるという。