diff --git a/main.jl b/main.jl
index 5881735..9afa685 100644
--- a/main.jl
+++ b/main.jl
@@ -96,7 +96,13 @@ function main(::Type{Standard}, Gr::SymmetrizedGroup)
 
     solver = scs_solver(tol, iterations)
 
-    return PropertyT.check_property_T(groupdir, S, G(),
+    if G isa AbstractAlgebra.Ring
+        Id = one(G)
+    else
+        Id = G()
+    end
+
+    return PropertyT.check_property_T(groupdir, S, Id,
         solver, upper_bound, tol, radius, warm)
 
 end