简介:本文刻划交换半群的强半格上的最小半格同余,并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介:吕潜(1621—1706),字孔昭,号半隐、耘叟,晚号石山农,明末清初四川遂宁人。明代遂宁有“席、黄、吕、旷”四大家族:席氏以宰相席书、侍郎席春、给事中席梅山为代表;黄氏以工部尚书黄珂及其子布政使黄华、女黄峨为代表;吕氏以宰相吕大器及其子吕潜为代表;旷氏以巡抚旷昭为代表;均遐迩闻名。吕潜之祖吕有闻,系遂宁乡贤;父吕大器,官至明末兵部尚书兼东阁大学士。吕大器有子四:吕潜、吕渊、吕泌、吕溥;女婿有李实(进士、语言学家)、张象种(进士、胶州知州)。崇祯十五年(1642),吕潜中举人;十六年(1643)中三甲第287名进士,官行人,授太常博士;崇祯十七年(1644)李自成攻陷北京,吕大器奔南京,以弹劾马士英去官,人广东。吕潜奉母寓于浙江省之苕溪(今湖州市),复流寓扬州。