熊本地震の復興対策事業が本格化すると、飲食店の景気の良さに目を付けた客引きグループが福岡市や大阪市から熊本市に進出。一部では客引きとぼったくり店と結託して、酔客を陥れる事例も発生するようになったため、2018年現在、熊本市は客引きを取り締まる条例制定を検討している。
熊本県最大の繁華街。周辺は文教地区で高校や大学が密集しているため、夕方になると多くの若者が行き交う様子が見られる。近年、郊外型ショッピングモールの乱立による通行量減少がみられ始めていたが、2006年に入り下通アーケード北端の新天街天井にLEDを設置しライトアップする設備が備えられた。また2番街〜4番街では落ち着いた自然空間を演出するため、アーケード街では珍しい街路樹が植樹され、2009年5月にはアーケードの掛け替えが完了した。屋根はこれまでより4メートル高い約15メートルとなり、UV（紫外線）カット機能を持つ樹脂製パネルで覆われ、熊本の厳しい夏の暑さを凌ぐため気化熱の作用で周辺の空気を冷やす人工霧（ミスト）発生装置も備えられている。
下通（しもとおり）は、熊本県熊本市中心部のアーケードを中心とした繁華街である。町名や商店街の名前では「下通」だが、一般には「下通り」とも書き、店舗名などでも用いられる。メインアーケードは長さ511m、幅15m、高さ15mの規模で、通町筋から南へ新天街・2番街・3番街・4番街で構成されている。休日の歩行者通行量は近年減少傾向にあるが、2010年8月調査では約3万人である。なお、全店舗（175店舗）で楽天Edyが使用できる。
この戦争での敗北によって、アンティゴノスはバビロニア、メソポタミア、メディア以東の領土をセレウコスから早期に奪回することを諦めざるをえなくなり、アンティゴノスのアレクサンドロス帝国再統一の野望は大きく後退を強いられることになった。さらに、アンティゴノスがセレウコスと戦う間にエジプトのプトレマイオスが東地中海に勢力を伸ばしたため、後背を脅かされることを恐れたアンティゴノスはプトレマイオスとの戦いを優先するようになった（サラミス海戦、ロードス包囲戦）。アンティゴノスの脅威がひとまず薄らいだセレウコスは、その間に更に東方に勢力を拡大せんと、紀元前305年に東方への遠征を開始するが、インダス川流域でチャンドラグプタ（ギリシア人の記述ではサンドロコットスと呼ばれた）率いるマウリヤ朝の圧倒的な大軍と遭遇した。これによってセレウコスはインド方面への遠征を断念し、チャンドラグプタと協定を結んだ。この協定で、セレウコスはインド付近の領土（アレイア、アラコシア、ゲドロシア、パロパミソス）を割譲し、セレウコスの娘をチャンドラグプタの息子ビンドゥサーラ（ギリシア人の記述ではアミトロカテスと呼ばれた）に嫁入りさせる代わりに、500頭もの戦象を獲得し、戦力を充実させた。この戦力は後のイプソスの戦いで大きな役割を果たすことになる。一方、東地中海での戦いを優位に進めていたアンティゴノスだったが、その勢力の拡大を恐れたディアドコイは反アンティゴノス同盟を結ぶことで一致し、東方から帰還したセレウコスは、その中核を担うことになった。結果的に、このバビロニア戦争でアンティゴノスがセレウコスを駆逐できなかったことが、紀元前301年のイプソスの戦いでのアンティゴノスの大敗に繋がり、アレクサンドロス帝国の分裂を決定的とすることになったのである。
同種の算法族 R が構造を定める代数系 A, B とその間の準同型 f: A → B を考える。また、A, B が同じ作用域 Λ を持ち、Λ の作用が (πA, Λ, A), (πB, Λ, B) であたえられているとする。準同型 f が写像としてf \circ \pi_A(\lambda) = \pi_B(\lambda) \circ fを任意の λ に対して満たすならば、準同型 f: A → B は Λ の作用込みの準同型であるという。簡単に作用準同型とか Λ-準同型などとも呼ぶ。Λ の作用が A, B ともに右から与えられているとき、A → B が Λ-準同型である条件はf(x^{\pi_A(\lambda)}) = f(x)^{\pi_B(\lambda)}を Λ の任意の元 λ と A の任意の元 x に対して満たすことであり、ともに左作用ならばf(\pi_A(\lambda)x) = \pi_B(\lambda)f(x)を Λ の任意の元 λ と A の任意の元 x に対して満たすことと述べられる。一方が左からで他方が右からの場合でも同様に書ける。また、作用を省略して書けばf \circ \lambda = \lambda \circ fが成り立つこととなり、写像の合成を二項演算とみなす立場から、この条件は「f が Λ の作用と可換であること」と述べられる。また、Λ-準同型 f: A → B に対して、像\mathrm{Im}(f) := \{ f(a) \in B \mid a \in A\}は B の部分代数系であるばかりでなく、Λ-代数系としての部分系である。このことを指して、Λ-準同型は Λ-代数系の構造を保つという。またこのことは、代数系 (A, R) から、その上の作用を単項演算族とみなして S = R ∪ {πA(λ) | λ ∈ Λ} とおくことにより、新たな代数系として (A, S) = (A, R, (πA, Λ)) を考えるならば、通常の意味で代数系の構造を保つということおよび準同型を考えるということに同じである。