偽環（rng）是抽象代數中的基本概念，常被認為是沒有幺元（又稱乘法單位元）的環。
在一個可交換單位元為0的加法群上定義一種運算""，稱為“乘法”，滿足：
（1）結合律：
與
，等等。
偽環同態是去掉將幺元送到幺元的條件的環同態，即映射滿足：
（1）
（2）
學術上，在某些抽象代數資料中，認為不存在乘法單位元的環依然為環，不將其稱為偽環。但是這樣的定義會造成一些困擾。如設是一個沒有乘法單位元的環，則定義一個環內元素的主理想，可能導致，因此必須將強制定義在其主理想中。但仍有
代數系統中不區分環與偽環。