1965年、中大を卒業した小城は多くのチームからの勧誘のある中、故郷の広島に戻り東洋工業（現・マツダ）に入社、蹴球部に入団した。この年からJSLが始まり、山崎芳樹部長、小畑実総監督、下村幸男監督を含めほとんど広島出身者という東洋工業は、強い結束力と縦横無尽のパスワークで攻撃的サッカーを展開する。第1回大会を12勝2分け無敗で優勝。翌年第2回大会にかけて23連勝、チームは無敵を誇り、1968年までリーグ4連覇の金字塔を樹立し、JSL27回の歴史で最多の5回の優勝を飾った。更に3度の天皇杯制覇(1965年・1967年・1969年)と、黄金時代を築いた。その中で小城は攻守の軸ハーフバックとして力を発揮し、1970年には下村監督にスイーパー（リベロ）にコンバートされる。1965年と1970年の2度目に渡る日本年間最優秀選手賞を受賞。1966年リーグ得点王（14うちPK10）。1971年から1976年まで東洋工業キャプテンを務めた。
1961年、桑原とともに中央大学に進学、サッカー部に入部すると、1962年2年次からレギュラーを掴む。同世代の先輩に野村六彦・片伯部延弘・岡光龍三、同期に桑原、後輩に山口芳忠・水口洋次。1962年関東大学サッカーリーグ戦/東西学生王者/第11回インカレ/天皇杯の4冠を達成、公式戦無敗を記録した。特に天皇杯での決勝は長沼健・平木隆三・川淵三郎・宮本征勝・鎌田光夫・保坂司と日本代表を揃え三連覇を狙った古河電工を相手にしたものであった。このときの活躍が認められ長沼健率いるA代表に定着。1963年6月9日、対西ドイツ・ジュニア代表戦で代表デビューを果たす。東京オリンピック直前の合宿で代表レギュラーを掴んだ。1964年、東京オリンピックでは10番をつけたMFであったが主に相手のエースをマンマークする仕事を与えられ全試合出場を果たし、グループリーグ対アルゼンチン戦では決勝ゴールを決め大会ベスト8進出に貢献した。177cmと当時としては長身でパワフルと際立った特徴を持ち、デットマール・クラマーから代表の中心選手として指名された。38mも投げるスローインは代表の攻撃パターンの一つだった。
実家は材木店。2歳の夏、爆心地に近い千田町で被爆。倒れた柱と柱が隙間を作り、母と姉とともに助かる。広島大学附属小学校時代はサッカーを楽しむ程度。ちょうど広島カープが誕生したため野球が大好きになり、体もひ弱であったため野球に興じる。広大付属中学へ進学すると軟式野球部に入部、内野や外野どこでも守っていた。1958年、広大付属高校に進むと当時野球部が無かったため、サッカー部へ入部する。当時の広大付属は、3年先輩に鬼武健二、大島治男、2年先輩に丹羽洋介、1年先輩に桑田隆幸・野村尊敬、同級に桑原楽之・溝手顕正・船本幸路らがいて、長沼健らを擁した戦後すぐ以来の黄金期と呼べる時代であった。高校に進むと背がぐっと伸びて数人の先輩が卒業すると1年生からレギュラーを掴み、ハーフバック（ミッドフィルダー）として第37回全国高等学校蹴球選手権大会に出場して準優勝（1－2山城）。2年の時に国体でも準優勝（0－1浦和市立）。3年生の時第39回全国高等学校蹴球選手権大会に出場し優勝候補と見られていたものの準々決勝敗退（0－1秋田商業）。しかし大会優秀選手の一人に選ばれる。高校時代に国体、選手権と4度も全国大会に出場したが全国優勝はなし。また1960年高3の時に、ソ連の強豪チーム・FCロコモティフ・モスクワが来日し広島市民球場で全広島選抜軍と対戦することになり、その社会人を含めた全広島サッカー選抜チームのメンバーに高校3年生ながら選ばれ、後半から途中出場した。一部メディアでは天才少年と評価されている。同年には、岡野俊一郎率いるアジアユース代表に選出され、AFCユース選手権1961に出場した。
有限生成加群の準同型像はすべて有限生成である。有限生成加群の部分加群は一般には有限生成でない。例えば、可算個の変数をもつ多項式環 R = Z[X₁, X₂, ...] を考えよう。R 自身は有限生成 R-加群である（{1} が生成集合）。定数項が 0 の多項式すべてからなる部分加群 K を考えよ。すべての多項式は係数が0でないような有限個の項のみからなるから、R-加群 K は有限生成でない。一般に、加群は、すべての部分加群が有限生成であるときにネーター加群と呼ばれる。ネーター環上の有限生成加群はネーター加群である（実はこの性質がネーター環を特徴づける）。ネーター環上の加群が有限生成であるのはそれがネーター加群であるとき、かつそのときに限る。これはヒルベルトの基底定理と似ているが、同じではない。これはネーター環 R 上の多項式環 R[X] はネーター環であるというものである。いずれの事実によってもネーター環上の有限生成代数はまたネーター環である。より一般に、代数（例えば環）は有限生成加群であれば有限生成代数である。逆に、有限生成代数が（係数環上）整であれば、有限生成加群である。（詳細は整拡大参照。）0 → M' → M → M'' → 0 を加群の完全列とする。このとき M', M'' が有限生成であれば M は有限生成である。この部分的な逆が成り立つ。M が有限生成で M'' が有限表示（これは有限生成よりも強い、下記参照）であれば、M' は有限生成である。また、M がネーター的（あるいはアルティン的）であることと M', M'' がネーター的（あるいはアルティン的）であることは同値である。B を環とし A をその部分環で B は忠実平坦右 A-加群とする。このとき左 A-加群 F が有限生成（あるいは有限表示）であることと B-加群  が有限生成（あるいは有限表示）であることは同値である。